
rootsur.lib
 Referenced in 2 articles
[sw10984]
 rule of signs, the BudanFourier theorem, Sturm sequences and SturmHabicht 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...

ACRITHXSC
 Referenced in 48 articles
[sw00015]
 ACRITHXSC is a Fortranlike programming language...

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...

CXSC 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 highlevel 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...