58 search results - page 2 / 12 » Mechanical Theorem Proving in Computational Geometry |
SAC
2010
ACM
12 years 11 months ago
2010
ACM
In plane elementary geometry, the concept of similar triangles not only forms an important foundation for trigonometry, but it also can be used to solve many geometric problems. T...
ICALP
2004
Springer
13 years 10 months ago
2004
Springer
We consider the multiplicative and exponential fragment of linear logic (MELL) and give a Geometry of Interaction (GoI) semantics for it based on unique decomposition categories. ...
STOC
2007
ACM
14 years 5 months ago
2007
ACM
In this paper we prove tight bounds on the combinatorial and topological complexity of sets defined in terms of n definable sets belonging to some fixed definable family of sets i...
CIE
2010
Springer
13 years 9 months ago
2010
Springer
We introduce a geometric process algebra based on affine geometry, with the aim of describing the concurrent evolution of geometric structures in 3D space. We prove a relativity th...
WADS
2009
Springer
13 years 11 months ago
2009
Springer
Alexandrov’s Theorem states that every metric with the global topology and local geometry required of a convex polyhedron is in fact the intrinsic metric of some convex polyhedro...