• 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 symbolic-numeric computations. The domains of stability and stabilization...
  • MathATESAT

  • Referenced in 5 articles [sw11957]
  • MathATESAT: A Symbolic-Numeric 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 symbolic-numeric algorithms based on semi-definite programming...
  • EVAN

  • Referenced in 1 article [sw16776]
  • symbolic-numerical 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 symbolic-numeric algebra...
  • ACETAF

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

  • Referenced in 88 articles [sw00108]
  • CASA is a special-purpose 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]
  • HOM4PS-2.0: a software package for solving polynomial...