Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
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: 11 Oct 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 Oct 2024
https://github.com/barton-willis/advanced-calculus
class notes for MATH 460, fall 2023
higher-education homework-assignments real-analysis
Last synced: 11 Nov 2024
https://github.com/friendseeker/analysis-i
Solution to Terence Tao's Analysis I
Last synced: 28 Oct 2024
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: 15 Nov 2024
