Penn dissertations Mathematics Computer and information science Computer science Computer and Information Science Geometry Engineering design Geometry, Differential Lie groups Number theory Algebraic topology Computer vision Topological groups Algebraic Topology Automatic theorem proving Computational Mathematics and Numerical Analysis Computer mathematics Differential Geometry Differential geometry Logic, Symbolic and mathematical Manifolds and Cell Complexes (incl. Diff.Topology) Mechanical Engineering and Applied Mechanics Topological Groups, Lie Groups Topological algebras Topology Aerospace engineering Algebra Algebras, Linear Applications of Mathematics Applied mathematics