
FEATFLOW
 Referenced in 182 articles
[sw04254]
 that aims to develop software which realizes our new mathematical and algorithmical ideas in combination...

nag
 Referenced in 308 articles
[sw06239]
 software, the Optimization routines are highly flexible – callable from various mathematical packages, including MATLAB...

CL_MATCONT
 Referenced in 53 articles
[sw07132]
 differential equations requires good and powerful mathematical software. Also, a flexible and extendible package...

HSL_MI20
 Referenced in 47 articles
[sw07246]
 package HSL_MI20 within the HSL mathematical software library. The routine can be used...

ETPS
 Referenced in 152 articles
[sw06302]
 proving include hardware and software verification, partial automation of various mathematical activities, promoting development...

Feel++
 Referenced in 33 articles
[sw05898]
 numerical methods and techniques,  build mathematical software that follows closely the mathematical abstractions associated with...

Slatec
 Referenced in 33 articles
[sw04367]
 included in a forthcoming book about mathematical software...

GSL
 Referenced in 218 articles
[sw05883]
 software under the GNU General Public License. The library provides a wide range of mathematical...

Theorema
 Referenced in 143 articles
[sw00961]
 software technologic frame for proving, solving, and simplifying formulae in all areas of mathematics. Theorema...

CHABIS
 Referenced in 18 articles
[sw00119]
 Algorithm 666. CHABIS: A mathematical software package for locating and evaluating roots of systems ... nonlinear equations. CHABIS is a mathematical software package for the numerical solution of a system...

TensorFlow
 Referenced in 200 articles
[sw15170]
 software library for numerical computation using data flow graphs. Nodes in the graph represent mathematical...

MuPADCombinat
 Referenced in 25 articles
[sw04933]
 viable fully open source mathematical software Sage. We were particularly glad to have taken this...

Chebfun
 Referenced in 291 articles
[sw05897]
 collection of algorithms and a software system in objectoriented MATLAB that extends familiar powerful ... solves ordinary differential equations. The mathematical basis of the system combines tools of Chebyshev expansions...

OpenXM
 Referenced in 13 articles
[sw12157]
 also making experiments to connect mathematical software systems each other on the infrastructure ... providing packages of mathematical software systems supporting the OpenXM protocol. Please view screenshots of OpenXM...

TPS
 Referenced in 71 articles
[sw00973]
 proving include hardware and software verification, partial automation of various mathematical activities, promoting development...

MBase
 Referenced in 17 articles
[sw08724]
 Context for the Integration of Mathematical Software Systems. We describe the data model ... MBase system, a webbased, distributed mathematical knowledge base. This system is a mathematical service...

M4RI
 Referenced in 17 articles
[sw00534]
 M4RI is used by the Sage mathematics software and the PolyBoRi library. M4RI is available...

DAISY
 Referenced in 38 articles
[sw09059]
 DAISY: A new software tool to test global identifiability of biological and physiological systems ... system turns out to be a difficult mathematical problem. Different methods have been proposed ... investigator a completely automatized software, requiring minimum prior knowledge of mathematical modelling ... mathematical tools. The DAISY (Differential Algebra for Identifiability of SYstems) software will potentially be useful...

sbtoolbox
 Referenced in 16 articles
[sw07391]
 widely used general purpose mathematical software MATLAB. The toolbox offers systems biologists an open...

SageCombinat
 Referenced in 93 articles
[sw16448]
 software project whose mission is: to improve the open source mathematical system Sage...