Login / Signup
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