A new proof of the Gasca-Maeztu conjecture for n=4.

Hakop A. Hakopian Kurt Jetter Georg Zimmermann

Published in: J. Approx. Theory (2009)

Keyphrases

theorem proving
data sets
theorem prover
proof planning
real time
machine learning
three dimensional
proof theory