• CL_MATCONT

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

• ITPACK

• Referenced in 47 articles [sw00459]
• involves the development of research-oriented mathematical software, based on iterative algorithms, for solving large ... that has contributed to the present mathematical software package. The 2C version of ITPACK...

• FEATFLOW

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

• nag

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

• HSL_MI20

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

• Feel++

• Referenced in 40 articles [sw05898]
• numerical methods and techniques, - build mathematical software that follows closely the mathematical abstractions associated with...

• ETPS

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

• Slatec

• Referenced in 35 articles [sw04367]
• included in a forthcoming book about mathematical software...

• GSL

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

• Chebfun

• Referenced in 419 articles [sw05897]
• collection of algorithms and a software system in object-oriented MATLAB that extends familiar powerful ... solves ordinary differential equations. The mathematical basis of the system combines tools of Chebyshev expansions...

• Theorema

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

• CHABIS

• Referenced in 19 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...

• MuPAD-Combinat

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

• DAISY

• Referenced in 49 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...

• OpenXM

• Referenced in 15 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...

• M4RI

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

• TPS

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

• sbtoolbox

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

• Sage-Combinat

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

• MBase

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