• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

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