
CGAL
 Referenced in 381 articles
[sw00118]
 polygons (Boolean operations, offsets, straight skeleton), polyhedra (Boolean operations), arrangements of curves and their applications ... estimation of local differential properties, and approximation of ridges and umbilics), alpha shapes, convex hull ... offers geometric object generators and spatial sorting functions, as well as a matrix search framework...

GLIMPSE
 Referenced in 9 articles
[sw23326]
 very flexible fulltext retrieval including Boolean queries, approximate matching (i.e., allowing misspelling), and even ... file systems, while preserving most of its functionality and simplicity. Query times are typically slower...

Reveal
 Referenced in 20 articles
[sw00801]
 describe the Reveal formal functional verification system and its application to four representative hardware test ... approximation of the original design with a much smaller state space. This approximation is subsequently ... correctness of control logic interactions. If the approximation proves to be too coarse ... spirit to conflictbased learning in modern Boolean satisfiability solvers. The abstraction/refinement process is iterated...

MDL4BMF
 Referenced in 7 articles
[sw28420]
 factorizations—where a given data matrix is approximated by a product of two or more ... starts. Boolean Matrix Factorization (BMF)—where data, factors, and matrix product are Boolean ... automatic, does not require a likelihood function, is fast, and, as experiments show, is highly...

PRECiSA
 Referenced in 2 articles
[sw38041]
 Boolean expression that characterizes the input values leading to the computed error approximation is also ... defined to ensure the convergence of recursive functions and loops. An instantiation of this framework...

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

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

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

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

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