Point-and-Write - Documenting Formal Mathematics by Reference.

Carst Tankink Christoph Lange Josef Urban

Published in: AISC/MKM/Calculemus (2012)

Keyphrases

formal model
real time
machine learning
computer science
database
neural network
search engine
model checking
read write
computer algebra