Sketch-as-proof? Norbert Preining?? University of Technology, Vienna, Austria Abstract. This paper presents an extension of Gentzen’s LK, called LPG K, which is suitable for expressing projective geometry and for deduc

Source URL: www.preining.info

• Geometry
• Projective geometry
• Euclidean plane geometry
• Incidence geometry
• Algebraic geometry
• Projective plane
• Symbol

From Algebra to Geometry: A Hyperbolic Odyssey The construction of geometric cone-manifold structures with prescribed holonomy Daniel Virgil Mathews

Source URL: www.danielmathews.info

• Geometry
• Space
• Mathematics
• Hyperbolic geometry
• Lie groups
• Projective geometry
• Riemann surfaces
• Kleinian groups
• Mbius transformation
• Differential geometry of surfaces
• SL2
• Manifold

Enhancing the Updatability of Projective Views (Extended Abstract) Paolo Guagliardo1 , Reinhard Pichler2 , and Emanuel Sallinger2 1

Source URL: ceur-ws.org

Hyperbolic cone-manifold structures with prescribed holonomy II: higher genus Daniel V. Mathews Abstract We consider the relationship between hyperbolic cone-manifold structures on surfaces, and algebraic representations

Source URL: www.danielmathews.info

• Geometry
• Mathematics
• Space
• Differential geometry
• Differential topology
• Group theory
• Lie groups
• Projective geometry
• Holonomy
• Representation theory
• Differential geometry of surfaces
• Manifold

Transforming Projective Bilexical Dependency Grammars into efficiently-parsable CFGs with Unfold-Fold Mark Johnson Microsoft Research

Source URL: web.science.mq.edu.au

Lecture 8: the projective camera and planar projection Dr. Richard E. Turner () November 3, 2013 House keeping

Source URL: learning.eng.cam.ac.uk

Algebra and geometry through projective spaces Problems on birational geometry due: Friday, June 12 Problem 1. Let f : Pn 99K Pn be a rational map given by f (x0 : · · · : xn ) = (y0 :

Source URL: www.math.kth.se

Title: Morita conjecture on projective integral models of Shimura varieties of Hodge type Abstract: Let A be an abelian variety over a number field. Let G be the Mumford–Tate group of some extension AC of A to the fiel

Source URL: www.math.columbia.edu

Robot Motion, Ablex Publishing Corporation, Norwood, New Jersey, St91] Stolfi, J., Oriented Projective Geometry: A Framework for Geometric Computations, Academic Press, Inc., San Diego, 1991.

Source URL: www-cgrl.cs.mcgill.ca

“Dimension projective finie et cohomologie locale, Publ. Math. I.H.E.S), 47–119., C. Peskine and L. Szpiro Caveat This is a (very) rough translation of the article. Kindly reserve it for personal use.

Source URL: www.math.unl.edu