• 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...
  • NTRU

  • Referenced in 183 articles [sw11761]
  • NTRU: A ring-based public key cryptosystem. We...
  • 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...