Jump to content

Pages with the fewest revisions

Showing below up to 50 results in range #251 to #300.

View ( | ) (20 | 50 | 100 | 250 | 500)

  1. The Principia Machina/TPC-PY/examples/spring mistakes tpk.json (2 revisions)
  2. Lean theorem prover/History/Automath (2 revisions)
  3. Lean theorem prover/Applications/Physics in Lean (2 revisions)
  4. The Principia Machina/TPC-PY/gen sr8 order corpus.py (2 revisions)
  5. The Principia Machina/TPC-PY/vectors/hunk wiki corpus.json (2 revisions)
  6. Noether's theorems/Applications/Kelvin's circulation theorem (2 revisions)
  7. Noether's theorems/First theorem/Prolongation to derivatives (2 revisions)
  8. Noether's theorems/History/The recovery in field theory (2 revisions)
  9. Noether's theorems/Second theorem/The converse of the second theorem (2 revisions)
  10. Principia Machina/Terminology (2 revisions)
  11. The Principia Machina/TPC-PY/diff fingerprint.php (2 revisions)
  12. Lean theorem prover/Explainers/Computation inside proofs (2 revisions)
  13. The Principia Machina/TPC-PY/examples/corner coulomb.json (2 revisions)
  14. Lean theorem prover/Foundations/The three axioms (2 revisions)
  15. The Principia Machina/TPC-PY/examples/spring mistakes trm.json (2 revisions)
  16. Noether's theorems/Explainers/Moving the bookkeeping without changing the total (3 revisions)
  17. Noether's theorems/Explainers/What happens at the edges (3 revisions)
  18. The Principia Machina/Tools/PySINDy (3 revisions)
  19. On Physical Lines of Force/Part II/Induced currents (3 revisions)
  20. On Physical Lines of Force/Modern derivations/Ampere's law and its correction (3 revisions)
  21. Noether's theorems/Explainers/Nudging a path and seeing what changes (3 revisions)
  22. Noether's theorems/Explainers/What the Standard Model conserves (3 revisions)
  23. The Principia Machina/Tools/Dedalus (3 revisions)
  24. Noether's theorems/Index of symmetries (3 revisions)
  25. The Principia Machina/UWC/SPZ/Manifest (3 revisions)
  26. On Physical Lines of Force/Part I (3 revisions)
  27. On Physical Lines of Force/Part III (3 revisions)
  28. On Physical Lines of Force/Modern derivations/Faraday's law of induction (3 revisions)
  29. Noether's theorems/Explainers/Reading the second theorem backwards (3 revisions)
  30. Noether's theorems/Explainers/When a symmetry does not survive (3 revisions)
  31. The Principia Machina/Tools/SpECTRE (3 revisions)
  32. Noether's theorems/Sources (3 revisions)
  33. On Physical Lines of Force/Part I/The introductory discussion (3 revisions)
  34. On Physical Lines of Force/Part III/Conduction and induction (3 revisions)
  35. On Physical Lines of Force/Modern derivations/Gauss's law for electricity (3 revisions)
  36. Noether's theorems/Explainers/Reading the theorem backwards (3 revisions)
  37. The Principia Machina/UWC/SPR/Manifest (3 revisions)
  38. Noether's theorems/Explainers/Where the light's energy goes (3 revisions)
  39. On Physical Lines of Force/Part I/Prop. I (3 revisions)
  40. On Physical Lines of Force/Part III/Prop. XII (3 revisions)
  41. On Physical Lines of Force/Modern derivations/The constitutive relations (3 revisions)
  42. Noether's theorems/Explainers/Symmetries of a curved space (3 revisions)
  43. Noether's theorems/Explainers/Why Noether needed a third symbol (3 revisions)
  44. On Physical Lines of Force/Part I/Prop. II (3 revisions)
  45. On Physical Lines of Force/Part III/Prop. XIII (3 revisions)
  46. On Physical Lines of Force/Modern derivations/The displacement current (3 revisions)
  47. Noether's theorems/Explainers/Symmetry and conservation, the first theorem (3 revisions)
  48. Noether's theorems/Explainers/Why energy and momentum are conserved (3 revisions)
  49. The Principia Machina/Research Toolkit/Research methods (3 revisions)
  50. The Principia Machina/UWC/RP1/Register/Volume 1 (3 revisions)

View ( | ) (20 | 50 | 100 | 250 | 500)