Listing of online math seminars
☆43Oct 9, 2025Updated 4 months ago
Alternatives and similar repositories for seminars
Users that are interested in seminars are comparing it to the libraries listed below
Sorting:
- All the math/tex files for the Automorphic Project☆19Feb 12, 2026Updated 3 weeks ago
- Binaries for mathematicians☆10Mar 19, 2025Updated 11 months ago
- Lean proof that a normed vector space with compact unit ball is finite dimensional☆11Dec 7, 2019Updated 6 years ago
- Lecture Notes for Algebra Lectures at the University of Bonn☆14Sep 4, 2024Updated last year
- https://1000-plus.github.io/☆22Feb 11, 2026Updated 3 weeks ago
- A formalization of PCF theory in lean☆12Apr 5, 2025Updated 11 months ago
- Topics in several mathematics using Julialang☆14Jul 4, 2023Updated 2 years ago
- L-Functions and Modular Forms Database☆282Feb 27, 2026Updated last week
- Inference for diffusion processes with the use of `Guided Proposals`☆16Oct 20, 2020Updated 5 years ago
- Plain-text declaration export for Lean 4☆26Feb 26, 2026Updated last week
- Physics Derivation Graph: mathematical connections among equations☆23Feb 3, 2026Updated last month
- Python package to convert LaTeX markup to DOM☆15Jan 28, 2025Updated last year
- This app twXiv gives arXiv daily new submissions by tweets. We use python3 scripts. twXiv is not affiliated with arXiv.☆28Feb 18, 2026Updated 2 weeks ago
- ☆11Feb 3, 2026Updated last month
- This project is now moved to Node.js version and maintained https://github.com/lolimay/GSoC-Contribution-Leaderboard-Node.☆15Jun 2, 2020Updated 5 years ago
- Supports approximating functions and solving differential equations on various higher dimensional domains such as disks and triangles☆21Feb 24, 2026Updated last week
- GAP packages for Julia integration☆83Updated this week
- Educational tutorial on how to automate your online classes in Mac OS with python and selenium☆15Sep 29, 2020Updated 5 years ago
- A general purpose numerical simulator supporting nested dynamical systems and a convenient macro-based data logger.☆20Jan 27, 2025Updated last year
- Social Network Analysis and STEM Education is designed to prepare researchers to apply network analysis in order to better understand and…☆14Jul 14, 2025Updated 7 months ago
- ☆22Jan 14, 2026Updated last month
- Spherogram is a Python module for dealing with the kind of planar diagrams that arise in 3-dimensional topology, such as link and Heegaar…☆24Feb 10, 2026Updated 3 weeks ago
- A LaTeX package to use amsthm with a key-value interface☆29Feb 24, 2026Updated last week
- Commutative diagrams with TikZ☆53Sep 24, 2022Updated 3 years ago
- Creation of an online Greek mail dictation system, using Sphinx and personalized acoustic/language model training☆21Feb 20, 2026Updated 2 weeks ago
- PKGBUILDs adopted or improved from AUR, available for co-maintainers☆24Feb 17, 2026Updated 2 weeks ago
- Set Programming with JuMP☆23Dec 31, 2025Updated 2 months ago
- This it the TeX of Matsumura Commutative Algebra, TeX'd by the TeXromancers☆26Sep 15, 2025Updated 5 months ago
- Organization for hosting of online conferences☆24Updated this week
- Data and functions to support Julia projects based on the book "Regression and Other Stories" by Andrew Gelman, Jennifer Hill and Aki Veh…☆26Nov 21, 2025Updated 3 months ago
- ☆27Feb 3, 2026Updated last month
- Cours d'introduction au langage Python, inspiré du tutoriel Python traduit en français.☆10Jan 14, 2022Updated 4 years ago
- ☆30Sep 8, 2023Updated 2 years ago
- deep learning for math☆29May 4, 2019Updated 6 years ago
- A long-horizon, sparse-reward math environment for reinforcement learning. Official code repo for "What makes Math problems hard for rein…☆32Aug 11, 2025Updated 6 months ago
- Tag-based webview of LaTeX documents☆32Jan 28, 2024Updated 2 years ago
- 🦠 An experimental elaborator for dependent type theory using effects and handlers☆37Nov 21, 2025Updated 3 months ago
- This module is a tool for calculating correlations such as Partial, Tetrachoric, Intraclass correlation coefficients, Bootstrap agreement…☆11Feb 16, 2026Updated 2 weeks ago
- Johan's clone of the cring repository from http://cring.adeel.ru/☆30Aug 16, 2013Updated 12 years ago