
SPGL1
 Referenced in 182 articles
[sw08365]
 single parameter determines a curve that traces the optimal tradeoff between the leastsquares ... matrixvector operations are required. The primaldual solution of this problem gives function...

libMC
 Referenced in 45 articles
[sw06615]
 recursive operations, but works through the evaluation trace backwards. Only the forward mode of subgradient ... multivariable functions are calculated along various seed directions in libMC by matrix products, with...

SympGPR
 Referenced in 1 article
[sw39176]
 moderatedimensional systems, in particular, longterm tracing of fast charged particles in accelerators ... choice of the matrixvalued covariance function. Based on earlier work on spline interpolation ... observe derivatives of the generating function of a canonical transformation. A product kernel produces ... Finally, the application to magnetic field line tracing in a perturbed tokamak configuration is demonstrated...

Numerical Solutions
 Referenced in 0 articles
[sw06013]
 find maxima and minima (even of multivariable functions), solve nonlinear equations or systems of such ... factors), matrix operations (add, subtract, multiply), finding the determinant, trace, inverse, adjoint ... eigenvectors, establish the definiteness of a symmetric matrix, perform scalar multiplication, transposition, shift, create matrices ... involve not only the unknown function but also its derivatives. The solution will...

ACL2
 Referenced in 279 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 327 articles
[sw00066]
 BARON is a computational system for solving nonconvex...

BIGEBRA
 Referenced in 19 articles
[sw00078]
 Clifford and Graßmann Hopf algebras via the BIGEBRA...

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

CGAL
 Referenced in 370 articles
[sw00118]
 The goal of the CGAL Open Source Project...

CLIFFORD
 Referenced in 80 articles
[sw00131]
 CLIFFORD performs various computations in Grass mann and...

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

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

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

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

Gerris
 Referenced in 287 articles
[sw00341]
 Gerris is a Free Software program for the...

GLOPT
 Referenced in 19 articles
[sw00359]
 GLOPT is a Fortran 77 program for global...

gmp
 Referenced in 274 articles
[sw00363]
 GMP is a free library for arbitrary precision...

Gmsh
 Referenced in 635 articles
[sw00366]
 Gmsh is a 3D finite element grid generator...

hypre
 Referenced in 284 articles
[sw00426]
 hypre is a software library for the solution...