
LinModel
 Referenced in 4 articles
[sw10152]
 LinModel elaborated on the basis of the computer algebra system Mathematica, we conduct an analysis ... with the aid of symbolic or symbolicnumeric computations. The domains of stability and stabilization...

MathATESAT
 Referenced in 5 articles
[sw11957]
 MathATESAT: A SymbolicNumeric Environment in Astrodynamics and Celestial Mechanics. The increase in the facilities ... general computer algebra system, in particular Mathematica, and hardware evolution have supplied us with...

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

EVAN
 Referenced in 1 article
[sw16776]
 symbolicnumerical tools to generate optimized numerical code for rapid prototyping and fast numerical computation...

SNAP
 Referenced in 1 article
[sw11257]
 SNAP (Symbolic Numeric Algebra for Polynomials) package for Mathematica provides various functions to compute approximate ... certified tolerances without special skills in symbolicnumeric algebra...

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

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

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

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

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

CoCoALib
 Referenced in 54 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 1751 articles
[sw00161]
 Coq is a formal proof management system. It...

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

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

FGb
 Referenced in 234 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 127 articles
[sw00344]
 The gfun package provides tools for determining and...

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