Computational Synthetic Geometry
- 180 stránok
- 7 hodin čítania
Besides such complexity theorems a variety of symbolic algorithms are discussed, and the methods are applied to obtain new mathematical results on convex polytopes, projective configurations and the combinatorics of Grassmann varieties.
