Formalization and Implementation of Algebraic Methods in Geometry
Electronic Proceedings in Theoretical Computer Science, EPTCS - United States
doi 10.4204/eptcs.79.4
Full Text
Open PDFAbstract
Available in full text
Categories
Date
February 21, 2012
Authors
Publisher
Open Publishing Association