
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 bicubic 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 straightline 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 treelevel amplitudes in floating point or finitefield 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, precisiondriven 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 objectoriented library of...

CASA
 Referenced in 105 articles
[sw00108]
 CASA is a specialpurpose 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...

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