05391 Executive Summary -- Numerical and Algebraic Algorithms and Computer-assisted Proofs
- Buchberger, Bruno
- Jansson, Christian
- Oishi, Shin\u27ichi
- Plum, Michael
- Rump, Siegfried M.
Publication date
January 2006
DOI Publisher
Dagstuhl Seminar Proceedings. 05391 - Algebraic and Numerical Algorithms and Computer-assisted ProofsAbstract
The common goal of self-validating methods and computer algebra methods is to solve mathematical problems with complete rigor and with the aid of computers. The seminar focused on several aspects of such methods for computer-assisted proofs
Add to ORKG