• HOL

  • Referenced in 508 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 27 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 78 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 38 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...
  • SuperMann

  • Referenced in 7 articles [sw36949]
  • favorable global convergence properties and requires exactly the same oracle. It is based...
  • 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 11 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 11 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...
  • QuickREST

  • Referenced in 1 article [sw36480]
  • artifacts that can be leveraged both as property-based test generators and as a source ... validation for results (i.e., as test oracles). Experimental results, on both industrial and open source...
  • CGAL

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

  • Referenced in 367 articles [sw00530]
  • Algorithm 583: LSQR: Sparse Linear Equations and Least...
  • Mathematica

  • Referenced in 5957 articles [sw00554]
  • Almost any workflow involves computing results, and that...
  • Matlab

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

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

  • Referenced in 20 articles [sw01591]
  • FoCs -- automatic generation of simulation checkers from formal...
  • GOLOG

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

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

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

  • Referenced in 712 articles [sw03455]
  • Spin is a popular open-source software tool...