Login / Signup
Computer-assisted proofs - tools, methods and applications
2009
2009
2009
Keyphrases
Publications
2009
B. Malcolm Brown
,
Erich Kaltofen
,
Shin'ichi Oishi
,
Siegfried M. Rump
09471 Abstracts Collection - Computer-assisted proofs - tools, methods and applications.
Computer-assisted proofs - tools, methods and applications
(2009)
B. Malcolm Brown
,
Erich Kaltofen
,
Shin'ichi Oishi
,
Siegfried M. Rump
09471 Executive Summary - Computer-assisted proofs - tools, methods and applications.
Computer-assisted proofs - tools, methods and applications
(2009)
Andreas Rauh
,
Ekaterina Auer
Interval Approaches to Reliable Control of Dynamical Systems.
Computer-assisted proofs - tools, methods and applications
(2009)
Ekaterina Auer
,
Roger Cuypers
,
Eva Dyllong
,
Stefan Kiel
,
Wolfram Luther
Verification and Validation for Femur Prosthesis Surgery.
Computer-assisted proofs - tools, methods and applications
(2009)
volume 9471, 2009
Computer-assisted proofs - tools, methods and applications, 15.11. - 20.11.2009
Computer-assisted proofs - tools, methods and applications
9471 (2009)