Login / Signup
Bijective proofs of recurrences involving two Schröder triangles.
Shishuo Fu
Yaling Wang
Published in:
Eur. J. Comb. (2020)
Keyphrases
</>
theorem proving
decision procedures
delaunay triangulation
computer vision
data structure
theorem prover
natural deduction
hamilton jacobi
formal proofs