A procedure to prove statements in differential geometry

Carra G, Gallo G.
January, 1990
PDF Cite DOI
Publication
JOURNAL OF AUTOMATED REASONING