There are 3 repositories under real-analysis topic.
Keith Devlin's Introduction to Mathematical Thinking course on Coursera (2017 Spring)
Unofficial solutions to Understanding Analysis by Stephen Abbott (1st Edition)
Solutions to Understanding Analysis by Stephen Abbott (second edition)
A formalization of the Dedekind real numbers in Coq [maintainer=@andrejbauer]
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]
📕 Proof-Based Math Readings is a free and independent online reading group where we study mathematics required in economics master's/PhD programs using an intuitive approach.
This repo contains notes for (some) courses made during core years at IISERM. CAUTION: Contain some cool stuff too.
An export of my digital library (Mathematics, Logic, Physics, Numerical Analysis, Machine Learning, Computer Science)
PHP extension to compute Lambert W(x) function.
My Mathematics Journal. Almost all problems are from MSE, Textbook, & my Notebook, range from number theory, real analysis, complex analysis, set theory.
class notes for MATH 460, fall 2023
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.
Orbit spaced repetition flashcards for Terence Tao's Analysis I
Formularios ITAM
Real analysis and optimization brush-up course for PhD
The solutions to Rudin's papa book. Author is studying himself whilst updating the solutions.
Risorse per analisi matematica al corso di informatica di unibo
Shader-based musical visualizers.
My working through of the Baby Rudin proofs and exercises.
Open source solutions to exercises of the book Real and Complex Analysis by Walter Rudin
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.
Final exam cheat sheet for Math 255 at McGill
This repository holds most of the information covered over the course of MATH 301, Introduction to Analysis, Fall 2023 at Brigham Young University - Idaho
My personal notes of Economics Math Camp at Uchicago, Sept 5-15, 2023.
Own solutions for exercises in "Real Analysis for Graduate Students" by Richard F. Bass.
A side project on the book "Introduction to Mathematical Analysis"
This is my attempt at program that graphs the popcorn function from 0 to 1. This functionn is continous over all irrational numbers but discontinous over the rationals.
This GitHub repository offers detailed solutions to exercises from "Understanding Analysis" (First Edition) by Stephen Abbott. Solutions are written in LaTeX with a focus on mathematical rigour and typographic consistency with the textbook. The solutions are organized by chapters and sections.
Notes of course of Real Analysis at Pontifical Catholic University of Chile