Login / Signup

Bijective proofs of recurrences involving two Schröder triangles.

Shishuo FuYaling 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