• OBJ3

  • Referenced in 140 articles [sw05370]
  • OBJ3 is a program specification and proof system...
  • HOL

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

  • Referenced in 700 articles [sw06233]
  • Maude is a high-performance reflective language and...
  • Reo

  • Referenced in 88 articles [sw06353]
  • The Reo coordination language. Reo presents a paradigm...
  • Nuprl

  • Referenced in 396 articles [sw06751]
  • The Nuprl system is a framework for reasoning...
  • OEIS

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

  • Referenced in 624 articles [sw08058]
  • Scikit-learn: machine learning in python. Scikit-learn...
  • Agda

  • Referenced in 207 articles [sw09689]
  • Agda is a dependently typed functional programming language...
  • Z

  • Referenced in 286 articles [sw10291]
  • Using Z. Specification, refinement, and proof. The book...
  • ComputeTW

  • Referenced in 53 articles [sw11360]
  • ComputeTW - An interactive platform for computing Treewidth of...
  • Locales

  • Referenced in 41 articles [sw12448]
  • Locales: a module system for mathematical theories. Locales...
  • eSTREAM

  • Referenced in 105 articles [sw12699]
  • Welcome to the home page of eSTREAM, the...
  • CIFAR

  • Referenced in 178 articles [sw17861]
  • The CIFAR-10 and CIFAR-100 are labeled...
  • TPOT

  • Referenced in 11 articles [sw18808]
  • TPOT: A Tree-based Pipeline Optimization Tool for...
  • Grain

  • Referenced in 73 articles [sw19539]
  • Grain - A Stream Cipher for Constrained Environments. A...
  • QNet

  • Referenced in 11 articles [sw19662]
  • QNet: a software package for estimating phylogenetic networks...
  • Auto-WEKA

  • Referenced in 37 articles [sw21536]
  • Auto-WEKA 2.0: automatic model selection and hyperparameter...
  • kepler98

  • Referenced in 195 articles [sw23625]
  • The 1998 Proof of the Kepler Conjecture. The...