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

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