• GeoGebra

  • Referenced in 383 articles [sw04203]
  • world. Free and open source software. Computer algebra system...
  • FORM

  • Referenced in 347 articles [sw09051]
  • Computer algebra system (CAS) for very big calculations in theoretical particle physics, with a very ... supports multiple kernels (see TFORM) and distributed computations on a network (ParFORM). See also...
  • MATCONT

  • Referenced in 455 articles [sw00551]
  • universal use of minimally extended systems, and the computation of normal form coefficients for bifurcations...
  • INTLAB

  • Referenced in 472 articles [sw04004]
  • computing and self-validating algorithms. It comprises of self-validating methods for dense linear systems ... structured matrices) sparse s.p.d. linear systems systems of nonlinear equations (including unconstrained optimization) roots ... differentiation (forward mode, vectorized computations, fast) Gradients (to solve systems of nonlinear equations) Hessians...
  • Uppaal

  • Referenced in 658 articles [sw04702]
  • real-time systems, developed jointly by Basic Research in Computer Science at Aalborg University ... University in Sweden. It is appropriate for systems that can be modeled as a collection...
  • REDLOG

  • Referenced in 166 articles [sw04250]
  • package that extends the computer algebra system REDUCE to a computer logic system...
  • GAMS

  • Referenced in 881 articles [sw04978]
  • nonlinear and mixed integer optimization problems. The system is especially useful with large, complex problems ... GAMS is available for use on personal computers, workstations, mainframes and supercomputers. GAMS allows ... problem by making the setup simple. The system takes care of the time-consuming details...
  • CASA

  • Referenced in 111 articles [sw00108]
  • CASA is a special-purpose system for computational algebra and constructive algebraic geometry. The system ... Group at the Research Institute for Symbolic Computation (RISC-Linz), the University of Linz, Austria ... under the direction of Prof. Winkler. The system is built ... kernel of the widely used computer algebra system Maple. Computer algebra system...
  • LiE

  • Referenced in 165 articles [sw01075]
  • that enables mathematicians and physicists to perform computations of a Lie group theoretic nature ... their Weyl groups and root systems. LiE does not compute directly with elements ... groups and algebras themselves; it rather computes with weights, roots, characters and similar objects. Some ... about currently valid definitions and values. Computer algebra system...
  • KANT/KASH

  • Referenced in 157 articles [sw00481]
  • KASH/KANT is a computer algebra system (CAS) for sophisticated computations in algebraic number fields ... provide the user with the means to compute many invariants of F. It is possible ... system. In the function field case, for example, genus computations and the construction of Riemann...
  • AutoGraphiX

  • Referenced in 142 articles [sw06137]
  • AutoGraphiX (AGX) is a computer system designed to help researchers in graph theory. The main...
  • hypre

  • Referenced in 334 articles [sw00426]
  • solution of large, sparse linear systems on massively parallel computers. Its emphasis is on modern...
  • Bertini

  • Referenced in 253 articles [sw06683]
  • homotopies. Implements parameter continuation for families of systems, such as the inverse kinematics ... irreducible decomposition. Treats positive-dimensional solutions by computing witness sets. Has automatic differentiation which preserves ... quality of an input system. Uses homogenization to accurately compute solutions ”at infinity.” Provides ... fractional power-series endgame to accurately compute singular roots Allows for subfunctions. Allows for witness...
  • CGAL

  • Referenced in 402 articles [sw00118]
  • graphics, scientific visualization, computer aided design and modeling, geographic information systems, molecular biology, medical imaging ... projects using CGAL web page. The Computational Geometry Algorithms Library (CGAL), offers data structures...
  • ASSAT

  • Referenced in 176 articles [sw02524]
  • Sets by SAT solvers) is a system for computing answer sets of a logic program...
  • AXIOM

  • Referenced in 173 articles [sw00063]
  • Axiom is a general purpose Computer Algebra system (CAS). It is useful for research...
  • UMFPACK

  • Referenced in 421 articles [sw00989]
  • analyzing a sparse matrix, computing the numerical factorization, solving a system with the LU factors...
  • Maxima

  • Referenced in 171 articles [sw00560]
  • Taylor series, Laplace transforms, ordinary differential equations, systems of linear equations, polynomials, and sets, lists ... data in two and three dimensions. Computer algebra system...