smichr / sympy
SymPy main development repo
☆9Updated last month
Related projects ⓘ
Alternatives and complementary repositories for sympy
- A talk on Global Interpreter Lock in Python☆10Updated last month
- Repo for the paper "SymPy: symbolic computing in python"☆47Updated 4 years ago
- SymPy Presentation☆37Updated 8 years ago
- ☆21Updated 2 years ago
- GitHub bot for SymPy☆22Updated last month
- Some benchmarks of SymPy☆13Updated 7 months ago
- A Python CAS library☆72Updated this week
- Python library for representing really, really, ridiculously large numbers.☆65Updated 11 months ago
- Get scores of this World T20 World Cup in your terminal☆9Updated 8 years ago
- DeepAlgebra☆25Updated 7 years ago
- Write python code in any language☆60Updated 8 years ago
- A topology textbook with a hubristic title☆29Updated 8 years ago
- High-performance program to spell-check and auto-correct large documents☆41Updated 5 years ago
- A repository of mathematical knowledge written in the Mathlingua language.☆17Updated 2 months ago
- Metamath verifier in Python☆34Updated 7 months ago
- The Boole Interactive Reasoning Assistant☆27Updated 10 years ago
- The pastebin for mathematicians☆35Updated 10 years ago
- ☆10Updated 8 months ago
- SymPy tutorial materials for SciPy 2016☆42Updated 8 years ago
- Some theorems presented to first and second year mathematics undergraduates, First and second year undergraduate level mathematics☆12Updated 2 years ago
- Plain-text declaration export for Lean 4☆11Updated 3 weeks ago
- Textbook on metalogic based on the Open Logic Project☆36Updated 10 months ago
- Some CSS experiments for arXiv HTML documents converted via latexml☆15Updated last month
- A library for Proof Theory (especially Proof Compression) in Scala.☆33Updated 7 years ago
- Riemann Hypothesis book☆74Updated 6 years ago
- A fragmentary bidirectional type system as a Python library☆52Updated 6 years ago
- "Did You Mean?" Functionality on AttributeLookup☆136Updated 10 years ago
- ☆17Updated 3 years ago
- ☆19Updated 5 years ago