A Counting Proof for When 2 Is a Quadratic Residue.

Karthik Chandrasekhar Richard Ehrenborg Frits Beukers

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

Keyphrases

objective function
computational complexity
theorem proving
pairwise
geometry theorem proving
data sets
linear logic
mathematical proofs
database
information retrieval
artificial intelligence
multiscale
theorem prover
spline interpolation
proof planning
taylor series expansion