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 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)

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.

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

Solution to Terence Tao's Analysis I

Formularios ITAM

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