The hyperbolic meaning of the Milnor–Wood inequality Daniel V. Mathews Abstract We introduce a notion of the twist of an isometry of the hyperbolic plane. This twist function is defined on the universal covering group

Source URL: www.danielmathews.info

• Geometry
• Mathematics
• Space
• Lemmas
• Lie groups
• Convex analysis
• Convex cone
• Linear algebra
• Differential geometry of surfaces
• Closed and exact differential forms
• Mbius transformation
• Constructible universe

Harmonious Logic: Craig’s Interpolation Theorem and its Descendants ……… Solomon Feferman Stanford University

Source URL: math.stanford.edu

• Lemmas
• Craig interpolation
• Mathematical logic
• Symbol
• Model theory
• Phi
• Abstraction

0 (k(p) ) The structure of k(p) Product

Source URL: sarah-whitehouse.staff.shef.ac.uk

• Mathematics
• Discrete mathematics
• Abstract algebra
• Number theory
• Modular arithmetic
• Quadratic residue
• Permutations
• Lemmas

MULTI-PARAMETER DIV-CURL LEMMAS MICHAEL T. LACEY‡ , STEFANIE PETERMICHL, JILL C. PIPHER† , AND BRETT D. WICK∗ Abstract. We study the possible analogous of the Div-Curl Lemma in classical harmonic analysis and parti

Source URL: www.math.brown.edu

General Hardness Amplification of Predicates and Puzzles Thomas Holenstein Grant Schoenebeck

Source URL: www.complexity.ethz.ch

• Lemmas
• Mathematical logic

· Combinators for Bi-Directional Tree Transformations App–1

Source URL: www.cis.upenn.edu

• Mathematical analysis
• Mathematics
• Operator theory
• Harmonic analysis
• Partial differential equations
• Complex analysis
• Five lemma
• Lemmas
• Combinatory logic
• Differential forms on a Riemann surface
• Sobolev spaces for planar domains

Quati: An Automated Tool for Proving Permutation Lemmas Vivek Nigam1 , Giselle Reis2 , and Leonardo Lima1 1 2

Source URL: www.nigam.info

SOLVING ONE-VARIABLE EQUATIONS IN FREE GROUPS DIMITRI BORMOTOV ROBERT GILMAN ALEXEI MYASNIKOV Abstract. Equations in free groups have become prominent recently in connection with the solution to the well known Tarski Con

Source URL: www.math.stevens.edu

• Lemmas
• FeynmanKac formula

Cut elimination for Zermelo set theory: Proof of 53 easy lemmas Gilles Dowek1 and Alexandre Miquel2 1 ´ Ecole polytechnique and INRIA ´

Source URL: who.rocq.inria.fr

Selection Lemmas for various geometric objectsI Pradeesha Ashok, Sathish Govindarajan, Ninad Rajgopal Dept. of Computer Science and Automation, Indian Institute of Science, Bangalore, India Abstract

Source URL: drona.csa.iisc.ernet.in