
Maple
 Referenced in 3805 articles
[sw00545]
 performance to handle every type of mathematics. Maple’s intuitive interface supports multiple styles ... from Clickable Math™ tools to a sophisticated programming language. Using the smart document environment provided...

Nuprl
 Referenced in 331 articles
[sw06751]
 framework for reasoning about mathematics and programming. Over the years its design has been substantially...

Coq
 Referenced in 1153 articles
[sw00161]
 provides a formal language to write mathematical definitions, executable algorithms and theorems together with ... proofs. Typical applications include the formalization of programming languages semantics (e.g. the CompCert compiler certification ... certification in industrial context), the formalization of mathematics (e.g. the full formalization...

Gurobi
 Referenced in 119 articles
[sw04105]
 GUROBI OPTIMIZER: State of the Art Mathematical Programming Solver. The Gurobi Optimizer is a state ... solver for mathematical programming. It includes the following solvers: linear programming solver (LP), quadratic programming...

GAP
 Referenced in 1645 articles
[sw00320]
 Computational Group Theory. GAP provides a programming language, a library of thousands of functions implementing ... overview and the description of the mathematical capabilities. GAP is used in research and teaching...

MACSYMA
 Referenced in 665 articles
[sw01209]
 general purpose symbolicnumericalgraphical mathematics software product. Computer algebra system ... computations by means of a large Macsyma program. Macsyma offers: symbolic and numeric manipulation...

CVRPSP
 Referenced in 71 articles
[sw13447]
 collection of routines, written in the C programming language, for separation of various classes ... Lysgaard, Letchford, and Eglese, published in Mathematical Programming  see Publications). The package contains separation routines...

Ox
 Referenced in 203 articles
[sw09501]
 objectoriented matrix programming language with a comprehensive mathematical and statistical function library. Matrices ... welldesigned syntax, which leads to programs which are easier to maintain. For a first...

LiE
 Referenced in 113 articles
[sw01075]
 programming language makes it possible to customise and extend the package with more mathematical functions ... commands can be given that involve basic programming primitives and powerful builtin functions. These ... system. This core consists of programs representing some 100 mathematical functions. The interpreter offers...

MacMPEC
 Referenced in 55 articles
[sw06973]
 This directory contains a collection of Mathematical Programs with Equilibrium Constraints (MPEC) test problems...

nag
 Referenced in 235 articles
[sw06239]
 callable from various mathematical packages, including MATLAB® and usable from many programming languages...

SSVM
 Referenced in 45 articles
[sw12678]
 methods, extensively used for solving important mathematical programming problems and applications, are applied here...

LISP
 Referenced in 114 articles
[sw07201]
 Lisp is the secondoldest highlevel programming language in widespread use today; only Fortran ... originally created as a practical mathematical notation for computer programs, influenced by the notation...

MATLAB ODE suite
 Referenced in 219 articles
[sw12710]
 presents mathematical and software developments that are the basis for a suite of programs...

AXIOM
 Referenced in 151 articles
[sw00063]
 strongly typed, mathematically correct type hierarchy. It has a programming language and a built...

bcprod
 Referenced in 29 articles
[sw10663]
 model, a standard mathematical programming modelling language, taking into account a reserved...

Zimpl
 Referenced in 21 articles
[sw04064]
 ZIMPL: Zuse Institut Mathematical Programming Language. Zimpl is a little language to translate the mathematical ... linear or nonlinear (mixed) integer mathematical program expressed in .lp or .mps file format which...

LEGO
 Referenced in 62 articles
[sw09685]
 expressive language for formalization of mathematical problems and program specification and development...

Scilab
 Referenced in 105 articles
[sw00834]
 includes hundreds of mathematical functions. It has a high level programming language allowing access ... usual engineering and science applications including mathematical operations and data analysis...

PERUSE
 Referenced in 16 articles
[sw00703]
 PERUSE: An interactive system for mathematical programs This paper describes the design, implementation, testing ... software system for obtaining information from mathematical programs. This system has been found useful ... debugging apphcations of mathematical programming, quickly obtaining small amounts of pertment information, and auditing model...