• 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...