sympy / sympy-notebooksView external linksLinks
Some Jupyter notebook examples for SymPy
☆21Aug 16, 2024Updated last year
Alternatives and similar repositories for sympy-notebooks
Users that are interested in sympy-notebooks are comparing it to the libraries listed below
Sorting:
- Multinomials for the Mathematical Components library.☆16Nov 7, 2025Updated 3 months ago
- Selective applicative functors laws and theorems☆15Mar 12, 2020Updated 5 years ago
- Parallel Groebner Basis Computation☆25May 8, 2023Updated 2 years ago
- Reflective PHOAS rewriting/pattern-matching-compilation framework for simply-typed equalities and let-lifting☆26Feb 5, 2026Updated last week
- Learning Mechanical Vibration Engineering Through Computation☆51Mar 11, 2020Updated 5 years ago
- Code generation tool to generate mathematical libraries☆58Oct 15, 2025Updated 4 months ago
- Arpra is a C library for analyzing the propagation of numerical error in arbitrary precision IEEE-754 floating-point computations.☆25Nov 25, 2022Updated 3 years ago
- A Python implementation of a polynomial library and Buchberger's Algorithm☆24Jun 22, 2020Updated 5 years ago
- ☆24Jun 25, 2025Updated 7 months ago
- Solving the inverse kinematics problem of a 3 Link Planar Manipulator using neural networks.☆10Jul 19, 2020Updated 5 years ago
- ☆13Feb 28, 2023Updated 2 years ago
- Control the snake with your cursor☆12Mar 27, 2024Updated last year
- 机械设计遗传算法设计☆12Nov 24, 2022Updated 3 years ago
- A Binder repo for SageMath computing environment☆38Updated this week
- A python script to walk the directory tree of a C/C++ project of embedded system to generate CMakeLists.txt files for building the execut…☆10May 6, 2022Updated 3 years ago
- Git mirror of http://hg.sagemath.org/sage-main/☆38Jul 12, 2012Updated 13 years ago
- Python bindings for the egglog rust library☆98Feb 9, 2026Updated last week
- My dotfiles☆14Feb 5, 2021Updated 5 years ago
- ☆10Jan 16, 2025Updated last year
- A web IDE for ACL2 using a Kubernetes based backend. Evolution of https://github.com/calebegg/proof-pad-classic☆11Jul 15, 2024Updated last year
- Coq/Rocq practice session @ Lean For The Curious Mathematicians 2024☆13Mar 28, 2024Updated last year
- Verifying encodings into propositional logic in Lean☆14Aug 14, 2023Updated 2 years ago
- FDTD 3D simulator that generates s-parameters from OFF geometry files using one or more GPUs☆15Jan 16, 2023Updated 3 years ago
- ISP Programmer for NXP Cortex-M Chips☆12Jul 28, 2025Updated 6 months ago
- "Actionable Ethics for Data Scientists" Workshop Material @ ODSC☆10May 31, 2024Updated last year
- JavaScript modules for visualchemeng.com☆13Jul 24, 2022Updated 3 years ago
- The source code for my PyCon 2017 talk "5 ways to deploy you Python web app in 2017"☆10May 19, 2017Updated 8 years ago
- A php library for working with Table Schema.☆12Jul 28, 2025Updated 6 months ago
- Automatically exported from code.google.com/p/xml2rfc-xxe☆11Jul 9, 2022Updated 3 years ago
- TWRP Source for OnePlus 6T Fajita☆10Nov 1, 2019Updated 6 years ago
- Cryptocurrency tax and tracking tools for the Beancount platform.☆11Aug 23, 2024Updated last year
- This package contains helpers to deal with physical variables and units.☆12Dec 22, 2022Updated 3 years ago
- 一个机械设计课设的计算器，可以计算出包括电动机，传动装置，V带轮，齿轮，轴，轴承的几何或者力，运动学参数数值。☆18Jan 5, 2023Updated 3 years ago
- ☆10Oct 28, 2020Updated 5 years ago
- A Syntax highlighter that can run online or offline.☆12Mar 19, 2022Updated 3 years ago
- Four-bar linkage lengths are optimized using MATLAB to follow a desired trajectory.☆11Dec 25, 2025Updated last month
- CAP project -- Categories, Algorithms, and Programming☆41Updated this week
- Triplestore wrapper package for Python.☆12Updated this week
- Bokeh extensions to plot molecules easily☆10Jul 14, 2025Updated 7 months ago