Login / Signup
Computer-assisted existence proofs for two-point boundary value problems.
Michael Plum
Published in:
Computing (1991)
Keyphrases
</>
computer assisted
computer aided
intraoperative
computer vision
pattern recognition
lower bound
np complete