• INTOPT_90

  • Referenced in 306 articles [sw04705]
  • first chapter (69 pages) introduces interval arithmetic, solving linear interval equations, automatic differentiation and code ... values (8 pages) remains on the very surface of such a topic and contains only...
  • GAIA

  • Referenced in 4 articles [sw03223]
  • calculate the intersection between curves or surfaces can seem simple. This is true ... using floating point arithmetic. When we intersect two bi-cubic parametric surfaces the problem ... systems (e.g. CAD) double precision floating point arithmetic is used, thus introducing rounding errors...
  • flatsurf

  • Referenced in 3 articles [sw34717]
  • flat surfaces, plot straight-line trajectories, deform surfaces through the SL(2,R) action ... decompositions. SageMath is used to perform exact arithmetic...
  • fakequadrics

  • Referenced in 6 articles [sw34706]
  • same rational cohomology as a smooth quadric surface but is not biholomorphic ... techniques that explicitly bound the arithmetic invariants of a fake quadric and more generally...
  • surface_dynamics

  • Referenced in 3 articles [sw38631]
  • functionality related to interval exchange transformations, translation surfaces, mapping classes and more. It is based ... mpir for arbitrary precision arithmetic; PARI/GP for number field computations; GAP for finite groups representation...
  • Caravel

  • Referenced in 2 articles [sw40099]
  • surface terms, the computation of tree-level amplitudes in floating point or finite-field arithmetic...
  • PRECISE

  • Referenced in 7 articles [sw12581]
  • linear algebraic primitives like curves and surfaces. The algorithms designed for these problems make decisions ... with the underlying number representation, precision-driven arithmetic and all the algorithms are implemented...
  • ATLAS

  • Referenced in 199 articles [sw00056]
  • This paper describes the Automatically Tuned Linear Algebra...
  • AXIOM

  • Referenced in 173 articles [sw00063]
  • Axiom is a general purpose Computer Algebra system...
  • BARON

  • Referenced in 354 articles [sw00066]
  • BARON is a computational system for solving nonconvex...
  • BPOLY

  • Referenced in 13 articles [sw00089]
  • Algorithm 812: BPOLY: An object-oriented library of...
  • CASA

  • Referenced in 105 articles [sw00108]
  • CASA is a special-purpose system for computational...
  • CGAL

  • Referenced in 394 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...
  • Coq

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

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

  • Referenced in 127 articles [sw00182]
  • A C++ class library for extended scientific computing...
  • Fermat

  • Referenced in 41 articles [sw00277]
  • Fermat is a computer algebra system (CAS) for...
  • FGb

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