• Mathemagix

  • Referenced in 39 articles [sw00553]
  • large scale programming for symbolic and certified numeric computations Coordinated by Joris van der Hoeven ... scientific programming language for symbolic and certified numeric algorithms. This language can be compiled ... with a special care towards efficiency and numeric stability. In my talk I will give ... will illustrate possibilities offered for certified numeric computations with balls and intervals...
  • LEMA

  • Referenced in 1 article [sw11265]
  • language for reliable arithmetic. Generating certified and efficient numerical codes requires information ranging from ... used during the automatic generation of certified numerical codes. Such a generation process typically involves...
  • Gappa

  • Referenced in 17 articles [sw04885]
  • help verifying and formally proving properties on numerical programs dealing with floating-point or fixed ... CGAL and it is used to certify elementary functions in CRlibm. While Gappa is intended...
  • A3PAT

  • Referenced in 8 articles [sw21587]
  • Project A3PAT to discover and moreover certify, with full automation, termination proofs for term rewriting ... developments: the Coccinelle library formalises numerous rewriting techniques and termination criteria for the Coq proof ... other tools) into traces that are certified by Coq assisted by Coccinelle. The abstraction level...
  • SNAP

  • Referenced in 1 article [sw11257]
  • SNAP package for Mathematica. SNAP (Symbolic Numeric Algebra for Polynomials) package for Mathematica provides various ... approximate calculations under certified tolerances without special skills in symbolic-numeric algebra...
  • Ball

  • Referenced in 1 article [sw26708]
  • analyses and several numerical studies have been performed and the results certify the powerfulness...
  • RealCertify

  • Referenced in 3 articles [sw28191]
  • RealCertify: a Maple package for certifying non-negativity. Let Q (resp. R) be the field ... rational numbers. It can be applied to numerous problems coming from engineering sciences, program verification...
  • ACETAF

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

  • Referenced in 277 articles [sw00060]
  • ACL2 is both a programming language in which...
  • CGAL

  • Referenced in 355 articles [sw00118]
  • The goal of the CGAL Open Source Project...
  • Coq

  • Referenced in 1784 articles [sw00161]
  • Coq is a formal proof management system. It...
  • Dafny

  • Referenced in 64 articles [sw00183]
  • Dafny is an imperative object-based language with...
  • gfun

  • Referenced in 132 articles [sw00344]
  • The gfun package provides tools for determining and...
  • gmp

  • Referenced in 265 articles [sw00363]
  • GMP is a free library for arbitrary precision...
  • HOM4PS

  • Referenced in 72 articles [sw00410]
  • HOM4PS-2.0: a software package for solving polynomial...
  • LEDA

  • Referenced in 261 articles [sw00509]
  • In the core computer science areas -- data structures...
  • Macaulay2

  • Referenced in 1658 articles [sw00537]
  • Macaulay2 is a software system devoted to supporting...
  • Maple

  • Referenced in 5040 articles [sw00545]
  • The result of over 30 years of cutting...
  • Mathematica

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