• PALISADE

• Referenced in 1 article [sw37921]
• source project that provides efficient implementations of lattice cryptography building blocks and leading homomorphic encryption ... designed for usability, providing simpler APIs, modularity, cross-platform support and integration of hardware accelerators ... based encryption, attribute-based encryption and digital signature support...

• Coq

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

• FGb

• Referenced in 247 articles [sw00286]
• FGb/Gb libraryGb is a program (191 420 lines...

• GAP

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

• gmp

• Referenced in 282 articles [sw00363]
• GMP is a free library for arbitrary precision...

• Isabelle

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

• LiDIA

• Referenced in 53 articles [sw00518]
• LiDIA: A library for computational number theory. LiDIA...

• Macaulay2

• Referenced in 1904 articles [sw00537]
• Macaulay2 is a software system devoted to supporting...

• Magma

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

• Maple

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

• Mathematica

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

• Matlab

• Referenced in 13460 articles [sw00558]
• MATLAB® is a high-level language and interactive...

• NTL

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

• PARI/GP

• Referenced in 636 articles [sw00680]
• PARI/GP is a widely used Computer Algebra System...

• QEPCAD

• Referenced in 283 articles [sw00752]
• QEPCAD B: A program for computing with semi...

• R

• Referenced in 9810 articles [sw00771]
• R is a language and environment for statistical...

• SageMath

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

• SINGULAR

• Referenced in 1504 articles [sw00866]
• SINGULAR is a Computer Algebra system (CAS) for...

• SCIP

• Referenced in 536 articles [sw01091]
• SCIP is currently one of the fastest non...

• MACSYMA

• Referenced in 720 articles [sw01209]
• Macsyma is a general purpose symbolic-numerical-graphical...