• ML

  • Referenced in 522 articles [sw01218]
  • ML (’Meta Language’) is a general-purpose functional...
  • McEliece

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

  • Referenced in 174 articles [sw02235]
  • The specification language developed by CoFI is called...
  • BLISS

  • Referenced in 24 articles [sw02301]
  • BLISS: Bimodal Lattice Signature Schemes. This implementation in...
  • CUDA

  • Referenced in 1325 articles [sw03258]
  • The NVIDIA® CUDA® Toolkit provides a comprehensive development...
  • Haskell

  • Referenced in 880 articles [sw03521]
  • Haskell is a standardized, general-purpose purely functional...
  • UCI-ml

  • Referenced in 3403 articles [sw04074]
  • UC Irvine Machine Learning Repository. We currently maintain...
  • CPLEX

  • Referenced in 2773 articles [sw04082]
  • IBM® ILOG® CPLEX® offers C, C++, Java, .NET...
  • RODAS

  • Referenced in 1695 articles [sw04112]
  • Rosenbrock method of order 4(3), for problems...
  • EFD

  • Referenced in 53 articles [sw04152]
  • Explicit-Formulas Database: Analysis and optimization of elliptic...
  • CHEVIE

  • Referenced in 237 articles [sw04235]
  • CHEVIE is a computer algebra project for symbolic...
  • fda (R)

  • Referenced in 1531 articles [sw04511]
  • fda: Functional Data Analysis , These functions were developed...
  • DLMF

  • Referenced in 2809 articles [sw04968]
  • NIST digital library of mathematical functions. The National...
  • HOL

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

  • Referenced in 555 articles [sw06294]
  • NumPy is the fundamental package for scientific computing...
  • ECPP

  • Referenced in 74 articles [sw06903]
  • ECPP is a package containing a primality proving...
  • OEIS

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

  • Referenced in 56 articles [sw09945]
  • The OpenSSL Project is a collaborative effort to...