Running Error Analysis of Evaluation Algorithms for Bivariate Polynomials in Barycentric Bernstein Form
- 作者E. Mainar; J. M. Peña
- 卷第77卷
- 期第1期
- 印刷ISSN0010-485X
- 电子ISSN1436-5057
- 文件大小134.04KB
- 发表时间2006-02
- DOI10.1007/s00607-005-0149-8
- 页码97-111
Decidability in elementary analysis, IHarvey Friedman; Ákos Seress · Advances in Mathematics · 1989
Decidability in elementary analysis, IIHarvey Friedman; Ákos Seress · Advances in Mathematics · 1990
ON THE EDGE OF DECIDABILITY IN COMPLEXITY ANALYSIS OF LOOP PROGRAMSBEN-AMRAM, AMIR M.; KRISTIANSEN, LARS · International Journal of Foundations of Computer Science · 2012
Decidability for a temporal logic used in discrete-event system analysisKNIGHT, J. F.; PASSINO, K. M. · International Journal of Control · 1990
[IEEE Comput. Soc. Press 1993 International Conference on Network Protocols - San Francisco, CA, USA (19-22 Oct. 1993)] 1993 International Conference on Network Protocols - Decidability issues in reduced reachability analysisCacciari, L.; Rafiq, O. · 1993