Login / Signup
Loops with Abelian Inner Mapping Groups: An Application of Automated Deduction.
Michael K. Kinyon
Robert Veroff
Petr Vojtechovský
Published in:
Automated Reasoning and Mathematics (2013)
Keyphrases
</>
automated deduction
theorem proving
theorem prover
logic programming
inference rules
deductive databases
artificial intelligence
neural network
data mining
computer vision
training data
expert systems
general purpose
cluster analysis