Combinatorial proofs of two truncated theta series theorems.

Cristina M. Ballantine Mircea Merca Donny Passary Ae Ja Yee

Published in: J. Comb. Theory, Ser. A (2018)

Keyphrases

cut elimination
sequent calculus
theorem proving
equational theories
artificial intelligence
proof search
theorem prover
worst case
mathematical proofs
formal proof
database
probabilistic model
machine learning
modal logic
np hard
information technology
image sequences
website
image processing