Short pages

Showing below up to 50 results in range #501 to #550.

(hist) Hamilton's principle/Mathematics/Noether's first theorem [8,173 bytes]
(hist) On Physical Lines of Force/Modern derivations [8,194 bytes]
(hist) Hamilton's principle/Applications/Geodesics [8,207 bytes]
(hist) Hamilton's principle/Mathematics/The Hamilton-Jacobi equation [8,212 bytes]
(hist) The Principia Machina/Tutorial/3 Write the Translation Manifold [8,264 bytes]
(hist) The Principia Machina/TPS/6.5 Certification, agent side [8,291 bytes]
(hist) On Physical Lines of Force/Part III [8,294 bytes]
(hist) Hamilton's principle/Mathematics/The Weierstrass excess function [8,323 bytes]
(hist) Lean theorem prover/History/Lean 4 [8,376 bytes]
(hist) Lean theorem prover/Applications/Teaching with Lean [8,381 bytes]
(hist) Lean theorem prover/Applications/The polynomial Freiman-Ruzsa conjecture [8,402 bytes]
(hist) On Physical Lines of Force/Sources and editorial method [8,404 bytes]
(hist) Hamilton's principle/Mathematics/Isoperimetric problems [8,422 bytes]
(hist) On Physical Lines of Force/Part II [8,443 bytes]
(hist) Lean theorem prover/Explainers/Stating the right thing [8,444 bytes]
(hist) Hamilton's principle/Applications/The optical-mechanical analogy [8,459 bytes]
(hist) Lean theorem prover/Applications/The equational theories project [8,517 bytes]
(hist) Lean theorem prover/Explainers/Checking instead of convincing [8,519 bytes]
(hist) On Physical Lines of Force/Glossary [8,523 bytes]
(hist) Lean theorem prover/Explainers/Holes and goals [8,535 bytes]
(hist) Lean theorem prover/Explainers/Lean and physics [8,554 bytes]
(hist) Lean theorem prover/Applications/The Fermat's Last Theorem project [8,554 bytes]
(hist) The Principia Machina/UWC/SPB/Register/Volume 1 [8,555 bytes]
(hist) Hamilton's principle/Applications/Central force and the Kepler problem [8,558 bytes]
(hist) Hamilton's principle/Applications/The rigid body [8,581 bytes]
(hist) The Principia Machina/TPC-PY/tpc fingerprint.py [8,592 bytes]
(hist) On Physical Lines of Force/Modern derivations/The unit ratio [8,615 bytes]
(hist) The Principia Machina/Inputs/Measure Set [8,626 bytes]
(hist) Lean theorem prover/Further reading [8,630 bytes]
(hist) Hamilton's principle/Mathematics/Action as a function of its endpoints [8,655 bytes]
(hist) The Principia Machina/Tutorial [8,668 bytes]
(hist) Lean theorem prover/History/Mathlib and its community [8,684 bytes]
(hist) Lean theorem prover/Explainers/Computation inside proofs [8,700 bytes]
(hist) Lean theorem prover/Explainers/The small trusted core [8,726 bytes]
(hist) On Physical Lines of Force/Index of numbered equations [8,731 bytes]
(hist) Noether's theorems [8,755 bytes]
(hist) Lean theorem prover/Explainers/A library of mathematics [8,762 bytes]
(hist) The Principia Machina/UWC/SPB/Control panel/Meta [8,772 bytes]
(hist) The Principia Machina/TPC-PY/tpc sr9.py [8,794 bytes]
(hist) Lean theorem prover/Explainers/Induction, as the machine sees it [8,798 bytes]
(hist) Lean theorem prover/Explainers/Propositions as types [8,895 bytes]
(hist) The Principia Machina/Walk through/The reliability score [8,939 bytes]
(hist) Hamilton's principle/Mathematics/Several independent variables [8,944 bytes]
(hist) Lean theorem prover/Explainers/Tactics [8,953 bytes]
(hist) The Principia Machina/Sponsor guide/Keeping your agent's instructions healthy [8,971 bytes]
(hist) Lean theorem prover/Explainers/Building things from constructors [8,971 bytes]
(hist) Hamilton's principle/Chronology [8,974 bytes]
(hist) The Principia Machina/Sponsor guide/Your first agent [9,029 bytes]
(hist) Hamilton's principle/Applications/The electromagnetic Lagrangian [9,034 bytes]
(hist) Lean theorem prover/Explainers/Checking a proof again later [9,118 bytes]