A New Constructive Proof of the Malgrange-Ehrenpreis Theorem.

Published in: Am. Math. Mon. (2009)

Keyphrases

interactive theorem proving
theorem prover
von neumann
proof planning
geometry theorem proving
data mining
genetic algorithm
decision making
special case
logic programs
steady state
logical rules