Towards a Unified Treatment of Induction, I: The General Recursion Theorem Paul Taylor 1995–6 Abstract The recursive construction of a function f : A → Θ consists, paradigmatically, of finding

Source URL: www.paultaylor.eu

• Category theory
• Functional programming
• Algebras
• Boolean algebra
• F-algebra
• Functor
• Algebraic structure
• Ordinal number
• F-coalgebra
• Adjoint functors
• Constructible universe
• Free algebra

HOPF RINGS IN ALGEBRAIC TOPOLOGY W. STEPHEN WILSON Abstract. These are colloquium style lecture notes about Hopf rings in algebraic topology. They were designed for use by non-topologists and graduate students but have b

Source URL: www.math.jhu.edu

• Homotopy theory
• Algebraic topology
• Hopf algebras
• Representation theory
• Steenrod algebra
• Cohomology
• H-space
• Coalgebra
• F-algebra
• StiefelWhitney class
• Ring
• Algebraic structure

WORLDLINES FOR THE QUANTUM PARTICLE Edwin F. Taylor July 2000 I. The Boundary Between Classical And Quantum Mechanics The first part of the following exercises investigates the QUANTUM motion of a FREE

Source URL: www.eftaylor.com

• Quantum field theory
• Quantum mechanics
• Theory of relativity
• Classical mechanics
• Electron
• Introduction to quantum mechanics
• Path integral formulation
• World line
• Measuring instrument

J. Fluid Mech), vol. 755, R3, doi:jfmAddendum to ‘Coherent Lagrangian vortices: the black holes of turbulence’ G. Haller1, † and F. J. Beron-Vera2 1 Institute of Mechanical Systems, ETH Zu

Source URL: georgehaller.com

• Theory of relativity
• Geodesic
• Spacetime
• Photon
• General relativity
• Differential geometry of surfaces

Robust Endogenous Growth Pietro F. Peretto Department of Economics, Duke University January 18, 2016 Abstract

Source URL: public.econ.duke.edu

• Economic growth
• Endogenous growth theory
• Economics

GLOBALLY OPTIMAL SOLUTION TO EXPLOIT RIGIDITY WHEN RECOVERING STRUCTURE FROM MOTION UNDER OCCLUSION Pedro M. Q. Aguiar, Jo˜ao M. F. Xavier, Marko Stoˇ si´ c Institute for Systems and Robotics / IST, Lisboa, Portugal

Source URL: users.isr.ist.utl.pt

• Matrix theory
• Linear algebra
• Matrix completion
• Matrix
• Singular value decomposition
• Structure from motion
• Eigenvalues and eigenvectors
• Rank
• Determinant
• TomasiKanade factorization

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

MOONSHINE JOHN F. R. DUNCAN, MICHAEL J. GRIFFIN AND KEN ONO Abstract. Monstrous moonshine relates distinguished modular functions to the representation theory of the Monster M. The celebrated observations that (*) 1 = 1

Source URL: web.math.princeton.edu

J. Fluid Mech), vol. 731, R4, doi:jfmCoherent Lagrangian vortices: the black holes of turbulence G. Haller1 and F. J. Beron-Vera2 , † 1 Institute for Mechanical Systems, ETH Zurich, 8092 Zuric

Source URL: georgehaller.com

• Fluid dynamics
• Aerodynamics
• Chaos theory
• Turbulence
• Vortices
• Lagrangian coherent structure
• Eddy
• Vortex
• Lagrangian
• Photon
• Coherent turbulent structure

The Width of the Confining String in Yang-Mills Theory F. Gliozzia , M. Pepeb , and U.-J. Wiesec a arXiv:1002.4888v2 [hep-lat] 23 Jun 2010

Source URL: www.wiese.itp.unibe.ch