Resolution over linear equations and multilinear proofs.

Ran Raz Iddo Tzameret

Published in: Ann. Pure Appl. Log. (2008)

Keyphrases

linear equations
linear systems
higher order
theorem proving
complex valued
gauss seidel method
high resolution
low resolution
equational theories
optimal solution
principal component analysis
sufficient conditions
high order
neural network model
natural deduction
tensor decomposition