Towards computer-assisted proofs of parametric Andrews-Curtis simplifications, II.

Published in: LPAR Complementary Volume (2024)

Keyphrases

computer assisted
computer aided
intraoperative
foreign language
parametric models
theorem prover
theorem proving
neural network
machine learning
open ended
vocabulary learning
surgical training