Login / Signup
05391 Abstracts Collection - Algebraic and Numerical Algorithms and Computer-assisted Proofs.
Bruno Buchberger
Shin'ichi Oishi
Michael Plum
Siegfried M. Rump
Published in:
Algebraic and Numerical Algorithms and Computer-assisted Proofs (2005)
Keyphrases
</>
computer assisted
numerical algorithms
partial differential equations
computer aided
intraoperative
theorem prover
foreign language
machine learning
image processing
image features
level set
image recovery