Login / Signup
Proof of a conjecture on Hankel determinants for Dyck paths with restricted peak heights.
Guoce Xin
Zihao Zhang
Published in:
Discret. Math. (2022)
Keyphrases
</>
shortest path
theorem proving
theorem prover
linear logic
real time
neural network
computer vision
optimal path