
Axel
 Referenced in 22 articles
[sw06457]
 singularities of algebraic curves or surfaces, certified topology of curves and surfaces, etc. A plugin...

Axl
 Referenced in 4 articles
[sw25792]
 singularities of algebraic curves or surfaces, certified topology of curves and surfaces...

SIROCCO
 Referenced in 4 articles
[sw15155]
 Sirocco Is a ROot Certified COntinuator. This is a library for computing homotopy continuation ... roots of a polynomial form a topologically correct deformation of the actual braid, since...

ReMESH
 Referenced in 5 articles
[sw21776]
 realworld objects may easily exhibit topological or geometrical defects, which often prevent subsequent processing ... valid support for the production of certified quality meshes...

ACL2
 Referenced in 291 articles
[sw00060]
 ACL2 is both a programming language in which...

CGAL
 Referenced in 402 articles
[sw00118]
 The goal of the CGAL Open Source Project...

Coq
 Referenced in 1906 articles
[sw00161]
 Coq is a formal proof management system. It...

gmp
 Referenced in 289 articles
[sw00363]
 GMP is a free library for arbitrary precision...

HOM4PS
 Referenced in 82 articles
[sw00410]
 HOM4PS2.0: a software package for solving polynomial...

LEDA
 Referenced in 264 articles
[sw00509]
 In the core computer science areas  data structures...

Macaulay2
 Referenced in 1958 articles
[sw00537]
 Macaulay2 is a software system devoted to supporting...

Maple
 Referenced in 5403 articles
[sw00545]
 The result of over 30 years of cutting...

Mathemagix
 Referenced in 43 articles
[sw00553]
 Mathemagix: Towards large scale programming for symbolic and...

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

MPFI
 Referenced in 43 articles
[sw00597]
 Motivations for an arbitrary precision interval arithmetic and...

nauty
 Referenced in 625 articles
[sw00611]
 graphtheoretic program NAUTY: nauty is a program...

PHCpack
 Referenced in 236 articles
[sw00705]
 Algorithm 795: PHCpack: A generalpurpose solver for...

SINGULAR
 Referenced in 1522 articles
[sw00866]
 SINGULAR is a Computer Algebra system (CAS) for...

SYNAPS
 Referenced in 24 articles
[sw00941]
 SYNAPS (SYmbolic Numeric ApplicationS) SYNAPS is a library...