• 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 584 articles [sw00143]
  • CoCoA is a system for Computations in Commutative...
  • Coq

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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