
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 selfvalidating algorithms. It comprises of selfvalidating 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]
 realtime 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 timeconsuming details...

CASA
 Referenced in 111 articles
[sw00108]
 CASA is a specialpurpose system for computational algebra and constructive algebraic geometry. The system ... Group at the Research Institute for Symbolic Computation (RISCLinz), 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 ﬁeld 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 positivedimensional 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 powerseries 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...