Deranged Matchings: Proofs and Conjectures.

Daniel Johnston P. Mark Kayll Cory Palmer

Published in: Am. Math. Mon. (2024)

Keyphrases

theorem prover
theorem proving
formal proof
inference rules
natural deduction
computer algebra
automated theorem proving
mathematical proofs
formal proofs
first order logic
inductive inference
decision procedures
data structure
learning algorithm
neural network
objective function
reinforcement learning