Descent-Cycling in Schubert Calculus.

Published in: Exp. Math. (2001)

Keyphrases

simplex method
case study
algebraic structure
multi agent
data model
knowledge representation
proof procedure
natural deduction
sequent calculus
database query languages