A version of "Principles of Mathematical Analysis" by Walter Rudin (IN NEED OF NEW CONTRIBUTORS)
☆29Sep 19, 2021Updated 4 years ago
Alternatives and similar repositories for rudin
Users that are interested in rudin are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A solutions manual to Walter Rudin's "Principles of Mathematical Analysis (3/e)".☆16Aug 19, 2017Updated 8 years ago
- MATH/STAT 4540/5540 Introduction to Time Series, spring 2022☆10Jan 13, 2023Updated 3 years ago
- A solutions manual to Stephen H. Friedberg, Arnold J. Insel, Lawrence E. Spence's "Linear Algebra (4/e)".☆10Apr 20, 2021Updated 5 years ago
- Mathematics + Statistics Courses at the University of Alberta☆16Jan 8, 2023Updated 3 years ago
- Files for lawcite biblatex style☆10Apr 17, 2023Updated 3 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Lean 形式化数学☆18Dec 20, 2025Updated 4 months ago
- Tool to analyse the import structure of lean projects.☆20Updated this week
- Estimation for sharp regression discontinuity designs.☆20May 22, 2024Updated last year
- ☆14Aug 4, 2025Updated 9 months ago
- ☆23Jan 19, 2023Updated 3 years ago
- Notes and Julia code for computational economics reading group☆17Jun 12, 2023Updated 2 years ago
- [ICLR'25 Spotlight] Rethinking and improving autoformalization: towards a faithful metric and a Dependency Retrieval-based approach☆31May 20, 2025Updated 11 months ago
- Write LaTeX presentations directly from Lean4~☆26Dec 28, 2025Updated 4 months ago
- ☆16Jul 29, 2024Updated last year
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A C++ implementation of a PID Controller.☆11Jul 30, 2017Updated 8 years ago
- Yay, our own Discord bot!☆22Jan 2, 2023Updated 3 years ago
- A Python inteface to Dynare with access to its workspace.☆20Mar 11, 2023Updated 3 years ago
- A list of awesome number theory resources☆33Dec 31, 2022Updated 3 years ago
- List of the output of #help command of mathlib4, including list of all tactics, commands...etc☆24Updated this week
- Generate xml documentaton comment stubs for c++ when three forward slashes are typed☆13Mar 21, 2018Updated 8 years ago
- ☆26Apr 6, 2026Updated last month
- Programs for cell mapping book by Springer☆11May 6, 2019Updated 7 years ago
- ☆22Jul 6, 2023Updated 2 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- 法律数据挖掘☆22Jan 29, 2021Updated 5 years ago
- A Julia package to manage Constraint-Based Local Search (CBLS) solvers.☆29Feb 16, 2026Updated 2 months ago
- Lean 定理证明☆26Dec 28, 2025Updated 4 months ago
- Write formal proofs in natural language and LaTeX.☆48Dec 18, 2025Updated 4 months ago
- Try a tactic at each step in a Lean proof.☆36Apr 5, 2026Updated last month
- DACE Toolbox source code by Hans Bruun Nielsen, Søren Nymand and Lophaven Jacob Søndergaard☆13Jul 13, 2018Updated 7 years ago
- Heterogeneous Autoregressive model of Realized Volatility (HAR-RV), introduced by F Corsi (2009).☆11Sep 18, 2020Updated 5 years ago
- Sets of LaTex course notes taken for various Math/CS classes at McGill University: currently include MATH 240, MATH 247, MATH 323 and a r…☆39Feb 1, 2021Updated 5 years ago
- Fast estimation of generalized linear models with high dimensional categorical variables in Julia☆37Mar 18, 2026Updated last month
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Lean4中文教程☆36Feb 2, 2025Updated last year
- ☆10May 1, 2026Updated last week
- Lean 函数式编程☆45Dec 17, 2025Updated 4 months ago
- 使用github-pages和jekyll的博客模板☆12Jan 22, 2025Updated last year
- Provides Javascript animated SVGs that support the standard flight indicators for heading, speed, altitude, pitch and roll, vertical spee…☆19Jan 17, 2019Updated 7 years ago
- R code and Realized Volatility (RV) series set for fitting NN-based-HAR models to multinational RV series.☆13Sep 8, 2018Updated 7 years ago
- 使用Python第三方库xlrd和xlwt读与写Excel的demo☆12Dec 22, 2016Updated 9 years ago