Numerical and algebraic algorithms and computer-assisted proofs

05391 executive summary ; Dagstuhl seminar

Link zu diesem Datensatz

https://d-nb.info/991432835

Titel

Numerical and algebraic algorithms and computer-assisted proofs : 05391 executive summary ; Dagstuhl seminar

Art des Inhalts

Monographie

Verfassangaben

Bruno Buchberger ...

Autor(en)

• Buchberger, Bruno
• Jansson, Christian
• Oishi, Shin'ichi
• Plum, Michael
• Rump, Siegfried M.

Verlag

[Wadern] : [Internat. Begegnungs- und Forschungszentrum für Informatik] [[2006]]

Jahr

Erscheinungsdatum: 2006

Umfang/Format

Online-Ressource

Online

https://nbn-resolving.org/urn:nbn:de:0030-drops-4549

Sprache

eng

Stand

17.02.2026 17:05

Im Katalog seit

06.03.2026

Beschreibung vom Verlag

Beschreibung wird bei Bedarf von der DNB geladen.

Verlagstext laden