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

NTRUSign
 Referenced in 38 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 9 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 propertybased 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 355 articles
[sw00118]
 The goal of the CGAL Open Source Project...

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

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

R
 Referenced in 8359 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...

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

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

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

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

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