
Bertini
 Referenced in 243 articles
[sw06683]
 families of systems, such as the inverse kinematics of sixrevolute seriallink arms ... solutions ”at infinity.” Provides a fractional powerseries endgame to accurately compute singular roots Allows...

Numerical Solutions
 Referenced in 0 articles
[sw06013]
 subtract, multiply), finding the determinant, trace, inverse, adjoint, QR or LU factors, real eigenvalues ... solution will be a finite power or trigonometric series, depending on the program.Regression fits user...

ADOLC
 Referenced in 247 articles
[sw00019]
 ADOLC: Automatic Differentiation of C/C++. We present...

ANSYS
 Referenced in 685 articles
[sw00044]
 ANSYS offers a comprehensive software suite that spans...

ARMS
 Referenced in 65 articles
[sw00048]
 ARMS: an algebraic recursive multilevel solver for general...

ACL2
 Referenced in 283 articles
[sw00060]
 ACL2 is both a programming language in which...

AXIOM
 Referenced in 172 articles
[sw00063]
 Axiom is a general purpose Computer Algebra system...

BARON
 Referenced in 339 articles
[sw00066]
 BARON is a computational system for solving nonconvex...

BPOLY
 Referenced in 13 articles
[sw00089]
 Algorithm 812: BPOLY: An objectoriented library of...

Cadabra
 Referenced in 87 articles
[sw00097]
 Cadabra is a powerful computer program for the...

CADNA
 Referenced in 46 articles
[sw00098]
 CADNA: a library for estimating roundoff error...

CASA
 Referenced in 102 articles
[sw00108]
 CASA is a specialpurpose system for computational...

CoCoA
 Referenced in 649 articles
[sw00143]
 CoCoA is a system for Computations in Commutative...

Coq
 Referenced in 1856 articles
[sw00161]
 Coq is a formal proof management system. It...

CoStLy
 Referenced in 7 articles
[sw00163]
 The C++ class library CoStLy for the rigorous...

DEA
 Referenced in 245 articles
[sw00194]
 Data Envelopment Analysis (DEA) is becoming an increasingly...

Epsilon
 Referenced in 41 articles
[sw00244]
 Epsilon is a library of functions implemented in...

Expokit
 Referenced in 189 articles
[sw00258]
 Expokit provides a set of routines aimed at...

GAP
 Referenced in 3068 articles
[sw00320]
 GAP is a system for computational discrete algebra...

gfun
 Referenced in 141 articles
[sw00344]
 The gfun package provides tools for determining and...