Like math-in-code but specifically using Jupyter Notebooks and in Python
Also sharing a tool that may help you with this: https://github.com/ashwin2rai/math-thru-python
Lean 3's obsolete mathematical components library: please use mathlib4
It's been around since 2013, although there are LLM that interact with Lean to do automated theorem proving. Anyway, you can learn more about Lean here. I enjoyed their natural numbers game (which reminds, me I should finish the last two levels)
Collect and Analyze Billions of Data Points in Real Time. Manage all types of time series data in a single, purpose-built database. Run at any scale in any environment in the cloud, on-premises, or at the edge.
Towards a new SymPy: part 2 – Polynomials
1 project | news.ycombinator.com | 8 Sep 2023
It's not mathematics that you need to contribute to (2010)
1 project | news.ycombinator.com | 18 Jul 2023
Did studying proof based math topics e.g. analysis make you a better programmer?
1 project | news.ycombinator.com | 24 Jun 2023
Which proof assistant is the best to formalize real analysis/probability/statistics?
3 projects | /r/Coq | 18 Jun 2023
[R] Large Language Models trained on code reason better, even on benchmarks that have nothing to do with code
1 project | /r/MachineLearning | 14 May 2023