• Mathematica

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

• Matlab

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

• McEliece

• Referenced in 251 articles [sw02076]
• Practical power analysis attacks on software implementations of...

• HMQV

• Referenced in 80 articles [sw02714]
• The MQV protocol of Law, Menezes, Qu, Solinas...

• NAXOS

• Referenced in 81 articles [sw03050]
• LaMacchia, Lauter and Mityagin recently presented a strong...

• Gurobi

• Referenced in 714 articles [sw04105]
• GUROBI OPTIMIZER: State of the Art Mathematical Programming...

• Spec#

• Referenced in 123 articles [sw04598]
• The Spec# programming system is a new attempt...

• SparseMatrix

• Referenced in 747 articles [sw04629]
• The University of Florida Sparse Matrix Collection. We...

• NTRU

• Referenced in 183 articles [sw11761]
• NTRU: A ring-based public key cryptosystem. We...

• Featherweight Java

• Referenced in 93 articles [sw16204]
• Featherweight Java: A minimal core calculus for Java...

• liboqs

• Referenced in 4 articles [sw25375]
• liboqs is a C library for quantum-resistant...

• Minerva

• Referenced in 1 article [sw32109]
• Minerva: Automated hardware optimization tool. A common way...