• 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...
  • MuPAD-Combinat

  • 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 object-oriented 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 web-based, 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...
  • Sage-Combinat

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