• SPGL1

  • Referenced in 182 articles [sw08365]
  • single parameter determines a curve that traces the optimal trade-off between the least-squares ... matrix-vector operations are required. The primal-dual 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 ... multi-variable functions are calculated along various seed directions in libMC by matrix products, with...
  • SympGPR

  • Referenced in 1 article [sw39176]
  • moderate-dimensional systems, in particular, long-term tracing of fast charged particles in accelerators ... choice of the matrix-valued 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 special-purpose 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...