VyZX : A Vision for Verifying the ZX Calculus.

Adrian Lehmann Ben Caldwell Robert Rand

Published in: CoRR (2022)

Keyphrases

computer vision
real time
vision system
active vision
data sets
data mining
model checking
computational vision
genetic algorithm
search engine
image processing
three dimensional
mobile robot
visual field
sequent calculus