CAT(0) is an algorithmic property

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

		Thumbnail	File	Description	Size	Format
View Details Download			ATTACHMENT02	Author final version	214 KB	Adobe Acrobat PDF	View Details Download