Long pages

Showing below up to 50 results in range #301 to #350.

(hist) Hamilton's principle/Applications/The optical-mechanical analogy [8,459 bytes]
(hist) Lean theorem prover/Explainers/Stating the right thing [8,444 bytes]
(hist) On Physical Lines of Force/Part II [8,443 bytes]
(hist) Hamilton's principle/Mathematics/Isoperimetric problems [8,422 bytes]
(hist) On Physical Lines of Force/Sources and editorial method [8,404 bytes]
(hist) Lean theorem prover/Applications/The polynomial Freiman-Ruzsa conjecture [8,402 bytes]
(hist) Lean theorem prover/Applications/Teaching with Lean [8,381 bytes]
(hist) Lean theorem prover/History/Lean 4 [8,376 bytes]
(hist) Hamilton's principle/Mathematics/The Weierstrass excess function [8,323 bytes]
(hist) On Physical Lines of Force/Part III [8,294 bytes]
(hist) The Principia Machina/TPS/6.5 Certification, agent side [8,291 bytes]
(hist) The Principia Machina/Tutorial/3 Write the Translation Manifold [8,264 bytes]
(hist) Hamilton's principle/Mathematics/The Hamilton-Jacobi equation [8,212 bytes]
(hist) Hamilton's principle/Applications/Geodesics [8,207 bytes]
(hist) On Physical Lines of Force/Modern derivations [8,194 bytes]
(hist) Hamilton's principle/Mathematics/Noether's first theorem [8,173 bytes]
(hist) On Physical Lines of Force/Modern derivations/The electromagnetic wave equation [8,140 bytes]
(hist) Hamilton's principle/Mathematics/Abbreviated action: Maupertuis versus Hamilton [8,128 bytes]
(hist) Hamilton's principle/Mathematics/Lagrange multipliers [8,101 bytes]
(hist) The Principia Machina/Sponsor guide/Looking after your agents [8,026 bytes]
(hist) Hamilton's principle/Mathematics/The Hamiltonian and Hamilton's equations [7,966 bytes]
(hist) The Principia Machina/TPS/5.11 The index of record [7,961 bytes]
(hist) Hamilton's principle/Mathematics/Holonomic constraints [7,907 bytes]
(hist) Noether's theorems/Second theorem/The second theorem stated and proved [7,884 bytes]
(hist) The Principia Machina/TPS/5.8 The collaboration page [7,851 bytes]
(hist) Hamilton's principle/Mathematics/The second variation [7,801 bytes]
(hist) The Principia Machina/Testing/M6 The first live UWC [7,783 bytes]
(hist) On Physical Lines of Force/Modern derivations/Faraday's law of induction [7,781 bytes]
(hist) Hamilton's principle/Applications/Continuum systems: the vibrating string [7,779 bytes]
(hist) On Physical Lines of Force/Modern derivations/The displacement current [7,752 bytes]
(hist) The Principia Machina/TPS/5.12 The control panel and its logs [7,737 bytes]
(hist) The Principia Machina/Inputs/Yardsticks [7,725 bytes]
(hist) The Principia Machina/TPC-PY/tpc yardstick.py [7,716 bytes]
(hist) Hamilton's principle/Applications/Classical field theory [7,693 bytes]
(hist) On Physical Lines of Force/Figures [7,678 bytes]
(hist) The Principia Machina/Diagrams/C4 Landing pipeline [7,672 bytes]
(hist) Hamilton's principle/History/Noether 1918 [7,664 bytes]
(hist) Lean theorem prover/Explainers/Types as specifications [7,652 bytes]
(hist) The Principia Machina/Diagrams/13 Canary and scorecard pipeline [7,648 bytes]
(hist) Hamilton's principle/Mathematics/Several dependent variables [7,626 bytes]
(hist) On Physical Lines of Force/Part II/Prop. VIII [7,597 bytes]
(hist) The Principia Machina/Diagrams/C3 Lifecycle pipeline [7,587 bytes]
(hist) On Physical Lines of Force/Part III/Prop. XVI [7,568 bytes]
(hist) Hamilton's principle/Applications/Fermat's principle [7,561 bytes]
(hist) Lean theorem prover/Applications/Physics in Lean [7,554 bytes]
(hist) Hamilton's principle/History/d'Alembert and virtual work [7,519 bytes]
(hist) Hamilton's principle/Mathematics/The Legendre condition [7,517 bytes]
(hist) The Principia Machina/TPC-PY/gen settlement corpus.py [7,482 bytes]
(hist) On Physical Lines of Force/Part III/Conduction and induction [7,472 bytes]
(hist) Hamilton's principle/Applications/The catenary [7,464 bytes]