
hlib
 Referenced in 68 articles
[sw04080]
 contains functions for H and H2matrix arithmetics, the treatment of partial differential equations ... numerical quadrature. This is a work in progress, so there may be undiscovered errors...

ENDRE
 Referenced in 1 article
[sw11429]
 analogs of Szemeredi’s theorem about arithmetic progressions. It accompanies Paul Raff and Doron Zeilberger ... theorem about the inevitability of arithmetical progressions. Here we try to nibble...

NINJA
 Referenced in 37 articles
[sw02398]
 such as Fortran and C. Although much progress has been made, and Java ... Java also has difficulties in implementing complex arithmetic efficiently. These performance deficiencies can be attacked...

SMTRAT
 Referenced in 18 articles
[sw13091]
 quantifierfree (non)linear real and integer arithmetic ... UFLIA, QF_UFNRA, QF_UFNIA) are in progress...

PolyPaver
 Referenced in 3 articles
[sw08771]
 specification can feature inclusions between interval arithmetic expressions. Second, the integral operator from classical analysis ... PolyPaver in proving tight functional specifications of progressively larger randomly generated programs...

GAP
 Referenced in 2876 articles
[sw00320]
 GAP is a system for computational discrete algebra...

GLOPT
 Referenced in 19 articles
[sw00359]
 GLOPT is a Fortran 77 program for global...

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

LANCELOT
 Referenced in 299 articles
[sw00500]
 LANCELOT. A Fortran package for largescale nonlinear...

Macaulay2
 Referenced in 1692 articles
[sw00537]
 Macaulay2 is a software system devoted to supporting...

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

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

March_eq
 Referenced in 12 articles
[sw00548]
 March_eq: Implementing additional reasoning into an efficient...

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

Matlab
 Referenced in 12309 articles
[sw00558]
 MATLAB® is a highlevel language and interactive...

MiniSat
 Referenced in 536 articles
[sw00577]
 An extensible SATsolver. MiniSat is a minimalistic...

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

NTL
 Referenced in 202 articles
[sw00638]
 NTL is a highperformance, portable C++ library...

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

PHCpack
 Referenced in 216 articles
[sw00705]
 Algorithm 795: PHCpack: A generalpurpose solver for...