• 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 full-text 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 conflict-based 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...