Computer-assisted proofs of Hopf bubbles and degenerate Hopf bifurcations.

Kevin Church Elena Queirolo

Published in: CoRR (2022)

Keyphrases

computer assisted
computer aided
intraoperative
foreign language
data sets
statistically significant
computer assisted instruction
vocabulary learning
computer vision
theorem proving