| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 438863 | Theoretical Computer Science | 2012 | 16 Pages |
Abstract
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 theorem stating that algebraic equations are invariant under rigid body transformations.
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics
