
Verified LLL
 Referenced in 2 articles
[sw28661]
 verified LLL algorithm. The LenstraLenstraLovász basis reduction algorithm, also known as LLL algorithm ... wellknown since it was used to implement the first polynomialtime 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 highperformance, 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 OnLine 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 highlevel, 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...