• Bertini

  • Referenced in 243 articles [sw06683]
  • families of systems, such as the inverse kinematics of six-revolute serial-link arms ... solutions ”at infinity.” Provides a fractional power-series 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...
  • ADOL-C

  • Referenced in 247 articles [sw00019]
  • ADOL-C: 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 object-oriented 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 round-off error...
  • CASA

  • Referenced in 102 articles [sw00108]
  • CASA is a special-purpose 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...