pcatach / sicm-solutionsLinks
Solutions to "Structure and Interpretation of Classical Mechanics"
☆19Updated last year
Alternatives and similar repositories for sicm-solutions
Users that are interested in sicm-solutions are comparing it to the libraries listed below
Sorting:
- (in progress) Racket port of the SICM scmutils library☆35Updated 5 years ago
- Exercises and notes on Structure and Interpretation of Classical Mechanics.☆68Updated 3 years ago
- Working through Structure and Interpretation of Classical Mechanics.☆124Updated 10 months ago
- Unofficial HTML version of Sussman and Wisdom's "Structure and Interpretation of Classical Mechanics"☆100Updated 4 years ago
- Examples of Automatic Differentiation (AD) in many different languages and systems☆27Updated 6 years ago
- A framework for composing and simulating multiphysics systems☆65Updated last week
- IBL course materials for an undergraduate first-semester abstract algebra course that emphasizes visualization.☆73Updated last year
- An upcoming book on mathematical physics☆14Updated 6 years ago
- Executable version of Functional Differential Geometry.☆34Updated 3 years ago
- Source code for lecture notes☆146Updated 10 months ago
- Building dynamical systems compositionally☆70Updated 7 months ago
- Source code for lecture notes☆66Updated 7 years ago
- An easy-to-use, modular, extendable and absurdly fast Julia package for dynamical billiards in two dimensions.☆108Updated 11 months ago
- Clifford algebra for CAS Maxima☆16Updated 3 months ago
- Benchmarks for differentiable programming across languages and domains.☆40Updated this week
- A repackaged version of the Kenzo program by Francis Sergeraert and collaborators.☆52Updated 4 months ago
- GAP package for Hierarchical Composition and Decomposition of Permutation Groups and Transformation Semigroups☆19Updated 2 months ago
- ☆37Updated 3 years ago
- Some notes on the relationship between the Legendre and Fourier transforms☆11Updated 4 years ago
- Notes and symbolic and numerical computations and implementations on Gravity☆22Updated 7 years ago
- A graphical editor for graph-like structures☆97Updated last year
- A collaborative environment for formal, interoperable, conceptual modeling☆78Updated this week
- Haskell toolbox for research and teaching in classical mechanics. Includes modules for symbolic algebra and automatic differentiation.☆88Updated 7 years ago
- Jupyter notebooks and documentation for SageManifolds☆52Updated last month
- The Road to Reality essay and newsletter source. A journey through computational physics, from eval/apply to the Einstein field equations…☆94Updated last month
- A specialised computer algebra system for topos theory.☆18Updated 11 months ago
- Some operator abuse☆29Updated 7 years ago
- Tensor algebra abstract type interoperability setup☆43Updated 6 months ago
- A partial formalization of Geometric Algebra in the Lean formal proof verification system.☆53Updated last year
- ☆36Updated 6 months ago