Login / Signup
Numerical Computations and Computer Assisted Proofs of Periodic Orbits of the Kuramoto-Sivashinsky Equation.
Jordi-Lluís Figueras
Rafael de la Llave
Published in:
SIAM J. Appl. Dyn. Syst. (2017)
Keyphrases
</>
computer assisted
dynamical systems
computer aided
intraoperative
theorem proving
differential equations
theorem prover
foreign language
mathematical proofs
computer assisted instruction
hamilton jacobi
equational theories
machine learning
three dimensional
formal proof
total knee replacement