) and Computer-Assisted Proof Schemes in the Kontsevich Deformation Quantization.

R. Buring A. V. Kiselev

Published in: Exp. Math. (2022)

Keyphrases

computer assisted
computer aided
foreign language
quantization scheme
intraoperative
computational complexity
image registration
theorem proving
machine learning
finite element model
finite element method
project based learning