real-analysis
There are 51 repositories under real-analysis topic.
mikinty/Understanding-Analysis-Abbott-Solutions
Unofficial solutions to Understanding Analysis by Stephen Abbott (1st Edition)
adyavanapalli/stanford-introduction-to-mathematical-thinking
Keith Devlin's Introduction to Mathematical Thinking course on Coursera (2017 Spring)
jirilebl/ra
Basic Analysis, undergraduate real analysis textbook
UlisseMini/understanding-analysis-solutions
Solutions to Understanding Analysis by Stephen Abbott (second edition)
rocq-community/dedekind-reals
A formalization of the Dedekind real numbers in Coq [maintainer=@andrejbauer]
rocq-community/coqtail-math
Coqtail is a library of mathematical theorems and tools proved inside the Coq proof assistant. Results range mostly from arithmetic to real and complex analysis. [maintainer=@jmadiot]
zekiakyol/proof-based-math-readings
📕 Proof-Based Math Readings is a free, independent online reading group where we study the mathematics required for economics master’s and PhD programs through an intuitive approach. Active since May 2023.
dev-aditya/course-notes-core
This repo contains notes for (some) courses made during core years at IISERM. CAUTION: Contain some cool stuff too.
jadnohra/tag_export
An export of my digital library (Mathematics, Logic, Physics, Numerical Analysis, Machine Learning, Computer Science)
Hacker-Code-J/Modern-Mathematics
My lecture notes for moderen mathematics, including topics like set theory, advanced calculus, topology, linear algebra and abstract algebra, complex analysis etc.
ammarfaizi2/lambert_w_for_php
PHP extension to compute Lambert W(x) function.
barton-willis/advanced-calculus
class notes for MATH 460, fall 2023
leeyngdo/Measure-Theory-Bass
Own solutions for exercises in "Real Analysis for Graduate Students" by Richard F. Bass.
Friendseeker/Analysis-I
Solution to Terence Tao's Analysis I
hominee/mathematics
My Mathematics Journal. Almost all problems are from MSE, Textbook, & my Notebook, range from number theory, real analysis, complex analysis, set theory.
zelosleone/lean-theorems
A repository for studying and implementing Lean theorems, focusing on mathematical and philosophical concepts.
quasar-chunawala/real-analysis
Unofficial solutions to the text, "Understanding Analysis" by Stephen Abbott. I started writing these solutions, when I was self-studying and taking a first course in real analysis.
riceissa/tao-analysis-flashcards
Orbit spaced repetition flashcards for Terence Tao's Analysis I
lezcodes/ITAM-cheat-sheets
Formularios ITAM
Shaunticlair/real-analysis-textbook
This project aims to build a new real analysis textbook with a greater focus on pedagogy (the method of teaching). This text does its best to use simple language, explain its logic clearly, and speak in a way that is accessible to new math students.
TetewHeroez/Tugas-Kuliah
A collection of assignments from my undergraduate and master's studies.
alessandroruggieri/PhD-mathematics-brush-up
Real analysis and optimization brush-up course for PhD
AstrickHarren/Solutions-to-Real-and-Complex-Analysis
The solutions to Rudin's papa book. Author is studying himself whilst updating the solutions.
carlosal1015/Real-Analysis-Project
Sala de chat del proyecto de Análisis Real 2019-1
cartabinaria/analisi-matematica
Risorse per analisi matematica al corso di informatica di unibo
jonathanwvos/lightwall
Shader-based musical visualizers.
nathanlo99/baby-rudin
My working through of the Baby Rudin proofs and exercises.
pedestrianlove/CSC_Analysis_Note
CSC's lecture note.
salvaCasta276/Rudin-RnCAnalysis-Solutions
Open source solutions to exercises of the book Real and Complex Analysis by Walter Rudin - https://www.youtube.com/watch?v=vUJEG3tUVaY
HWJwilliam/Introduction-to-Mathmatical-Analysis
A side project on the book "Introduction to Mathematical Analysis"
RobinHoltland01/real-analysis-ovchinnikov
Personal solutions to "Real Analysis: Foundations" by Sergei Ovchinnikov
baksho/ds-maths-nutshell
Personal repository consisting of fundamental concepts of different branches of mathematics and statistics.
cartabinaria/difa-analisi-matematica-1
Una raccolta di risorse per l'insegnamento di Analisi Matematica 1 (27210) del Corso di Laurea in Fisica.
markml466/Sierpinski-Homology-Thesis-Work
LaTeX source and PDF source of the groundwork for my master's thesis.
rao107/real-analysis-ovchinnikov
Personal solutions to "Real Analysis: Foundations" by Sergei Ovchinnikov