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:
- 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 4 years ago
- Mathematics + Statistics Courses at the University of Alberta☆15Jan 8, 2023Updated 3 years ago
- Files for lawcite biblatex style☆10Apr 17, 2023Updated 2 years ago
- Notify me, Julia! I cannot remember after executing the script!!☆15Jul 26, 2021Updated 4 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Lean 形式化数学☆17Dec 20, 2025Updated 3 months ago
- Codes for research data sets☆13May 15, 2018Updated 7 years ago
- Fast Poisson Random Numbers in pure Julia for scientific machine learning (SciML)☆20Mar 21, 2026Updated last week
- ☆22Jan 19, 2023Updated 3 years ago
- Notes and Julia code for computational economics reading group☆17Jun 12, 2023Updated 2 years ago
- A collection of recent open-source math datasets for training and evaluating Math LLMs☆24Dec 8, 2025Updated 3 months ago
- Write LaTeX presentations directly from Lean4~☆25Dec 28, 2025Updated 3 months ago
- Template code for exporting Stata regression output to beautiful LaTeX tables☆18May 27, 2016Updated 9 years ago
- ☆16Jul 29, 2024Updated last year
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Blog Posts Repo☆12Jun 3, 2019Updated 6 years ago
- A 12 classes introductiry course in MAcroeconomics☆14Jan 28, 2026Updated 2 months ago
- A C++ implementation of a PID Controller.☆11Jul 30, 2017Updated 8 years ago
- Complex helicopter model based on the General Helicopter (GenHel) flight dynamics simulation model. This model is representative of a uti…☆13Jan 3, 2022Updated 4 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
- Documentation for LaTeXing.☆16Sep 10, 2015Updated 10 years ago
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- ☆25Jan 27, 2026Updated 2 months ago
- ☆22Jul 6, 2023Updated 2 years ago
- 法律数据挖掘☆22Jan 29, 2021Updated 5 years ago
- This repository is for my undergraduate thesis. It contains the tex file, the bib file and figures needed to reproduce the thesis. Some p…☆13Jun 5, 2019Updated 6 years ago
- ☆32Dec 22, 2025Updated 3 months ago
- Credit Default Swaps in R☆13Sep 13, 2017Updated 8 years ago
- A Julia package to manage Constraint-Based Local Search (CBLS) solvers.☆29Feb 16, 2026Updated last month
- A clean graph scheme for Stata☆26May 31, 2016Updated 9 years ago
- Sample Codes for the Medium Publication "Financial Data Analysis"☆28Dec 9, 2021Updated 4 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- Try a tactic at each step in a Lean proof.☆36Mar 1, 2026Updated 3 weeks ago
- 中南大学本科学位论文LaTeX模板☆20May 11, 2021Updated 4 years ago
- Fast estimation of generalized linear models with high dimensional categorical variables in Julia☆36Mar 18, 2026Updated last week
- A deprecated equality saturation tactic for Lean based on egg.☆82Mar 2, 2026Updated 3 weeks ago
- Here are some resources for Stata learning.☆39Oct 3, 2025Updated 5 months ago
- LeanAgent is a novel lifelong learning framework for formal theorem proving that continuously generalizes to and improves on ever-expandi…☆59Jun 13, 2025Updated 9 months ago
- A quite large story and puzzle mod that takes place on Dark Bramble.☆38Jan 24, 2026Updated 2 months ago