Proof of Dilks' bijectivity conjecture on Baxter permutations.

Zhicong Lin Jing Liu

Published in: J. Comb. Theory, Ser. A (2023)

Keyphrases

theorem prover
theorem proving
linear logic
data sets
knowledge base
information systems
face recognition
multiscale
hidden markov models
wireless sensor networks
probability distribution
proof planning
formal proof