Published in: Dagstuhl Seminar Proceedings, Volume 9471, Computer-assisted proofs - tools, methods and applications (2010)
Malcolm B. Brown, Erich Kaltofen, Shin'ichi Oishi, and Siegfried M. Rump. 09471 Abstracts Collection – Computer-assisted proofs - tools, methods and applications. In Computer-assisted proofs - tools, methods and applications. Dagstuhl Seminar Proceedings, Volume 9471, pp. 1-24, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2010)
@InProceedings{brown_et_al:DagSemProc.09471.1, author = {Brown, Malcolm B. and Kaltofen, Erich and Oishi, Shin'ichi and Rump, Siegfried M.}, title = {{09471 Abstracts Collection – Computer-assisted proofs - tools, methods and applications}}, booktitle = {Computer-assisted proofs - tools, methods and applications}, pages = {1--24}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2010}, volume = {9471}, editor = {B. Malcolm Brown and Erich Kaltofen and Shin'ichi Oishi and Siegfried M. Rump}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.09471.1}, URN = {urn:nbn:de:0030-drops-25328}, doi = {10.4230/DagSemProc.09471.1}, annote = {Keywords: Verification methods, computer algebra, computer-assisted proofs} }
Published in: Dagstuhl Seminar Proceedings, Volume 9471, Computer-assisted proofs - tools, methods and applications (2010)
Malcolm B. Brown, Erich Kaltofen, Shin'ichi Oishi, and Siegfried M. Rump. 09471 Executive Summary – Computer-assisted proofs - tools, methods and applications. In Computer-assisted proofs - tools, methods and applications. Dagstuhl Seminar Proceedings, Volume 9471, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2010)
@InProceedings{brown_et_al:DagSemProc.09471.2, author = {Brown, Malcolm B. and Kaltofen, Erich and Oishi, Shin'ichi and Rump, Siegfried M.}, title = {{09471 Executive Summary – Computer-assisted proofs - tools, methods and applications}}, booktitle = {Computer-assisted proofs - tools, methods and applications}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2010}, volume = {9471}, editor = {B. Malcolm Brown and Erich Kaltofen and Shin'ichi Oishi and Siegfried M. Rump}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.09471.2}, URN = {urn:nbn:de:0030-drops-25316}, doi = {10.4230/DagSemProc.09471.2}, annote = {Keywords: Verification methods, computer algebra, computer-assisted proofs} }
Published in: Dagstuhl Seminar Proceedings, Volume 9471, Computer-assisted proofs - tools, methods and applications (2010)
Andreas Rauh and Ekaterina Auer. Interval Approaches to Reliable Control of Dynamical Systems. In Computer-assisted proofs - tools, methods and applications. Dagstuhl Seminar Proceedings, Volume 9471, pp. 1-28, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2010)
@InProceedings{rauh_et_al:DagSemProc.09471.3, author = {Rauh, Andreas and Auer, Ekaterina}, title = {{Interval Approaches to Reliable Control of Dynamical Systems}}, booktitle = {Computer-assisted proofs - tools, methods and applications}, pages = {1--28}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2010}, volume = {9471}, editor = {B. Malcolm Brown and Erich Kaltofen and Shin'ichi Oishi and Siegfried M. Rump}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.09471.3}, URN = {urn:nbn:de:0030-drops-25120}, doi = {10.4230/DagSemProc.09471.3}, annote = {Keywords: Robust control, Ordinary differential equations, Differential-algebraic equations} }
Published in: Dagstuhl Seminar Proceedings, Volume 9471, Computer-assisted proofs - tools, methods and applications (2010)
Ekaterina Auer, Roger Cuypers, Eva Dyllong, Stefan Kiel, and Wolfram Luther. Verification and Validation for Femur Prosthesis Surgery. In Computer-assisted proofs - tools, methods and applications. Dagstuhl Seminar Proceedings, Volume 9471, pp. 1-22, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2010)
@InProceedings{auer_et_al:DagSemProc.09471.4, author = {Auer, Ekaterina and Cuypers, Roger and Dyllong, Eva and Kiel, Stefan and Luther, Wolfram}, title = {{Verification and Validation for Femur Prosthesis Surgery}}, booktitle = {Computer-assisted proofs - tools, methods and applications}, pages = {1--22}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2010}, volume = {9471}, editor = {B. Malcolm Brown and Erich Kaltofen and Shin'ichi Oishi and Siegfried M. Rump}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.09471.4}, URN = {urn:nbn:de:0030-drops-25133}, doi = {10.4230/DagSemProc.09471.4}, annote = {Keywords: Graphical interface construction, superquadrics, 3D modeling, biomedical engineering} }
Published in: Dagstuhl Seminar Proceedings, Volume 5391, Algebraic and Numerical Algorithms and Computer-assisted Proofs (2006)
Bruno Buchberger, Shin'ichi Oishi, Michael Plum, and Siegfried M. Rump. 05391 Abstracts Collection – Algebraic and Numerical Algorithms and Computer-assisted Proofs. In Algebraic and Numerical Algorithms and Computer-assisted Proofs. Dagstuhl Seminar Proceedings, Volume 5391, pp. 1-15, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2006)
@InProceedings{buchberger_et_al:DagSemProc.05391.1, author = {Buchberger, Bruno and Oishi, Shin'ichi and Plum, Michael and Rump, Siegfried M.}, title = {{05391 Abstracts Collection – Algebraic and Numerical Algorithms and Computer-assisted Proofs}}, booktitle = {Algebraic and Numerical Algorithms and Computer-assisted Proofs}, pages = {1--15}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2006}, volume = {5391}, editor = {Bruno Buchberger and Shin'ichi Oishi and Michael Plum and Sigfried M. Rump}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.05391.1}, URN = {urn:nbn:de:0030-drops-4555}, doi = {10.4230/DagSemProc.05391.1}, annote = {Keywords: Self-validating methods, computer algebra, computer-assisted proofs, real number algorithms} }
Published in: Dagstuhl Seminar Proceedings, Volume 5391, Algebraic and Numerical Algorithms and Computer-assisted Proofs (2006)
Bruno Buchberger, Christian Jansson, Shin'ichi Oishi, Michael Plum, and Siegfried M. Rump. 05391 Executive Summary – Numerical and Algebraic Algorithms and Computer-assisted Proofs. In Algebraic and Numerical Algorithms and Computer-assisted Proofs. Dagstuhl Seminar Proceedings, Volume 5391, pp. 1-5, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2006)
@InProceedings{buchberger_et_al:DagSemProc.05391.2, author = {Buchberger, Bruno and Jansson, Christian and Oishi, Shin'ichi and Plum, Michael and Rump, Siegfried M.}, title = {{05391 Executive Summary – Numerical and Algebraic Algorithms and Computer-assisted Proofs}}, booktitle = {Algebraic and Numerical Algorithms and Computer-assisted Proofs}, pages = {1--5}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2006}, volume = {5391}, editor = {Bruno Buchberger and Shin'ichi Oishi and Michael Plum and Sigfried M. Rump}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.05391.2}, URN = {urn:nbn:de:0030-drops-4549}, doi = {10.4230/DagSemProc.05391.2}, annote = {Keywords: Self-validating methods, computer algebra, computer-assisted proofs, real number algorithms} }
Published in: Dagstuhl Seminar Proceedings, Volume 5391, Algebraic and Numerical Algorithms and Computer-assisted Proofs (2006)
Philippe Langlois, Stef Graillat, and Nicolas Louvet. Compensated Horner Scheme. In Algebraic and Numerical Algorithms and Computer-assisted Proofs. Dagstuhl Seminar Proceedings, Volume 5391, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2006)
@InProceedings{langlois_et_al:DagSemProc.05391.3, author = {Langlois, Philippe and Graillat, Stef and Louvet, Nicolas}, title = {{Compensated Horner Scheme}}, booktitle = {Algebraic and Numerical Algorithms and Computer-assisted Proofs}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2006}, volume = {5391}, editor = {Bruno Buchberger and Shin'ichi Oishi and Michael Plum and Sigfried M. Rump}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.05391.3}, URN = {urn:nbn:de:0030-drops-4423}, doi = {10.4230/DagSemProc.05391.3}, annote = {Keywords: Polynomial evaluation, Horner scheme, error-free transformation, floating point arithmetic, accuracy} }
Published in: Dagstuhl Seminar Proceedings, Volume 5391, Algebraic and Numerical Algorithms and Computer-assisted Proofs (2006)
Borbála Fazekas, Michael Plum, and Christian Wieners. Enclosure for the Biharmonic Equation. In Algebraic and Numerical Algorithms and Computer-assisted Proofs. Dagstuhl Seminar Proceedings, Volume 5391, pp. 1-5, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2006)
@InProceedings{fazekas_et_al:DagSemProc.05391.4, author = {Fazekas, Borb\'{a}la and Plum, Michael and Wieners, Christian}, title = {{Enclosure for the Biharmonic Equation}}, booktitle = {Algebraic and Numerical Algorithms and Computer-assisted Proofs}, pages = {1--5}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2006}, volume = {5391}, editor = {Bruno Buchberger and Shin'ichi Oishi and Michael Plum and Sigfried M. Rump}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.05391.4}, URN = {urn:nbn:de:0030-drops-4489}, doi = {10.4230/DagSemProc.05391.4}, annote = {Keywords: Biharmonic problem, enclosure, finite elements} }
Published in: Dagstuhl Seminar Proceedings, Volume 5391, Algebraic and Numerical Algorithms and Computer-assisted Proofs (2006)
Wolfram Luther, Gerhard Haßlinger, Ekaterina Auer, Eva Dyllong, Daniela Traczinski, and Holger Traczinski. Integration of reliable algorithms into modeling software. In Algebraic and Numerical Algorithms and Computer-assisted Proofs. Dagstuhl Seminar Proceedings, Volume 5391, pp. 1-17, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2006)
@InProceedings{luther_et_al:DagSemProc.05391.5, author = {Luther, Wolfram and Ha{\ss}linger, Gerhard and Auer, Ekaterina and Dyllong, Eva and Traczinski, Daniela and Traczinski, Holger}, title = {{Integration of reliable algorithms into modeling software}}, booktitle = {Algebraic and Numerical Algorithms and Computer-assisted Proofs}, pages = {1--17}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2006}, volume = {5391}, editor = {Bruno Buchberger and Shin'ichi Oishi and Michael Plum and Sigfried M. Rump}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.05391.5}, URN = {urn:nbn:de:0030-drops-4441}, doi = {10.4230/DagSemProc.05391.5}, annote = {Keywords: Reliable algorithms, stochastic traffic modeling, multibody modeling tools, geometric modeling} }
Published in: Dagstuhl Seminar Proceedings, Volume 5391, Algebraic and Numerical Algorithms and Computer-assisted Proofs (2006)
Christian Keil. Lurupa - Rigorous Error Bounds in Linear Programming. In Algebraic and Numerical Algorithms and Computer-assisted Proofs. Dagstuhl Seminar Proceedings, Volume 5391, pp. 1-11, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2006)
@InProceedings{keil:DagSemProc.05391.6, author = {Keil, Christian}, title = {{Lurupa - Rigorous Error Bounds in Linear Programming}}, booktitle = {Algebraic and Numerical Algorithms and Computer-assisted Proofs}, pages = {1--11}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2006}, volume = {5391}, editor = {Bruno Buchberger and Shin'ichi Oishi and Michael Plum and Sigfried M. Rump}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.05391.6}, URN = {urn:nbn:de:0030-drops-4458}, doi = {10.4230/DagSemProc.05391.6}, annote = {Keywords: Linear programming, rigorous error bounds, netlib, interval arithmetic} }
Published in: Dagstuhl Seminar Proceedings, Volume 5391, Algebraic and Numerical Algorithms and Computer-assisted Proofs (2006)
Christian Jansson. Rigorous Results in Combinatorial Optimization. In Algebraic and Numerical Algorithms and Computer-assisted Proofs. Dagstuhl Seminar Proceedings, Volume 5391, pp. 1-8, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2006)
@InProceedings{jansson:DagSemProc.05391.7, author = {Jansson, Christian}, title = {{Rigorous Results in Combinatorial Optimization}}, booktitle = {Algebraic and Numerical Algorithms and Computer-assisted Proofs}, pages = {1--8}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2006}, volume = {5391}, editor = {Bruno Buchberger and Shin'ichi Oishi and Michael Plum and Sigfried M. Rump}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.05391.7}, URN = {urn:nbn:de:0030-drops-4467}, doi = {10.4230/DagSemProc.05391.7}, annote = {Keywords: Combinatorial Optimization, Semidefinite Programming, Ill-posed Problems, Verification Methods} }
Published in: Dagstuhl Seminar Proceedings, Volume 5391, Algebraic and Numerical Algorithms and Computer-assisted Proofs (2006)
James Demmel, Ioana Dumitriu, and Olga Holtz. Toward accurate polynomial evaluation in rounded arithmetic (short report). In Algebraic and Numerical Algorithms and Computer-assisted Proofs. Dagstuhl Seminar Proceedings, Volume 5391, pp. 1-15, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2006)
@InProceedings{demmel_et_al:DagSemProc.05391.8, author = {Demmel, James and Dumitriu, Ioana and Holtz, Olga}, title = {{Toward accurate polynomial evaluation in rounded arithmetic (short report)}}, booktitle = {Algebraic and Numerical Algorithms and Computer-assisted Proofs}, pages = {1--15}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2006}, volume = {5391}, editor = {Bruno Buchberger and Shin'ichi Oishi and Michael Plum and Sigfried M. Rump}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.05391.8}, URN = {urn:nbn:de:0030-drops-4477}, doi = {10.4230/DagSemProc.05391.8}, annote = {Keywords: Accurate polynomial evaluation, models or rounded arithmetic} }
Published in: Dagstuhl Seminar Proceedings, Volume 5391, Algebraic and Numerical Algorithms and Computer-assisted Proofs (2006)
Götz Alefeld and Zhengyu Wang. Verification of Solutions for Almost Linear Complementarity Problems. In Algebraic and Numerical Algorithms and Computer-assisted Proofs. Dagstuhl Seminar Proceedings, Volume 5391, pp. 1-21, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2006)
@InProceedings{alefeld_et_al:DagSemProc.05391.9, author = {Alefeld, G\"{o}tz and Wang, Zhengyu}, title = {{Verification of Solutions for Almost Linear Complementarity Problems}}, booktitle = {Algebraic and Numerical Algorithms and Computer-assisted Proofs}, pages = {1--21}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2006}, volume = {5391}, editor = {Bruno Buchberger and Shin'ichi Oishi and Michael Plum and Sigfried M. Rump}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.05391.9}, URN = {urn:nbn:de:0030-drops-4431}, doi = {10.4230/DagSemProc.05391.9}, annote = {Keywords: Complementarity problems, verification of solutions} }
Feedback for Dagstuhl Publishing