
QEPCAD
 Referenced in 283 articles
[sw00752]
 program for computing with semialgebraic sets using CADs. QEPCAD is an implementation of quantifier...

Tarski
 Referenced in 2 articles
[sw25785]
 computing with Tarski Formulas and SemiAlgebraic Sets. Tarski is a system that provides ... computing with Tarski formulas and semialgebraic sets. Right now, the system and its functionality...

EASAL
 Referenced in 1 article
[sw27195]
 distance intervals. For configurations of pointsets that are pairwise constrained by distance intervals ... properties, classical results for stratification of semialgebraic sets, and new results for efficient sampling...

STRATIFY
 Referenced in 1 article
[sw18775]
 finitely many disjoint basic open semialgebraic sets, called strata. A set of fundamental invariants...

SAHATool
 Referenced in 1 article
[sw10315]
 set of points is reachable from a starting region.par If we focus on semialgebraic...

CoCoA
 Referenced in 649 articles
[sw00143]
 CoCoA is a system for Computations in Commutative...

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

Cuba
 Referenced in 66 articles
[sw00173]
 Cuba  a library for multidimensional numerical integration. The...

dpgb
 Referenced in 16 articles
[sw00217]
 Improving the DISPGB algorithm using the discriminant ideal...

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

Kronecker
 Referenced in 116 articles
[sw00495]
 Kronecker is a package for Magma computer algebra...

LAPACK
 Referenced in 1677 articles
[sw00503]
 LAPACK is written in Fortran 90 and provides...

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

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

Magma
 Referenced in 3137 articles
[sw00540]
 Computer algebra system (CAS). Magma is a large...

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

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

Matlab
 Referenced in 13100 articles
[sw00558]
 MATLAB® is a highlevel language and interactive...

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