A proof of the fermionic theta coinvariant conjecture.

Alessandro Iraci Brendon Rhoades Marino Romero

Published in: Discret. Math. (2023)

Keyphrases

worst case
theorem prover
theorem proving
database
linear logic
cooperative
neural network
search engine
information systems
decision making
proof theory
formal proof