
RealCertify
 Referenced in 7 articles
[sw28191]
 classical algorithmic problem for symbolic computation. The Maple package extsc{RealCertify} tackles this decision problem ... rational numbers. It can be applied to numerous problems coming from engineering sciences, program verification ... systems. It is based on hybrid symbolicnumeric algorithms based on semidefinite programming...

ACETAF
 Referenced in 7 articles
[sw00014]
 ACETAF: A software package for computing validated bounds...

CASA
 Referenced in 105 articles
[sw00108]
 CASA is a specialpurpose system for computational...

CGAL
 Referenced in 384 articles
[sw00118]
 The goal of the CGAL Open Source Project...

Cinderella
 Referenced in 153 articles
[sw00127]
 An Interactive Geometry Software. Besides support for dynamic...

CoCoA
 Referenced in 654 articles
[sw00143]
 CoCoA is a system for Computations in Commutative...

CoCoALib
 Referenced in 61 articles
[sw00144]
 CoCoALib: A C++ library for computations in commutative...

COOPT
 Referenced in 5 articles
[sw00158]
 The paper is devoted to promoting and describing...

Coq
 Referenced in 1880 articles
[sw00161]
 Coq is a formal proof management system. It...

CSDP
 Referenced in 202 articles
[sw00169]
 CSDP, A C Library for Semidefinite Programming. This...

DCUHRE
 Referenced in 23 articles
[sw00190]
 Algorithm 698: DCUHRE: an adaptive multidemensional integration routine...

FGb
 Referenced in 247 articles
[sw00286]
 FGb/Gb libraryGb is a program (191 420 lines...

FOXBOX
 Referenced in 16 articles
[sw00307]
 FOXBOX: A system for manipulating symbolic objects in...

gfun
 Referenced in 144 articles
[sw00344]
 The gfun package provides tools for determining and...

HOM4PS
 Referenced in 81 articles
[sw00410]
 HOM4PS2.0: a software package for solving polynomial...

KANTBP
 Referenced in 18 articles
[sw00482]
 KANTBP: A program for computing energy levels, reaction...

KnotPlot
 Referenced in 27 articles
[sw00491]
 KnotPlot is a program to visualize and manipulate...

Kronecker
 Referenced in 117 articles
[sw00495]
 Kronecker is a package for Magma computer algebra...

LAPACK
 Referenced in 1695 articles
[sw00503]
 LAPACK is written in Fortran 90 and provides...