A geometric characterization of unstable blow-up solutions with computer-assisted proof.

Jean-Philippe Lessard Kaname Matsue Akitoshi Takayasu

Published in: CoRR (2021)

Keyphrases

computer assisted
computer aided
intraoperative
foreign language
geometry theorem proving
optimal solution
geometric constraints
geometric structure
surgical training
neural network
total knee replacement