Cover von Computer-assisted proofs opens in new tab

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
available

Copies

ShelfmarkLocation 2Location 3Status
Shelfmark: Location 2: ELECTRONIC EDITION Location 3: Status: reference collection

Details

Search for this author
Year: 2009
Publisher: Wadern, LZI
Works included: Dagstuhl Seminar 09471
opens in new tab
Search for this systematic
Search for this subject type
Series: Dagstuhl Seminar Proceedings; 09471
Participating parties: Search for this character Brown, Malcolm B.; Kaltofen, Erich L.; Oishi, Shin'ichi; Rump, Siegfried M.
Media group: DAGSTUHL-SEMINAR-PRO