Alternatives and similar repositories for sicm-solutions:

Users that are interested in sicm-solutions are comparing it to the libraries listed below

• bennn / mechanics
  (in progress) Racket port of the SICM scmutils library
  ☆35Updated 4 years ago
• hnarayanan / sicm
  Working through Structure and Interpretation of Classical Mechanics.
  ☆123Updated 8 months ago
• tgvaughan / sicm
  Unofficial HTML version of Sussman and Wisdom's "Structure and Interpretation of Classical Mechanics"
  ☆98Updated 3 years ago
• sreahw / schuller-geometric
  Source code for lecture notes
  ☆145Updated 7 months ago
• eschnett / DifferentialForms.jl
  Differential forms in Julia
  ☆14Updated last year
• AlgebraicJulia / Decapodes.jl
  A framework for composing and simulating multiphysics systems
  ☆60Updated last week
• AlgebraicJulia / AlgebraicDynamics.jl
  Building dynamical systems compositionally
  ☆69Updated 4 months ago
• jtauber / functional-differential-geometry
  working my way through Sussman and Wisdom's Functional Differential Geometry and implementing it in Python
  ☆45Updated 10 years ago
• gjkerns / ob-julia
  ☆37Updated 3 years ago
• Airini / FEECa
  FEECa: Finite Element Exterior Calculus in Haskell
  ☆34Updated 5 years ago
• AlgebraicJulia / GATlab.jl
  GATlab: a computer algebra system based on generalized algebraic theories (GATs)
  ☆27Updated last week
• dprodanov / clifford
  Clifford algebra for CAS Maxima
  ☆16Updated last month
• tBuLi / kingdon
  A symbolically optimized Geometric Algebra library with PyTorch/NumPy/SymPy/etc. compatibility and ganja.js visualization.
  ☆63Updated last week
• ImperialCollegeLondon / M4P33
  M4 algebraic geometry course in Lean
  ☆59Updated 5 years ago
• sreahw / schuller-quantum
  Source code for lecture notes
  ☆66Updated 7 years ago
• wbhart / AbstractAlgebra.jl
  Generic abstract algebra functionality in pure Julia (no C dependencies)
  ☆55Updated 2 years ago
• gheber / kenzo
  A repackaged version of the Kenzo program by Francis Sergeraert and collaborators.
  ☆52Updated last month
• pygae / lean-ga
  A partial formalization of Geometric Algebra in the Lean formal proof verification system.
  ☆53Updated last year
• ToposInstitute / CatColab
  A collaborative environment for formal, interoperable, conceptual modeling
  ☆65Updated this week
• chris-taylor / Classical-Mechanics
  Haskell toolbox for research and teaching in classical mechanics. Includes modules for symbolic algebra and automatic differentiation.
  ☆88Updated 7 years ago
• AlgebraicJulia / Semagrams.jl
  A graphical editor for graph-like structures
  ☆98Updated last year
• mhajij / Algebraically_Informed_Deep_Nets
  AIDN is a deep learning algorithm to represent any finitely-presented algebraic object with a set of deep neural networks.
  ☆8Updated 4 years ago
• chakravala / AbstractTensors.jl
  Tensor algebra abstract type interoperability setup
  ☆43Updated 4 months ago
• PBrdng / LearningAlgebraicVarieties.jl
  Learning Algebraic Varieties from Samples
  ☆24Updated last year
• LiamMcAllisterGroup / cytools
  A software package for analyzing Calabi-Yau manifolds.
  ☆33Updated last week
• digitaldomain / Multivectors.jl
  Multivectors for geometric algebra
  ☆24Updated 2 years ago
• mgxm / julia-layer
  Spacemacs Julia Layer
  ☆10Updated 7 years ago
• JuliaDynamics / DynamicalBilliards.jl
  An easy-to-use, modular, extendable and absurdly fast Julia package for dynamical billiards in two dimensions.
  ☆107Updated 9 months ago
• lazierthanthou / Lecture_Notes_GR
  Lecture Notes on General Relativity, based on lectures by Dr. Frederic P. Schuller in 2015
  ☆72Updated 4 years ago