A Short Proof of Shih's Isomorphism Theorem on Graphic Subspaces.

Zouhaier Ferchiou Bertrand Guenin

Published in: Comb. (2020)

Keyphrases

interactive theorem proving
high dimensional
high dimensional data
linear logic
theorem proving
lower dimensional
database
genetic algorithm
image sequences
arbitrarily oriented
graph search
von neumann
subgraph isomorphism
mutual subspace method