Injecting Formal Mathematics Into LaTeX.

Dennis Müller Michael Kohlhase

Published in: CICM (2022)

Keyphrases

computer science
formal model
case study
expert systems
mathematical expressions
data sets
neural network
artificial intelligence
social networks
similarity measure
formal specification
mathematical theory
computer algebra
semantically annotated