Results 21 to 40 of 58
Sort by:

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