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)

Basic Analysis, undergraduate real analysis textbook

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, 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.

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)

TEX'ed lecture notes for MAT157Y5 - Analysis I (2021-2022).

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.

Orbit spaced repetition flashcards for Terence Tao's Analysis I

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.

Solution to Terence Tao's Analysis I

Formularios ITAM

Own solutions for exercises in "Real Analysis for Graduate Students" by Richard F. Bass.

Open source solutions to exercises of the book Real and Complex Analysis by Walter Rudin