• HOL

  • Referenced in 435 articles [sw05492]
  • automatically establish many simple theorems. An Oracle mechanism gives access to external programs such ... implementing combinations of deduction, execution, and property checking...
  • CasANOVA

  • Referenced in 15 articles [sw13555]
  • procedure is shown to have the oracle property in that asymptotically it performs as well...
  • hgam

  • Referenced in 73 articles [sw11201]
  • numerical convergence properties, for optimizing the penalized likelihood. Furthermore, we provide oracle results which yield...
  • HMQV

  • Referenced in 75 articles [sw02714]
  • achieve a remarkable list of security properties. As a result MQV has been widely standardized ... formally proved to hold in the random oracle model under the computational Diffie-Hellman assumption ... Schnorr identification scheme, that have the property that both the challenger and signer can compute...
  • NTRUSign

  • Referenced in 33 articles [sw11764]
  • NTRU-type lattices. We explore the properties of general APPR-CVP based signature schemes ... transcript attacks even in the random oracle model. We then introduce the idea of using ... achieved while maintaining attractive efficiency properties...
  • IsaFoR

  • Referenced in 5 articles [sw10106]
  • reconstruction, where all necessary properties are derived inside Isabelle/HOL without oracles. Apart from the certification...
  • Spacer

  • Referenced in 7 articles [sw19496]
  • proof. We show that for programs and properties over a decidable theory, the algorithm ... exists. However, efficiency depends on an oracle for quantifier elimination (QE). For Boolean programs...
  • ROCKET

  • Referenced in 6 articles [sw30016]
  • however, little is known about the distributional properties of the estimators beyond the Gaussian setting ... setting under mild assumptions, without relying on oracle model selection results. ROCKET requires the same...
  • CGAL

  • Referenced in 307 articles [sw00118]
  • The goal of the CGAL Open Source Project...
  • Matlab

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

  • Referenced in 6523 articles [sw00771]
  • R is a language and environment for statistical...
  • GOLOG

  • Referenced in 161 articles [sw02159]
  • GOLOG: A logic programming language for dynamic domains...
  • S-PLUS

  • Referenced in 509 articles [sw02892]
  • S-PLUS is a powerful environment for statistical...
  • OSCAR

  • Referenced in 37 articles [sw03026]
  • Simultaneous regression shrinkage, variable selection, and supervised clustering...
  • SeDuMi

  • Referenced in 984 articles [sw04002]
  • SeDuMi is a Matlab toolbox for solving optimization...
  • SDPT3

  • Referenced in 527 articles [sw04009]
  • This software is designed to solve conic programming...
  • AWS

  • Referenced in 41 articles [sw04034]
  • R package aws: Adaptive Weights Smoothing. The package...
  • UCI-ml

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

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

  • Referenced in 128 articles [sw04364]
  • R package survival: Survival analysis, including penalised likelihood...