Resolution over Linear Equations and Multilinear Proofs.

Ran Raz Iddo Tzameret

Published in: Electron. Colloquium Comput. Complex. (2007)

Keyphrases

linear equations
higher order
high resolution
theorem proving
linear systems
complex valued
low resolution
rows and columns
real time
genetic algorithm
state space
principal component analysis
high order
theorem prover