Login / Signup
A combinatorial proof of Gotzmann's persistence theorem for monomial ideals.
Satoshi Murai
Published in:
Eur. J. Comb. (2008)
Keyphrases
</>
interactive theorem proving
linear logic
theorem proving
neural network
intuitionistic logic
partial order
partially ordered
von neumann
mathematical proofs
real world
information retrieval
information systems
knowledge base
logical rules
proof theoretic