Login / Signup
The operator formula for monotone triangles - simplified proof and three generalizations.
Ilse Fischer
Published in:
J. Comb. Theory, Ser. A (2010)
Keyphrases
</>
upper bound
theorem prover
theorem proving
data sets
neural network
delaunay triangulation
linear logic