• UCLID

  • Referenced in 25 articles [sw04657]
  • UCLID (pronounced ”Euclid”) is a tool for analyzing the correctness of models of hardware ... software for security exploits, and verifying distributed algorithms...
  • CALYPSO

  • Referenced in 4 articles [sw00100]
  • We present a package of parallel algorithms for...
  • Cinderella

  • Referenced in 152 articles [sw00127]
  • An Interactive Geometry Software. Besides support for dynamic...
  • Coq

  • Referenced in 1818 articles [sw00161]
  • Coq is a formal proof management system. It...
  • GAP

  • Referenced in 2948 articles [sw00320]
  • GAP is a system for computational discrete algebra...
  • Magma

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

  • Referenced in 1714 articles [sw00825]
  • Sage (SageMath) is free, open-source math software...
  • GCDHEU

  • Referenced in 9 articles [sw01054]
  • GCDHEU: Heuristic polynomial GCD algorithm based on integer...
  • Modula

  • Referenced in 197 articles [sw01224]
  • The Modula programming language is a descendant of...
  • mctoolbox

  • Referenced in 1422 articles [sw04827]
  • The Matrix Computation Toolbox is a collection of...
  • cvc3

  • Referenced in 85 articles [sw04886]
  • CVC3 is an automatic theorem prover for Satisfiability...
  • z3

  • Referenced in 510 articles [sw04887]
  • Z3 is a high-performance theorem prover being...
  • SLEEF

  • Referenced in 41 articles [sw05889]
  • SLEEF - SIMD Library for Evaluating Elementary Functions Most...
  • OreModules

  • Referenced in 42 articles [sw06226]
  • Linear Control Systems over Ore Algebras. OreModules is...
  • Eigtool

  • Referenced in 495 articles [sw07020]
  • EigTool is a free MATLAB package for computing...
  • OEIS

  • Referenced in 3522 articles [sw07248]
  • The On-Line Encyclopedia of Integer Sequence. The...
  • CRACK

  • Referenced in 57 articles [sw07754]
  • Applications of CRACK in the classification of integrable...