Projects in Awesome Lists tagged with real-analysis
A curated list of projects in awesome lists tagged with real-analysis .
https://github.com/coq-community/dedekind-reals
A formalization of the Dedekind real numbers in Coq [maintainer=@andrejbauer]
coq dedekind-reals real-analysis
Last synced: 19 Dec 2024
https://github.com/coq-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]
complex-analysis coq real-analysis
Last synced: 10 Feb 2025
https://github.com/hacker-code-j/modern-mathematics
Materials for graduate-level mathematics, including topics like set theory, real analysis, topology, linear algebra and abstract algebra.
advanced-calculus real-analysis set-theory topology
Last synced: 01 Mar 2025
https://github.com/barton-willis/advanced-calculus
class notes for MATH 460, fall 2023
higher-education homework-assignments real-analysis
Last synced: 26 Feb 2025
https://github.com/ammarfaizi2/lambert_w_for_php
PHP extension to compute Lambert W(x) function.
calculus lambert physics real-analysis scientific-computing
Last synced: 14 Apr 2025
https://github.com/friendseeker/analysis-i
Solution to Terence Tao's Analysis I
Last synced: 03 Apr 2025
https://github.com/zelosleone/lean-theorems
A repository for studying and implementing Lean theorems, focusing on mathematical and philosophical concepts.
euclidean-geometry formal-verification geometry lean lean4 mathematics philosophical-logic philosophical-mathematics real-analysis theorem-proving theorem-provings topology
Last synced: 08 Mar 2025
https://github.com/anishlearnstocode/real-analysis
This the latex project that I have built for my Real Analysis Course. It contains solutions from the real analysis book by Richard Goldberg
book-solutions dtu-mc latex methods-of-real-analysis real-analysis real-analysis-goldberg richard-r-goldberg
Last synced: 18 Mar 2025
https://github.com/carlosal1015/real-analysis-project
Sala de chat del proyecto de Análisis Real 2019-1
fibonacci-sequence real-analysis recurrence-relation sequences
Last synced: 05 Mar 2025