• Verified LLL

  • Referenced in 2 articles [sw28661]
  • verified LLL algorithm. The Lenstra-Lenstra-Lovász basis reduction algorithm, also known as LLL algorithm ... well-known since it was used to implement the first polynomial-time algorithm to factor...
  • Coq

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

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

  • Referenced in 674 articles [sw00454]
  • Isabelle is a generic proof assistant. It allows...
  • Maple

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

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

  • Referenced in 211 articles [sw00638]
  • NTL is a high-performance, portable C++ library...
  • mctoolbox

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

  • Referenced in 563 articles [sw05492]
  • Higher Order Logic (HOL) is a programming environment...
  • CeTA

  • Referenced in 46 articles [sw06584]
  • Certification of termination proofs using CeTA. There are...
  • OEIS

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

  • Referenced in 39 articles [sw12448]
  • Locales: a module system for mathematical theories. Locales...
  • Python

  • Referenced in 1935 articles [sw14460]
  • Python is a widely used high-level, general...
  • GitHub

  • Referenced in 2108 articles [sw23170]
  • GitHub (originally known as Logical Awesome LLC)[3...
  • fhe

  • Referenced in 35 articles [sw23227]
  • fhe: An implementation of the DGHV fully homomorphic...