Login / Signup
Saddle-Type Blow-Up Solutions with Computer-Assisted Proofs: Validation and Extraction of Global Nature.
Jean-Philippe Lessard
Kaname Matsue
Akitoshi Takayasu
Published in:
J. Nonlinear Sci. (2023)
Keyphrases
</>
computer assisted
computer aided
intraoperative
foreign language
automatic extraction
genetic algorithm
optimal solution
information extraction
theorem proving
e learning
image processing
benchmark problems
theorem prover
computer assisted instruction
grade students