victorbrun / gosymbol
Symbolic computation package for Go
☆10Updated last month
Alternatives and similar repositories for gosymbol:
Users that are interested in gosymbol are comparing it to the libraries listed below
- Scripts and notebooks to accompany the book Data-Driven Methods for Dynamic Systems☆111Updated last month
- A framework for composing and simulating multiphysics systems☆64Updated this week
- Sources for "Applied Category Theory for Engineering"☆30Updated last week
- Building dynamical systems compositionally☆69Updated 6 months ago
- GCLC is a mathematical software tool for producing high-quality mathematical illustrations, for teaching mathematics, and for automated p…☆61Updated last month
- Errata for Algorithms for Optimization book☆70Updated 2 weeks ago
- Probabilistic programming system for fast and exact symbolic inference☆79Updated 9 months ago
- MathTools is a Wolfram Language package that provides the software infrastructure I use for creating typeset mathematical diagrams and eq…☆19Updated last year
- ☆58Updated this week
- Julia interface to CasADi via PyCall☆27Updated 4 years ago
- Fundamentals of Numerical Computation text, Julia version for the MATLAB (1st) edition.☆78Updated this week
- Reachability analysis for closed-loop control systems in Julia☆45Updated last week
- Hybrid Systems definitions in Julia☆29Updated last year
- A symbolically optimized Geometric Algebra library with PyTorch/NumPy/SymPy/etc. compatibility and ganja.js visualization.☆67Updated last month
- Material for a full course on applied nonlinear dynamics, nonlinear timeseries analysis, and complex systems, in Julia☆60Updated 8 months ago
- a little library to help me with things involving Koopman operators☆11Updated 3 years ago
- The main source code for Regina☆38Updated this week
- Julia interface to Z3☆63Updated 4 months ago
- Core functions for the Julia (2nd) edition of the text Fundamentals of Numerical Computation, by Driscoll and Braun.☆104Updated 5 months ago
- Computing reachable states of dynamical systems in Julia☆200Updated last week
- An easy IDE for Mathematica in Mathematica☆22Updated 5 years ago
- Data Science for Dynamical System Course☆116Updated 6 months ago
- The primary source code repository for PHCpack, a software package to solve polynomial systems with homotopy continuation methods.☆67Updated 2 months ago
- Computational algebraic number theory☆258Updated this week
- CATAM material in Julia☆22Updated 3 years ago
- Mathematica packages for geometric algebra☆48Updated this week
- Model and solve optimal control problems in Julia☆95Updated this week
- Source of metamath book☆48Updated last year
- Julia wrapper for the Spot LTL and automata manipulation library☆17Updated 10 months ago
- Clarabel.jl: Interior-point solver for convex conic optimisation problems in Julia.☆198Updated last month