C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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