A Completion Procedure for Conditional Equations.

Harald Ganzinger

Published in: CTRS (1987)

Keyphrases

databases
database
data sets
mathematical model
differential equations
numerical solution
iterative procedure
knuth bendix
data mining
face recognition
closed form
linear equations