• 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 time-consuming...
  • 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 ... high-level 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 reaction-diffusion 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 reaction-diffusion system. Unlike FD2D the systems are solved...
  • MPTP 0.2

  • Referenced in 53 articles [sw02589]
  • premises are selected by a machine-learning 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 well-known 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...