Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality. Learn more →
Top 19 computer-algebra Open-Source Projects
-
InfluxDB
Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.
-
ModelingToolkit.jl
An acausal modeling framework for automatically parallelized scientific machine learning (SciML) in Julia. A computer algebra system for integrated symbolics for physics-informed machine learning and automated transformations of differential equations
-
AngouriMath
New open-source cross-platform symbolic algebra library for C# and F#. Can be used for both production and research purposes.
-
gap
Main development repository for GAP - Groups, Algorithms, Programming, a System for Computational Discrete Algebra (by gap-system)
-
SaaSHub
SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives
-
spacetimeengine
A Python utility for analyzing a given solution to the Einstein's field equations. Built on Sympy.
-
SaaSHub
SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives
Project mention: AutoCodeRover resolves 22% of real-world GitHub in SWE-bench lite | news.ycombinator.com | 2024-04-09Thank you for your interest. There are some interesting examples in the SWE-bench-lite benchmark which are resolved by AutoCodeRover:
- From sympy: https://github.com/sympy/sympy/issues/13643. AutoCodeRover's patch for it: https://github.com/nus-apr/auto-code-rover/blob/main/results...
- Another one from scikit-learn: https://github.com/scikit-learn/scikit-learn/issues/13070. AutoCodeRover's patch (https://github.com/nus-apr/auto-code-rover/blob/main/results...) modified a few lines below (compared to the developer patch) and wrote a different comment.
There are more examples in the results directory (https://github.com/nus-apr/auto-code-rover/tree/main/results).
Project mention: The Story Continues: Announcing Version 14 of Wolfram Language and Mathematica | news.ycombinator.com | 2024-01-12There's Mathics, a subset of the language implemented in Python, but unfortunately after the main author of that was hired by Wolfram, the project seems to have basically died. Still fun for what it is.
https://mathics.org/
SymEngine will do this: https://github.com/symengine/symengine
There is a go implementation of a CAS which syntax similar to Mathematica which uses this rules based integration library.
https://github.com/corywalker/expreduce
Project mention: Ask HN: Any interactive math tutorials that use a computational algebra system? | news.ycombinator.com | 2024-03-05I'm a senior level programmer who recently became interested in furthering my math education.
I also just became aware of computational algebra systems like emmy: https://github.com/mentat-collective/emmy
My question is: is there an interactive math curriculum/textbook/etc that uses such a system to teach the math? I would find that a lot more engaging than learning math the old way!
But it's integration functionalities are less advanced and comprehensive than those of Fricas. Interestingly, the latter is, like Maxima, implemented using Lisp and stems from a ancient software lineage. Both systems are free and open-source.
Fricas home page: http://fricas.github.io
Some independent integration benchmarks, comparing multiple computer algebra systems: https://www.12000.org/my_notes/CAS_integration_tests/index.h...
A decade ago when I was interested in General Relativity I wanted to write a simple program to handle symbolic calculations for Einstein field equations (Starting with metric and calculated affine connections, ricci tensor …etc.). Sympy was an option (better because python was the only language I know well) but I found it hard and actually couldn't make it work. I used mathematica which was new for me but did it in a couple of hours. I expanded it later and used it to calculate a lot of things in a black hole paper I published later.
I checked now, and it seems that on this front a lot of development in sympy made it possible that we know how very good libraries built on top of it [1] [2]. There is even now a Jupyter notebook example on schwarzschild metric [3].
[1] https://docs.einsteinpy.org
[2]https://github.com/spacetimeengineer/spacetimeengine
[3] https://github.com/sympy/sympy/blob/master/examples/intermed...
computer-algebra related posts
-
Integral Calculator
-
Ask HN: Any interactive math tutorials that use a computational algebra system?
-
SymPy: Symbolic Mathematics in Python
-
The Emmy Computer Algebra System
-
Pure Programming Language
-
Matrix Cookbook examples using SymPy
-
The Story Continues: Announcing Version 14 of Wolfram Language and Mathematica
-
A note from our sponsor - InfluxDB
www.influxdata.com | 10 May 2024
Index
What are some of the best open-source computer-algebra projects? This list will help you:
Project | Stars | |
---|---|---|
1 | SymPy | 12,435 |
2 | Mathics | 2,074 |
3 | ModelingToolkit.jl | 1,338 |
4 | symengine | 1,096 |
5 | AngouriMath | 760 |
6 | gap | 762 |
7 | kotlingrad | 508 |
8 | Grassmann.jl | 450 |
9 | expreduce | 375 |
10 | emmy | 354 |
11 | fricas | 287 |
12 | cadabra2 | 214 |
13 | Hecke.jl | 202 |
14 | SymEngine.jl | 188 |
15 | symengine.py | 156 |
16 | symbolic | 147 |
17 | spacetimeengine | 143 |
18 | piranha | 100 |
19 | polynomial-algebra | 1 |
Sponsored