Appendix F: Examples of existing semantic representations of mathematics 1. The central limit theorem as represented in Isabelle [12]: 2. The definition of a Möbius transformation in Coq [28]:

Source URL: www.wolframfoundation.org

• General topology
• Mathematics
• ACL2
• Lisp
• Compact space
• Automated theorem proving
• Software
• Mathematical logic
• Model theory

The Moutard transformation of two-dimensional Dirac operators and the Mobius geometry Iskander Taimanov Sobolev Institute of Mathematics, Novosibirsk, RUSSIA []

Source URL: tesla.pmf.ni.ac.rs

Review of The theory of Eisenstein systems by M. Scott Osborne and Garth Warner The Laplace-Beltrami operator on the upper half-plane with respect to the hyperbolic metric is ∂2 ∂x2

Source URL: www.sunsite.ubc.ca

• Modular forms
• Selberg trace formula
• Fuchsian group
• Automorphic form
• Cusp form
• Congruence subgroup
• Hecke operator
• Induced representation
• Möbius transformation
• Abstract algebra
• Mathematical analysis
• Mathematics

1 CP -structures and dynamics in moduli space Subhojoy Gupta, Center for Quantum Geometry of Moduli Spaces (QGM), Aarhus. 1

Source URL: projects.au.dk

• Moduli theory
• Homeomorphisms
• Kleinian groups
• Complex analysis
• Teichmüller space
• Holonomy
• Möbius transformation
• Quasiconformal mapping
• Mapping class group
• Geometry
• Mathematical analysis
• Riemann surfaces

Deformations of reducible representations of 3-manifold groups into SL2(C) Michael Heusener, Joan Porti and Eva Su´arez Peir´o Abstract Let M be a 3-manifold with torus boundary which is a rational homology circle. We

Source URL: math.univ-bpclermont.fr

• Differential geometry
• Differential topology
• Tangent space
• Valuation
• Möbius transformation
• Representation theory
• Differential geometry of curves
• Holomorphic functional calculus
• Orbifold
• Geometry
• Abstract algebra
• Mathematical analysis

Regenerating singular hyperbolic structures from Sol Michael Heusener, Joan Porti and Eva Su´arez 1

Source URL: math.univ-bpclermont.fr

• Conformal geometry
• Möbius transformation
• Projective geometry
• Holonomy
• SL2
• Structure
• Covering space
• Orbifold
• Spinor
• Geometry
• Mathematics
• Topology

March 11, :41 WSPC/IJGMMP-J043International Journal of Geometric Methods in Modern Physics Vol. 3, No–199

Source URL: empslocal.ex.ac.uk

• Analytic number theory
• Riemann hypothesis
• Riemann zeta function
• Möbius transformation
• Orbifold
• Mathematical analysis
• Geometry
• Mathematics

IEEE TRANSACTIONS ON IMAGE PROCESSING, VOL. 6, NO. 9, SEPTEMBER[removed]Video Orbits of the Projective Group: A Simple Approach to Featureless Estimation of Parameters

Source URL: www.wearcam.org

• Motion estimation
• Cartesian coordinate system
• Projective linear group
• Collineation
• Möbius transformation
• Homography
• 3D Reconstruction from multiple images
• Geometry
• Projective geometry
• Optical flow

DOC Document

Source URL: www.gresham.ac.uk

• Surfaces
• Geometric topology
• Möbius strip
• Klein bottle
• August Ferdinand Möbius
• Möbius transformation
• Orientability
• 2-sided
• Torus
• Geometry
• Mathematics
• Topology

IEEE TRANSACTIONS ON IMAGE PROCESSING, VOL. 6, NO. 9, SEPTEMBER[removed]Video Orbits of the Projective Group: A Simple Approach to Featureless Estimation of Parameters

Source URL: www.eyetap.org

• Motion estimation
• Cartesian coordinate system
• Projective linear group
• Collineation
• Möbius transformation
• Homography
• 3D Reconstruction from multiple images
• Geometry
• Projective geometry
• Optical flow