A procedure to prove geometrical statements

Carra' G, GALLO G.

January, 1987

Publication

Proceedings of the 5th international conference, AAECC-5 on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes