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