
GAMS
 Referenced in 881 articles
[sw04978]
 nonlinear and mixed integer optimization problems. The system is especially useful with large, complex problems ... modeling problem by making the setup simple. The system takes care of the timeconsuming...

MACSYMA
 Referenced in 721 articles
[sw01209]
 product. Computer algebra system (CAS). You can use it to solve simple problems specified...

CoCoA
 Referenced in 659 articles
[sw00143]
 system for Computations in Commutative Algebra. It is able to perform simple and sophisticated operations ... highlevel programming language. For convenience, the system offers a textual interface, an Emacs mode...

INTLAB
 Referenced in 472 articles
[sw04004]
 systems of nonlinear equations (including unconstrained optimization) roots of univariate and multivariate nonlinear equations (simple ... quadrature for univariate functions univariate polynomial zeros (simple and clusters) interval arithmetic for real ... mode, vectorized computations, fast) Gradients (to solve systems of nonlinear equations) Hessians (for global optimization ... slow for many variables) verified integration of (simple) univariate functions univariate and multivariate (interval) polynomials...

HOL Light
 Referenced in 310 articles
[sw06580]
 earlier HOL systems, HOL Light is distinguished by its clean and simple design and extremely...

UMFPACK
 Referenced in 421 articles
[sw00989]
 matrix, computing the numerical factorization, solving a system with the LU factors, transposing and permuting ... converting between sparse matrix representations.\parThe simple user interface shields the user from the details...

TPTP
 Referenced in 401 articles
[sw04143]
 test problems for automated theorem proving (ATP) systems. The TPTP supplies the ATP community with ... order to provide an overview and a simple, unambiguous reference mechanism. A comprehensive list ... convert the problems to existing ATP systems’ formats. General guidelines outlining the requirements...

SymPy
 Referenced in 164 articles
[sw00940]
 featured computer algebra system (CAS) while keeping the code as simple as possible in order...

Fuzzy Logic Toolbox
 Referenced in 72 articles
[sw07379]
 toolbox lets you model complex system behaviors using simple logic rules, and then implement these...

Aztec
 Referenced in 84 articles
[sw12817]
 user may input the linear system in a simple format and Aztec will perform...

PRED_PREY
 Referenced in 86 articles
[sw12310]
 PRED_PREY_SIM is a collection of simple MATLAB routines using finite element / difference methods ... prey interactions modelled by nonlinear reactiondiffusion systems. The collection of codes ... PRED_PREY_ARB is a collection of simple MATLAB routines using the finite element method ... interactions modelled by a nonlinear reactiondiffusion system. Unlike FD2D the systems are solved...

MPTP 0.2
 Referenced in 53 articles
[sw02589]
 premises are selected by a machinelearning system trained on previous proofs ... situation suggests that even a simple inductive or deductive system trained on formal mathematics...

dBase
 Referenced in 195 articles
[sw30472]
 includes the core database engine, a query system, a forms engine, and a programming language ... widely used in applications needing a simple format to store structured data...

MMT
 Referenced in 52 articles
[sw07136]
 language, which provides a simple and scalable Module system for the development of Mathematical Theories...

ALCON
 Referenced in 37 articles
[sw05315]
 computation of solution paths of a nonlinear system ... discussed including, in particular, the computation of simple bifurcation points and branch switching at such ... authors’ continuation code ALCON. ALCON1: (Al)gebraic system of equations (Con)tinuation method. Pathfollowing method ... analytical Jacobian of the system, and with computation of simple bifurcations. http://elib.zib.de/pub/elib/codelib/alcon2/alcon2.f...

HIP
 Referenced in 29 articles
[sw09786]
 separation logic based automated verification system for a simple imperative language, able to modularly verify...

Epsilon
 Referenced in 44 articles
[sw00244]
 polynomial systems into triangular systems of various kinds (regular, normal, simple, irreducible, or with projection ... factorize polynomials over algebraic extension fields, solve systems of polynomial equations and inequations, and handle...

PicHunter
 Referenced in 53 articles
[sw14896]
 most previously proposed systems. However, even with this constraint and simple image features, PicHunter ... performance of current image database retrieval systems can be improved by incorporation of the techniques...

ELAN
 Referenced in 108 articles
[sw02179]
 environment for specifying and prototyping deduction systems in a language based on rules controlled ... itself based on rewriting. So the simple and wellknown paradigm of rewriting provides both ... logical framework in which deduction systems can be expressed and combined, and the evaluation mechanism...

SifDec
 Referenced in 220 articles
[sw04087]
 entirely automated installation procedure for unix systems. The environment is fully backward compatible with ... easily callable by various packages. It features simple extensions to the SIF test problem format...