Thesis (Ph. D.)--School of Mathematics and Statistics, Faculty of Science, University of Sydney, 2005. / Bibliography: p. 89-91.

Thesis (Ph. D.)--University of Sydney, 2005. / Title from title screen (viewed 22 May 2008). Submitted in fulfilment of the requirements for the degree of Doctor of Philosophy to the School of Mathematics and Statistics, Faculty of Science. Includes bibliographical references. Also available in print form.

Thesis (Ph. D.)--University of Texas at Austin, 2007. / Vita. Includes bibliographical references.

Differential geometry is deceptively simple. It is surprisingly easyto get the right answer with unclear and informal symbol manipulation.To address this problem we use computer programs to communicate aprecise understanding of the computations in differential geometry.Expressing the methods of differential geometry in a computer languageforces them to be unambiguous and computationally effective. The taskof formulating a method as a computer-executable program and debuggingthat program is a powerful exercise in the learning process. Also,once formalized procedurally, a mathematical idea becomes a tool thatcan be used directly to compute results.

Thesis (Ph.D.)--Mathematics, Georgia Institute of Technology, 2008. / Committee Chair: Bellissard, Jean; Committee Member: Baker, Matt; Committee Member: Bakhtin, Yuri; Committee Member: Garoufalidis, Stavros; Committee Member: Putnam, Ian

Thesis (Ph. D.)--Duke University, 2007. / Includes bibliographical references.

In this work we present the proofs of the Laplacian comparison theorems for Kähler manifolds Mm of complex dimension m with holomorphic bisectional curvature bounded from below by −1, 1, and 0. The manifolds being compared are the complex hyperbolic space CHm, the complex projective space CPm, and the complex Euclidean space Cm, which holomorphic bisectional curvatures are −1, 1, and 0, respectively. Moreover, as applications of the Laplacian comparison theorems, we describe the proof of the Bishop- Gromov comparison theorem for Kähler manifolds and obtain an estimate for the first eigenvalue λ1(M) of the Laplacian operator, that is, λ1(M) ≤ m2 = λ1(CHm), and show that the volume of Kähler manifolds with holomorphic bisectional curvature bounded from below by 1 is bounded by the volume of CPm. The results cited above have been proved in 2005 by Li and Wang, in an article Comparison theorem for Kähler Manifolds and Positivity of Spectrum , published in the Journal of Differential Geometry. / Conselho Nacional de Desenvolvimento Científico e Tecnológico / Nesta dissertação, apresentamos as demonstrações dos teoremas de comparação do Laplaciano para variedades Kähler completas Mm de dimensão complexa m com curvatura bisseccional holomorfa limitada inferiormente por −1, 1 e 0. As variedades a serem comparadas são o espaço hiperbólico complexo CHm, o espaço projetivo complexo CPm e o espaço Euclidiano complexo Cm, cujas curvaturas bisseccionais holomorfas são −1, 1 e 0, respectivamente. Além disso, como aplicação dos teoremas de comparação do Laplaciano, descrevemos a prova do Teorema de Comparação de Bishop-Gromov para variedades Kähler; obtemos uma estimativa para o primeiro autovalor λ1(M) do Laplaciano, isto é, λ1(M) ≤ m2 = λ1(CHm); e mostramos que o volume de variedades Kähler, com curvatura bisseccional limitada inferiormente por 1, é limitado pelo volume de CPm. Os resultados citados acima foram provados em 2005 por Li e Wang no artigo Comparison Theorem for Kähler Manifolds and Positivity of Spectrum , publicado no Journal of Differential Geometry.