Results 1 to 20 of 150
Sort by:

  • MDC-ELLIPSOIDs
  • Referenced in 9 articles [sw22577]
  • calculation is performed by numerically solving a system on non-linear equations with the Newton ... non-linear equations corresponds to a set of necessary, although not sufficient, geometric constraints whose...

  • CoShaRP
  • Referenced in 1 article [sw39949]
  • shapes. We circumvent the non-linearity by using a dictionary of possible roto-translations ... type constraints and can be solved quickly using a primal-dual algorithm. The numerical experiments...

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

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

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

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

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

  • KNITRO
  • Referenced in 196 articles [sw00490]
  • KNITRO is a solver for nonlinear optimization. It...

  • LANCELOT
  • Referenced in 306 articles [sw00500]
  • LANCELOT. A Fortran package for large-scale nonlinear...

  • LAPACK
  • Referenced in 1695 articles [sw00503]
  • LAPACK is written in Fortran 90 and provides...

  • Maple
  • Referenced in 5363 articles [sw00545]
  • The result of over 30 years of cutting...

  • Mathematica
  • Referenced in 6337 articles [sw00554]
  • Almost any workflow involves computing results, and that...

  • Matlab
  • Referenced in 13460 articles [sw00558]
  • MATLAB® is a high-level language and interactive...

  • MetiTarski
  • Referenced in 52 articles [sw00573]
  • Many inequalities involving the functions ln, exp, sin...

  • MultRoot
  • Referenced in 100 articles [sw00604]
  • Algorithm 835: MultRoot - a Matlab package for computing...

  • NAG
  • Referenced in 423 articles [sw00610]
  • Produced by experts for use in a variety...

  • PARDISO
  • Referenced in 286 articles [sw00679]
  • The package PARDISO is a thread-safe, high...

  • QEPCAD
  • Referenced in 283 articles [sw00752]
  • QEPCAD B: A program for computing with semi...

  • R
  • Referenced in 9810 articles [sw00771]
  • R is a language and environment for statistical...

  • REDUCE
  • Referenced in 746 articles [sw00789]
  • REDUCE is an interactive system for general algebraic...