Category:Plain-language explainers
Pages explaining a result without mathematics. Each names the technical pages it accompanies with Template:Technical. Membership is set by that template, not by hand.
Pages in category "Plain-language explainers"
The following 43 pages are in this category, out of 43 total.
H
- Hamilton's principle/Explainers/Action from the endpoints
- Hamilton's principle/Explainers/Comparing paths
- Hamilton's principle/Explainers/Constraints
- Hamilton's principle/Explainers/Electromagnetism from an action
- Hamilton's principle/Explainers/Fields
- Hamilton's principle/Explainers/Fixed length problems
- Hamilton's principle/Explainers/Free ends
- Hamilton's principle/Explainers/Gravity from an action
- Hamilton's principle/Explainers/Is it really a minimum
- Hamilton's principle/Explainers/Light and particles
- Hamilton's principle/Explainers/More than one variable
- Hamilton's principle/Explainers/Multipliers
- Hamilton's principle/Explainers/Reading a curve two ways
- Hamilton's principle/Explainers/Strong and weak
- Hamilton's principle/Explainers/Sum over histories
- Hamilton's principle/Explainers/Symmetry and conservation
- Hamilton's principle/Explainers/The Hamiltonian
- Hamilton's principle/Explainers/Two different actions
- Hamilton's principle/Explainers/Waves and rays
- Hamilton's principle/Explainers/What the Euler-Lagrange equation says
- Hamilton's principle/Explainers/When symmetry is local
- Hamilton's principle/Explainers/Where the minimum fails
L
- Lean theorem prover/Explainers/A library of mathematics
- Lean theorem prover/Explainers/Automation and its limits
- Lean theorem prover/Explainers/Building things from constructors
- Lean theorem prover/Explainers/Checking a proof again later
- Lean theorem prover/Explainers/Checking instead of convincing
- Lean theorem prover/Explainers/Computation inside proofs
- Lean theorem prover/Explainers/Functions that always finish
- Lean theorem prover/Explainers/Holes and goals
- Lean theorem prover/Explainers/Induction, as the machine sees it
- Lean theorem prover/Explainers/Programs and proofs in one language
- Lean theorem prover/Explainers/Propositions as types
- Lean theorem prover/Explainers/Stating the right thing
- Lean theorem prover/Explainers/Tactics
- Lean theorem prover/Explainers/The small trusted core
- Lean theorem prover/Explainers/Two kinds of equality
- Lean theorem prover/Explainers/Types as specifications
- Lean theorem prover/Explainers/What a proof assistant does
- Lean theorem prover/Explainers/What has to be trusted
- Lean theorem prover/Explainers/What the axioms are
- Lean theorem prover/Explainers/When Lean says no
- Lean theorem prover/Explainers/Why there is no type of all types