search result

Cover von Computer-assisted proofs
tools, methods and applications
Search for this author
Year: 2009
Publisher: Wadern, LZI
Series: Dagstuhl Seminar Proceedings; 09471
Media group: DAGSTUHL-SEMINAR-PRO
Cover von Algebraic and numerical algorithms and computer-assisted proofs
Search for this author
Year: 2005
Publisher: Wadern-Dagstuhl, IBFI
Series: Dagstuhl Seminar Proceedings; 05391
Media group: DAGSTUHL-SEMINAR-PRO
OPEN V 11.1.0.0