Interval methods and computer aided proofs in science and engineering, Interval '96. Proceedings of the international conference, September 30 - October 2, 1996, Würzburg, Germany
From MaRDI portal
(Redirected from Publication:1371149)
The articles of this volume will be reviewed individually.
Recommendations
- Proceedings of the international conference on interval and computer- algebraic methods in science and engineering, Interval '94, St. Petersburg, Russia, March 7-10, 1994. Selected papers
- Scientific computing, validated numerics, interval methods, Karlsruhe, Germany, September 19--22, 2000
- scientific article; zbMATH DE number 67122
- Applications of interval computations. Proceedings of an international workshop, El Paso, TX, USA, February 23-25, 1995
- Computer aided proofs in analysis. Based on the proceedings of an IMA participating institutions conference, held at the University of Cincinnati, OH, USA, in April 1989
- Computational methods from rational approximation theory. Proceedings of the international conference on rational approximation ICRA 99, Antwerp, Belgium, June 6--11, 1999
- Interval mathematics 1985. Proceedings of the International Symposium, Freiburg i. Br., Federal Republic of Germany, Semptember 23-26, 1985
- Conference on computability theory. Proceedings of the conference, Oberwolfach, Germany, January 27--February 3, 1996
- scientific article; zbMATH DE number 49076
- scientific article; zbMATH DE number 804115
This page was built for publication: Interval methods and computer aided proofs in science and engineering, Interval '96. Proceedings of the international conference, September 30 - October 2, 1996, Würzburg, Germany
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1371149)
