Login / Signup
Dependencies in Formal Mathematics
Jesse Alama
Lionel Mamane
Josef Urban
Published in:
CoRR (2011)
Keyphrases
</>
computer science
formal model
real time
dependency analysis
data sets
databases
machine learning
information retrieval
computer vision
expert systems
formal models
computer algebra
dependency graphs