A Proof of Dixon's Identity.

Published in: J. Integer Seq. (2016)

Keyphrases

theorem proving
neural network
information systems
website
decision trees
proof planning
database
data sets
artificial intelligence
metadata
expert systems
probabilistic model
linear logic
logical rules