Vladimir Gerdt: A Computer Algebra Enthusiast.

Bruno Buchberger

Published in: Math. Comput. Sci. (2022)

Keyphrases

computer algebra
theorem prover
computer algebra systems
automated theorem provers
artificial intelligence
theorem proving
knowledge base
training data
supervised learning
modal logic