
HOL
 Referenced in 472 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 19 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 77 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 35 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 8 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 8 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 329 articles
[sw00118]
 The goal of the CGAL Open Source Project...

Mathematica
 Referenced in 5658 articles
[sw00554]
 Almost any workflow involves computing results, and that...

Matlab
 Referenced in 11343 articles
[sw00558]
 MATLAB® is a highlevel language and interactive...

R
 Referenced in 7468 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 168 articles
[sw02159]
 GOLOG: A logic programming language for dynamic domains...

SPLUS
 Referenced in 559 articles
[sw02892]
 SPLUS is a powerful environment for statistical...

OSCAR
 Referenced in 44 articles
[sw03026]
 Simultaneous regression shrinkage, variable selection, and supervised clustering...

SPIN
 Referenced in 695 articles
[sw03455]
 Spin is a popular opensource software tool...

SeDuMi
 Referenced in 1136 articles
[sw04002]
 SeDuMi is a Matlab toolbox for solving optimization...

SDPT3
 Referenced in 585 articles
[sw04009]
 This software is designed to solve conic programming...

AWS
 Referenced in 43 articles
[sw04034]
 R package aws: Adaptive Weights Smoothing. The package...