Numerical and algebraic algorithms and computer-assisted proofs : 05391 executive summary ; Dagstuhl seminar
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Classification
-
Informatik
- Event
-
Veröffentlichung
- (where)
-
[Wadern]
- (who)
-
[Internat. Begegnungs- und Forschungszentrum für Informatik]
- (when)
-
[2006]
- Contributor
- URN
-
urn:nbn:de:0030-drops-4549
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
11.07.2025, 3:27 PM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Buchberger, Bruno
- Jansson, Christian
- Oishi, Shin'ichi
- Plum, Michael
- Rump, Siegfried M.
- [Internat. Begegnungs- und Forschungszentrum für Informatik]
Time of origin
- [2006]
Other Objects (12)
Algebraic and numerical algorithms and computer-assisted proofs : 05391 abstracts collection ; Dagstuhl seminar
Executive summary of Dagstuhl Seminar 07411 on Algebraic Methods in Computational Complexity
Students' language in computer-assisted tutoring of mathematical proofs
Students´ language in computer-assisted tutoring of mathematical proofs
(Semi)Algebraic Proofs over {±1} Variables
Mathematics, algorithms, proofs : 05021 abstracts collection ; Dagstuhl seminar
Computer-assisted Multiplicity Proofs for Emden's Equation on Domains with Hole
Cryptography : 07381 executive summary ; Dagstuhl seminar
The Surprising Power of Constant Depth Algebraic Proofs
ISAR: An interactive system for algebraic implementation proofs
Computer-Assisted Engineering for Robotics and Autonomous Systems (Dagstuhl Seminar 17071)
Dagstuhl Seminar "Mobile Information Management" : executive summary
Algebraic and numerical algorithms and computer-assisted proofs : 05391 abstracts collection ; Dagstuhl seminar
Executive summary of Dagstuhl Seminar 07411 on Algebraic Methods in Computational Complexity
Students' language in computer-assisted tutoring of mathematical proofs
Students´ language in computer-assisted tutoring of mathematical proofs
(Semi)Algebraic Proofs over {±1} Variables
Mathematics, algorithms, proofs : 05021 abstracts collection ; Dagstuhl seminar
Computer-assisted Multiplicity Proofs for Emden's Equation on Domains with Hole
Cryptography : 07381 executive summary ; Dagstuhl seminar
The Surprising Power of Constant Depth Algebraic Proofs
ISAR: An interactive system for algebraic implementation proofs
Computer-Assisted Engineering for Robotics and Autonomous Systems (Dagstuhl Seminar 17071)
Dagstuhl Seminar "Mobile Information Management" : executive summary
Algebraic and numerical algorithms and computer-assisted proofs : 05391 abstracts collection ; Dagstuhl seminar
Executive summary of Dagstuhl Seminar 07411 on Algebraic Methods in Computational Complexity
Students' language in computer-assisted tutoring of mathematical proofs
Students´ language in computer-assisted tutoring of mathematical proofs
(Semi)Algebraic Proofs over {±1} Variables
Mathematics, algorithms, proofs : 05021 abstracts collection ; Dagstuhl seminar
Computer-assisted Multiplicity Proofs for Emden's Equation on Domains with Hole
Cryptography : 07381 executive summary ; Dagstuhl seminar
The Surprising Power of Constant Depth Algebraic Proofs
ISAR: An interactive system for algebraic implementation proofs
Computer-Assisted Engineering for Robotics and Autonomous Systems (Dagstuhl Seminar 17071)