A bijective proof of the Shor recurrence.

Victor J. W. Guo

Published in: Eur. J. Comb. (2018)

Keyphrases

theorem prover
theorem proving
image sequences
proof planning
neural network
image segmentation
objective function
computational complexity
digital libraries
inference rules
linear logic
automated theorem proving
natural deduction