
SageMath
 Referenced in 2033 articles
[sw00825]
 free, opensource math software that supports research and teaching in algebra, geometry, number theory...

Macaulay2
 Referenced in 1958 articles
[sw00537]
 Macaulay2 is a software system devoted to supporting research in algebraic geometry and commutative algebra...

SPIN
 Referenced in 727 articles
[sw03455]
 used for the formal verification of distributed software systems. The tool was developed at Bell ... Computing Sciences Research Center, starting in 1980. The software has been available freely since...

polymake
 Referenced in 328 articles
[sw00724]
 polymake is open source software for research in polyhedral geometry. It deals with polytopes, polyhedra...

Magma
 Referenced in 3363 articles
[sw00540]
 Magma is a large, wellsupported software package designed for computations in algebra, number theory ... number of databases designed to aid computational research in those areas of mathematics which...

minpack
 Referenced in 740 articles
[sw05310]
 relevant to the development of general optimization software. I have tried to focus on those ... which would significantly benefit from further research. In addition, I have chosen issues that ... particularly relevant to the development of software for optimization libraries. In the second part...

PhysioToolkit
 Referenced in 149 articles
[sw15476]
 large and growing library of software for physiologic signal processing and analysis, detection of physiologically ... unifying theme of the research projects that contribute software to PhysioToolkit is the extraction ... predictive power in basic research. All PhysioToolkit software is available in source form under...

SPARSKIT
 Referenced in 228 articles
[sw07692]
 tools to facilitate exchange of software and data between researchers in sparse matrix computations...

CUTE
 Referenced in 232 articles
[sw14681]
 authors in conjunction with the software package LANCELOT, we believe that they will be useful ... should be available to researchers for their development of optimization software. The tools...

NewtonLib
 Referenced in 310 articles
[sw04796]
 Numerical Mathematics  NewtonLib. Software repository for Peter Deuflhards Book ”Newton Methods for Nonlinear Problems  Affine ... used for research or teaching purposes. For commercial use of the software you must sign...

COINOR
 Referenced in 105 articles
[sw04615]
 Computational Infrastructure for Operations Research (COINOR**, or simply COIN) project is an initiative ... development of opensource software for the operations research community. Why open source? The Open ... read, redistribute, and modify the source code, software evolves. People improve it, people adapt...

LISREL
 Referenced in 339 articles
[sw06514]
 software have become synonymous with structural equation modeling (SEM). SEM allows researchers in the social...

OBJ3
 Referenced in 140 articles
[sw05370]
 been successfully used for research and teaching in software design and specification, rapid prototyping, theorem...

KEEL
 Referenced in 156 articles
[sw06791]
 existing software tools. Moreover, KEEL has been designed with a double goal: research and educational...

ITPACK
 Referenced in 47 articles
[sw00459]
 Austin involves the development of researchoriented mathematical software, based on iterative algorithms, for solving ... given of work on both software and research that has contributed to the present mathematical...

TensorFlow
 Referenced in 653 articles
[sw15170]
 TensorFlow™ is an open source software library for numerical computation using data flow graphs. Nodes ... single API. TensorFlow was originally developed by researchers and engineers working on the Google Brain...

Gerris
 Referenced in 354 articles
[sw00341]
 available free of charge under the Free Software GPL license. Gerris was created by Stéphane ... NIWA (National Institute of Water and Atmospheric research) and Institut Jean le Rond d’Alembert...

Theorema
 Referenced in 150 articles
[sw00961]
 system Theorema provides a uniform logic and software technologic frame for proving, solving, and simplifying ... mathematics. Theorema is developed at the Research Institute for Symbolic Computation (RISC), Austria...

CUBIT
 Referenced in 80 articles
[sw04109]
 been the focus of a broad research and development effort in mesh generation and geometry ... role as a software provider, CUBIT encompasses ongoing research efforts to improve and discover...

UQLab
 Referenced in 43 articles
[sw19740]
 Uncertainty Quantification. UQLab is a Matlabbased software framework designed to bring state ... decade of his research into a single software tool. UQLab provides now the software backbone...