We consider the solution of large-scale Lyapunov and Stein equations. For Stein equations, the well-known Smith method will be adapted, with A_k = A^{2^k} not explicitly computed but in the recursive form A_k = A^{2^k}, and the fast growing but diminishing components in the approximate solutions truncated. Lyapunov equations will be first treated with the Cayley transform before the Smith method is applied. For algebraic equations with numerically low-ranked solutions of dimension <i>n</i>, the resulting algorithms are of an efficient <i>O</i>(<i>n</i>) computational complexity and memory requirement per iteration and converge essentially quadratically. An application in the estimation of a lower bound of the condition number for continuous-time algebraic Riccati equations is presented, as well as some numerical results.

3D surface classification is a fundamental problem in computer vision and computational geometry. Surfaces can be classified by different transformation groups. Traditional classification methods mainly use topological transformation groups and Euclidean transformation groups. This paper introduces a novel method to classify surfaces by conformal transformation groups. Conformal equivalent class is refiner than topological equivalent class and coarser than isometric equivalent class, making it suitable for practical classification purposes. For general surfaces, the gradient fields of conformal maps form a vector space, which has a natural structure invariant under conformal transformations. We present an algorithm to compute this conformal structure, which can be represented as matrices, and use it to classify surfaces. The result is intrinsic to the geometry, invariant to triangulation and insensitive to resolution. To the best of our knowledge, this is the first paper to classify surfaces with arbitrary topologies by global conformal invariants. The method introduced here can also be used for surface matching problems.

Submission of a manuscript implies: that the work described has not been published before (except in the form of an abstract or as part of a published lecture, review, or thesis); that it is not under consideration for publication elsewhere; that its publication has been approved by all coauthors, if any, as well as by the responsible authorities at the institute where the work has been carried out; that, if and when the manuscript is accepted for publication, the authors agree to automatic transfer of the copyright to the publisher; and that the manuscript will not be published elsewhere in any language without the consent of the copyright holders.

We prove theorems on the structure of the fundamental group of a compact riemannian manifold of non-positive curvature. In particular, a conjecture of J. Wolf [<i>J. Differential Geometry</i>, 2, 421-446 (1968)] is proved.

The chapter discusses the group actions on R³. The Smith conjecture has many equivalent forms, and each of these forms has various consequences and generalizations. The Smith conjecture is a structure theorem about symmetries of the product of a compact surface with an interval. Here the interval may be closed or open. The usual Smith conjecture is equivalent to proving the smooth <i>Z_n</i> actions on <i>S</i>² [0, 1] are conjugate to actions that preserve the product structure. This generalized Smith conjecture represents the belief that all the symmetries of the product of a compact surface with an interval actually arise from the symmetries of the surface extended trivially to the product structure. The chapter presents how to apply minimal surfaces to study the generalized Smith conjecture on <i>S</i>² <i>I</i>, where <i>I</i> is an open or closed interval. A geodesic version of the loop theorem and a new equivariant