Login / Signup
Formalising Sylow's theorems in Coq
Laurent Théry
Published in:
CoRR (2006)
Keyphrases
</>
formal methods
theorem prover
data mining
computational complexity
neural network
computer vision
decision trees
training data
high quality
reinforcement learning
high dimensional
image analysis
query processing
knowledge discovery
digital topology