Mathematicians writing for mathematicians.

Line Edslev Andersen Mikkel Willum Johansen Henrik Kragh Sørensen

Published in: Synth. (2021)

Keyphrases

computer scientists
applied mathematics
automated theorem provers
information systems
natural language
probability distribution
real time
data sets
data mining
information retrieval
decision making
knowledge base
case study
image sequences
hidden markov models
computer algebra