05391 Executive Summary – Numerical and Algebraic Algorithms and Computer-assisted Proofs

2006/01/01 by Bruno Buchberger, Christian Jansson, Buchberger, Bruno +7
Computer Science · #Polynomial and algebraic computation #Self-validating methods #computer algebra #computer-assisted proofs #real number algorithms

paper · doi:10.4230/dagsemproc.05391.2

openalex publication_date 2006/01/01 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28

Abstract

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.

Related

• 09471 Executive Summary – Computer-assisted proofs - tools, methods and applications
• 05391 Abstracts Collection – Algebraic and Numerical Algorithms and Computer-assisted Proofs
• 05021 Executive Summary – Mathematics, Algorithms, Proofs
• 07411 Executive Summary – Algebraic Methods in Computational Complexity
• 09471 Abstracts Collection – Computer-assisted proofs - tools, methods and applications