
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 DiffieHellman assumption ... Schnorr identification scheme, that have the property that both the challenger and signer can compute...

NTRUSign
 Referenced in 33 articles
[sw11764]
 NTRUtype lattices. We explore the properties of general APPRCVP 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 highlevel 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...

SPLUS
 Referenced in 509 articles
[sw02892]
 SPLUS 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...

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