Login / Signup
09471 Abstracts Collection - Computer-assisted proofs - tools, methods and applications.
B. Malcolm Brown
Erich Kaltofen
Shin'ichi Oishi
Siegfried M. Rump
Published in:
Computer-assisted proofs - tools, methods and applications (2009)
Keyphrases
</>
computer assisted
significant improvement
computer aided
digital libraries
statistical methods
search engine
intraoperative
foreign language