Towards a Heterogeneous Query Language for Mathematical Knowledge.

Katja Bercic Michael Kohlhase Florian Rabe

Published in: CICM (2020)

Keyphrases

mathematical knowledge
query language
computer software
data model
theorem prover
theorem proving
database
query evaluation
object oriented
probabilistic model