• 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 bit-vectors...
  • 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 CNRS-INRIA / INPG-UJF 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...