Login / Signup
A local injective proof of log-concavity for increasing spanning forests.
Abdelmalek Abdesselam
Published in:
Discret. Math. (2023)
Keyphrases
</>
databases
image segmentation
theorem proving
linear logic
learning environment
theorem prover