A New Bijective Proof of Babson and Steingrímsson's Conjecture.

Joanna N. Chen Shouxiao Li

Published in: Electron. J. Comb. (2017)

Keyphrases

theorem prover
theorem proving
data sets
information systems
mathematical proofs
image processing
case study
database systems
management system
imperative programs