
HINT
 Referenced in 3 articles
[sw27284]
 method is inspired by the Boolean function decomposition approach to the design of switching circuits...

IRIT
 Referenced in 6 articles
[sw21528]
 well as polygonal objects, and use Boolean operations on both. Beyond its very strong support ... volumes, as well as general multivariate spline functions. IRIT offers numerous unique computational abilities such ... surface deformation (including using composition), freeform surface decomposition into piecewise ruled and piecewise developable surfaces...

BARON
 Referenced in 339 articles
[sw00066]
 BARON is a computational system for solving nonconvex...

Boolector
 Referenced in 28 articles
[sw00085]
 Boolector: an efficient SMT solver for bitvectors...

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

CLIFFORD
 Referenced in 82 articles
[sw00131]
 CLIFFORD performs various computations in Grass mann and...

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

CoCoALib
 Referenced in 61 articles
[sw00144]
 CoCoALib: A C++ library for computations in commutative...

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

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

GAP
 Referenced in 3068 articles
[sw00320]
 GAP is a system for computational discrete algebra...

Givaro
 Referenced in 7 articles
[sw00354]
 In the joint CNRSINRIA / INPGUJF project...

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

ManySAT
 Referenced in 36 articles
[sw00544]
 ManySAT: a parallel SAT solver. ManySAT, a new...

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

MapReduce
 Referenced in 257 articles
[sw00546]
 MapReduce is a new parallel programming model initially...