Category:Technical pages
Pages carrying the mathematics of a subject. Each names its plain-language counterpart with Template:Plebeian. Membership is set by that template, not by hand.
Pages in category "Technical pages"
The following 51 pages are in this category, out of 51 total.
H
- Hamilton's principle/Applications/Classical field theory
- Hamilton's principle/Applications/The Einstein-Hilbert action
- Hamilton's principle/Applications/The electromagnetic Lagrangian
- Hamilton's principle/Applications/The Feynman path integral
- Hamilton's principle/Applications/The optical-mechanical analogy
- Hamilton's principle/Mathematics/Abbreviated action: Maupertuis versus Hamilton
- Hamilton's principle/Mathematics/Action as a function of its endpoints
- Hamilton's principle/Mathematics/Boundary terms and natural boundary conditions
- Hamilton's principle/Mathematics/Functionals and the space of paths
- Hamilton's principle/Mathematics/Holonomic constraints
- Hamilton's principle/Mathematics/Isoperimetric problems
- Hamilton's principle/Mathematics/Lagrange multipliers
- Hamilton's principle/Mathematics/Noether's first theorem
- Hamilton's principle/Mathematics/Noether's second theorem
- Hamilton's principle/Mathematics/Several dependent variables
- Hamilton's principle/Mathematics/Several independent variables
- Hamilton's principle/Mathematics/The Beltrami identity
- Hamilton's principle/Mathematics/The Euler-Lagrange equation
- Hamilton's principle/Mathematics/The first variation
- Hamilton's principle/Mathematics/The fundamental lemma
- Hamilton's principle/Mathematics/The Hamilton-Jacobi equation
- Hamilton's principle/Mathematics/The Hamiltonian and Hamilton's equations
- Hamilton's principle/Mathematics/The Jacobi condition and conjugate points
- Hamilton's principle/Mathematics/The Legendre condition
- Hamilton's principle/Mathematics/The Legendre transform
- Hamilton's principle/Mathematics/The second variation
- Hamilton's principle/Mathematics/The Weierstrass excess function
L
- Lean theorem prover/Foundations/Classical logic from choice
- Lean theorem prover/Foundations/Consistency and the metatheory
- Lean theorem prover/Foundations/Definitional equality
- Lean theorem prover/Foundations/Dependent function types
- Lean theorem prover/Foundations/Inductive types and recursors
- Lean theorem prover/Foundations/Proof irrelevance and subsingleton elimination
- Lean theorem prover/Foundations/Propositional equality
- Lean theorem prover/Foundations/Quotient types
- Lean theorem prover/Foundations/Structural and well-founded recursion
- Lean theorem prover/Foundations/Terms, types and judgments
- Lean theorem prover/Foundations/The three axioms
- Lean theorem prover/Foundations/Universes and Prop
- Lean theorem prover/System/Decision procedures
- Lean theorem prover/System/Elaboration
- Lean theorem prover/System/Lake and Lean projects
- Lean theorem prover/System/Metaprogramming in Lean
- Lean theorem prover/System/Metavariables and unification
- Lean theorem prover/System/Monads and do-notation
- Lean theorem prover/System/Proof export and independent checkers
- Lean theorem prover/System/Syntax extension and hygienic macros
- Lean theorem prover/System/The compiler and runtime
- Lean theorem prover/System/The Lean kernel
- Lean theorem prover/System/The tactic framework
- Lean theorem prover/System/Type classes and instance resolution