- Title
- CAT(0) is an algorithmic property
- Creator
- Elder, Murray; McCammond, Jon
- Relation
- Geometriae Dedicata Vol. 107, Issue 1, p. 25-46
- Publisher Link
- http://dx.doi.org/10.1023/B:GEOM.0000049096.63639.e3
- Publisher
- Springer
- Resource Type
- journal article
- Date
- 2004
- Description
- In this article we give an explicit algorithm which will determine, in a discrete and computable way, whether a finite piecewise Euclidean complex is nonpositively curved. In particular, given such a complex we show how to define a boolean combination of polynomial equations and inequalities in real variables, i.e. a real semi-algebraic set, which is empty if and only if the complex is nonpositively curved. Once this equivalence has been shown, the main result follows from a standard theorem in real algebraic geometry.
- Subject
- non-positive curvature; CAT(0); decidability
- Identifier
- http://hdl.handle.net/1959.13/930963
- Identifier
- uon:10968
- Identifier
- ISSN:0046-5755
- Rights
- The final publication is available at www.springerlink.com
- Language
- eng
- Full Text
- Reviewed
- Hits: 1123
- Visitors: 1423
- Downloads: 191
Thumbnail | File | Description | Size | Format | |||
---|---|---|---|---|---|---|---|
View Details Download | ATTACHMENT02 | Author final version | 214 KB | Adobe Acrobat PDF | View Details Download |