Back to Results
First PageMeta Content
Elementary geometry / Surfaces / Euclidean geometry / Axiom / Plane / Line / Mathematical logic / Space / Synthetic geometry / Geometry / Mathematics / Formal systems


CCCG 2006, Kingston, Ontario, August 14–16, 2006 Computational Euclid M.H. van Emden We analyse the axioms of Euclidean geometry according
Add to Reading List

Document Date: 2008-10-27 22:59:28

Open Document

File Size: 259,62 KB

Share Result on Facebook

City

Kingston / /

Company

World Scientific / Prentice-Hall / Open Court Publishing / Puget / Designing Object-Oriented Software / /

Country

Canada / Singapore / /

/

Facility

University of Victoria / /

IndustryTerm

geometric computing paradigm / object-oriented software development methodology / geometric computing / object-oriented software / semi-decision algorithms / propagation algorithms / semi-decision algorithm / propagation algorithm / /

Organization

London Mathematical Society / University of Victoria / Department of Computer Science / Natural Science and Engineering Research Council of Canada / /

Person

Sylvain Pion / Elias Wakan / Philippe Guigue / Oliver Aberth / David Hilbert / Olivier Devillers / J. Figwer / Brian Wilkerson / Lauren Wiener / Jean-Franc / Rebecca Wirfs-Brock / /

Position

Editor / artist / /

ProgrammingLanguage

POV-Ray / C++ / /

ProvinceOrState

Manitoba / Ontario / Victoria / /

PublishedMedium

Journal of the ACM / Lecture Notes in Computer Science / /

Technology

propagation algorithms / Propagation algorithm / semi-decision algorithm / semi-decision algorithms / /

URL

http /

SocialTag