Probabilistic verification of elementary geometry statements

Ferro G C, GALLO G., Gennaro R

January, 1997

Publication

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)