What Are Alternatives To Euclidean Geometry And What Effective Software Are They Using?