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: 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/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

real-analysis terence-tao

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