• REDUCE

  • Referenced in 730 articles [sw00789]
  • interest to mathematicians, scientists and engineers. Computer algebra system (CAS). It has been produced ... substitutions and pattern matching in a wide variety of forms; automatic and user controlled simplification ... with symbolic matrices; arbitrary precision integer and real arithmetic; facilities for defining new functions ... facilities for the solution of a variety of algebraic equations; facilities for the output...
  • Pyomo

  • Referenced in 33 articles [sw04910]
  • software and its handling of complex real-world applications. Pyomo is an open source software ... modeling approach supported by modern AML (algebraic modeling language) tools. Pyomo is a flexible, extensible ... variables, which can be used to formulate algebraic expressions that define objectives and constraints. Moreover ... easy to create Pyomo models, apply a variety of optimizers, and examine solutions. The text...
  • Numerical Solutions

  • Referenced in 0 articles [sw06013]
  • LINEAR ALGEBRA), Linear Algebra performs a wide variety of computations with real matrices, including solution...
  • SERK2v3

  • Referenced in 5 articles [sw14473]
  • differential equations (PDEs) appear in a large variety of disciplines. Usually, the scientific literature advises ... with extended stability domains along the negative real axis. It is necessary to evaluate ... methods are explicit, they do not require algebra routines to solve large nonlinear systems associated...
  • ProC/B

  • Referenced in 1 article [sw01788]
  • model analysis by a variety of methods including simulative, algebraic and numerical techniques. An object ... very much along the structures found in real world organisations. We describe and analyse...
  • CASA

  • Referenced in 82 articles [sw00108]
  • CASA is a special-purpose system for computational...
  • cdd

  • Referenced in 104 articles [sw00114]
  • The program cdd+ (cdd, respectively) is a C...
  • CoCoA

  • Referenced in 585 articles [sw00143]
  • CoCoA is a system for Computations in Commutative...
  • FGb

  • Referenced in 227 articles [sw00286]
  • FGb/Gb libraryGb is a program (191 420 lines...
  • GAP

  • Referenced in 2586 articles [sw00320]
  • GAP is a system for computational discrete algebra...
  • gmp

  • Referenced in 250 articles [sw00363]
  • GMP is a free library for arbitrary precision...
  • HOM4PS

  • Referenced in 69 articles [sw00410]
  • HOM4PS-2.0: a software package for solving polynomial...
  • Kronecker

  • Referenced in 101 articles [sw00495]
  • Kronecker is a package for Magma computer algebra...
  • LAPACK

  • Referenced in 1552 articles [sw00503]
  • LAPACK is written in Fortran 90 and provides...
  • LEDA

  • Referenced in 247 articles [sw00509]
  • In the core computer science areas -- data structures...
  • LiDIA

  • Referenced in 48 articles [sw00518]
  • LiDIA: A library for computational number theory. LiDIA...
  • Macaulay2

  • Referenced in 1502 articles [sw00537]
  • Macaulay2 is a software system devoted to supporting...
  • Magma

  • Referenced in 2602 articles [sw00540]
  • Computer algebra system (CAS). Magma is a large...
  • Maple

  • Referenced in 4837 articles [sw00545]
  • The result of over 30 years of cutting...