## Abstract We introduce a notion of relative efficiency for axiom systems. Given an axiom system __A__~Ξ²~ for a theory __T__ consistent with __S__^1^~2~, we show that the problem of deciding whether an axiom system __A__~Ξ±~ for the same theory is more efficient than __A__~Ξ²~ is II~2~βhard. Several
β¦ LIBER β¦
A note on the relative efficiency of Adams methods
β Scribed by D.J. Rodabaugh; S. Thompson
- Publisher
- Elsevier Science
- Year
- 1981
- Tongue
- English
- Weight
- 217 KB
- Volume
- 7
- Category
- Article
- ISSN
- 0898-1221
No coin nor oath required. For personal study only.
π SIMILAR VOLUMES
A Note on Relative Efficiency of Axiom S
β
Sandra Fontani; Franco Montagna; Andrea Sorbi
π
Article
π
1994
π
John Wiley and Sons
π
English
β 664 KB
Note on the efficiency of methods to gen
β
Hiroaki Yamamoto
π
Article
π
1991
π
John Wiley and Sons
π
English
β 558 KB
A note on the asymptotic relative effici
β
D. Deprins; L. Simar
π
Article
π
1985
π
Elsevier Science
π
English
β 164 KB
A note on the efficient implementation o
β
Pierluigi Amodio; Luigi Brugnano
π
Article
π
1997
π
Elsevier Science
π
English
β 383 KB
The use of implicit methods for ODEs, e.g. implicit Runge-Kutta schemes, requires the solution of nonlinear systems of algebraic equations of dimension s β’ m, where m is the size of the continuous differential problem to be approximated. Usually, the solution of this system represents the most time-
A note on the interpretation of adjoined
β
Richard K. Larson
π
Article
π
1982
π
Springer Netherlands
π
English
β 381 KB
A note on A-efficiency of connected desi
β
Sanpei Kageyama
π
Article
π
1988
π
Elsevier Science
π
English
β 416 KB