• rootsur.lib

  • Referenced in 2 articles [sw10984]
  • rule of signs, the Budan-Fourier theorem, Sturm sequences and Sturm-Habicht sequences. The first ... simplify the application of the aforesaid theorems and some functions to determine whether a given...
  • Algebraic Numbers

  • Referenced in 1 article [sw28608]
  • matrices, factorization of rational polynomials, and Sturm’s theorem, we formalized algebraic numbers in Isabelle/HOL...
  • Perron Frobenius

  • Referenced in 1 article [sw28597]
  • with the help of the Perron–Frobenius theorem, which tells us that it suffices ... real eigenvalues of A, i.e., applying Sturm’s method can decide the polynomial growth ... formalize the Perron–Frobenius theorem based on a proof via Brouwer’s fixpoint theorem, which...
  • CoCoA

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

  • Referenced in 1536 articles [sw00161]
  • Coq is a formal proof management system. It...
  • C-XSC 2.0

  • Referenced in 119 articles [sw00182]
  • A C++ class library for extended scientific computing...
  • gmp

  • Referenced in 236 articles [sw00363]
  • GMP is a free library for arbitrary precision...
  • LAPACK

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

  • Referenced in 2359 articles [sw00540]
  • Computer algebra system (CAS). Magma is a large...
  • Maple

  • Referenced in 4718 articles [sw00545]
  • The result of over 30 years of cutting...
  • Mathematica

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

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

  • Referenced in 48 articles [sw00559]
  • MATSLISE is a graphical MATLAB software package for...
  • MetiTarski

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

  • Referenced in 340 articles [sw00610]
  • Produced by experts for use in a variety...
  • ORTHPOL

  • Referenced in 68 articles [sw00659]
  • Algorithm 726: ORTHPOL—A package of routines for...
  • PARI/GP

  • Referenced in 482 articles [sw00680]
  • PARI/GP is a widely used Computer Algebra System...
  • PLTMG

  • Referenced in 205 articles [sw00717]
  • PLTMG 11.0 is a package for solving elliptic...
  • REDUCE

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