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

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

SPLUS
 Referenced in 601 articles
[sw02892]
 SPLUS 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 opensource software tool...