An open API service providing repository metadata for many open source software ecosystems.

GitHub topics: real-analysis

rao107/real-analysis-ovchinnikov

Personal solutions to "Real Analysis: Foundations" by Sergei Ovchinnikov

Size: 30.3 KB - Last synced at: 1 day ago - Pushed at: 1 day ago - Stars: 0 - Forks: 0

jirilebl/ra

Basic Analysis, undergraduate real analysis textbook

Language: TeX - Size: 6.75 MB - Last synced at: 3 days ago - Pushed at: about 1 month ago - Stars: 75 - Forks: 26

Hacker-Code-J/Modern-Mathematics

My lecture notes for moderen mathematics, including topics like set theory, advanced calculus, topology, linear algebra and abstract algebra, complex analysis etc.

Language: TeX - Size: 80 MB - Last synced at: 7 days ago - Pushed at: 8 days ago - Stars: 8 - Forks: 0

zekiakyol/proof-based-math-readings

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

Size: 30.6 MB - Last synced at: 9 days ago - Pushed at: 9 days ago - Stars: 13 - Forks: 1

chiragbharadwaj/chiragbharadwaj.github.io

Source code for my personal site.

Language: CSS - Size: 162 MB - Last synced at: 3 days ago - Pushed at: 3 days ago - Stars: 0 - Forks: 0

rocq-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]

Language: Coq - Size: 1.39 MB - Last synced at: about 1 month ago - Pushed at: 10 months ago - Stars: 16 - Forks: 0

RobinHoltland01/real-analysis-ovchinnikov

Personal solutions to "Real Analysis: Foundations" by Sergei Ovchinnikov

Size: 1000 Bytes - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 0 - Forks: 0

Friendseeker/Analysis-I

Solution to Terence Tao's Analysis I

Size: 886 KB - Last synced at: about 1 month ago - Pushed at: over 2 years ago - Stars: 3 - Forks: 0

baksho/ds-maths-nutshell

Personal repository consisting of fundamental concepts of different branches of mathematics and statistics.

Size: 16.1 MB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 0 - Forks: 0

zelosleone/lean-theorems

A repository for studying and implementing Lean theorems, focusing on mathematical and philosophical concepts.

Language: Lean - Size: 12.7 KB - Last synced at: about 2 months ago - Pushed at: 6 months ago - Stars: 2 - Forks: 0

barton-willis/advanced-calculus

class notes for MATH 460, fall 2023

Language: TeX - Size: 20.6 MB - Last synced at: 3 months ago - Pushed at: 6 months ago - Stars: 5 - Forks: 0

adyavanapalli/stanford-introduction-to-mathematical-thinking

Keith Devlin's Introduction to Mathematical Thinking course on Coursera (2017 Spring)

Size: 8.57 MB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 112 - Forks: 30

cartabinaria/analisi-matematica

Risorse per analisi matematica al corso di informatica di unibo

Language: TeX - Size: 358 MB - Last synced at: 7 months ago - Pushed at: 7 months ago - Stars: 1 - Forks: 5

rocq-community/dedekind-reals

A formalization of the Dedekind real numbers in Coq [maintainer=@andrejbauer]

Language: Coq - Size: 182 KB - Last synced at: about 1 month ago - Pushed at: 10 months ago - Stars: 43 - Forks: 6

quasar-chunawala/real-analysis

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.

Size: 25.3 MB - Last synced at: 5 months ago - Pushed at: over 2 years ago - Stars: 3 - Forks: 1

HWJwilliam/Introduction-to-Mathmatical-Analysis

A side project on the book "Introduction to Mathematical Analysis"

Language: TeX - Size: 95.7 KB - Last synced at: 12 months ago - Pushed at: 12 months ago - Stars: 0 - Forks: 0

Michael-MD/Understanding-Analysis-by-Stephen-Abbott-Solutions

This GitHub repository offers detailed solutions to exercises from "Understanding Analysis" (First Edition) by Stephen Abbott. Solutions are written in LaTeX maintaining a high level of mathematical precision and typographic consistency with the textbook. The solutions are organized by chapters and sections.

Language: TeX - Size: 671 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

leeyngdo/Measure-Theory-Bass

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

Language: TeX - Size: 28.7 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

UlisseMini/understanding-analysis-solutions

Solutions to Understanding Analysis by Stephen Abbott (second edition)

Language: TeX - Size: 17 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 51 - Forks: 7

4amVim/Undergrad-Thesis

Stuff from final semester of Undergrad

Language: TeX - Size: 174 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

dev-aditya/course-notes-core

This repo contains notes for (some) courses made during core years at IISERM. CAUTION: Contain some cool stuff too.

Language: TeX - Size: 9.43 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 8 - Forks: 0

ericung/ManagerTheory

Manager Theory

Language: HTML - Size: 19.3 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

phelpmad/qual-notes

Language: TeX - Size: 2.18 MB - Last synced at: over 1 year ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

jgtiu/real-analysis-notes

Language: Jupyter Notebook - Size: 21.5 KB - Last synced at: over 1 year ago - Pushed at: almost 6 years ago - Stars: 4 - Forks: 0

KoyuChen/Econ-Math-Camp-at-UChicago

My personal notes of Economics Math Camp at Uchicago, Sept 5-15, 2023.

Size: 774 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

mrr00b00t/elinho-vol1

Repositório que manterá as soluções do livro de Análise Real volume 1: Funções de Uma Variável (o famoso elinho ou elon fino), do autor Elon Lages Lima.

Size: 4.88 KB - Last synced at: over 1 year ago - Pushed at: over 3 years ago - Stars: 1 - Forks: 0

jonathanwvos/stitch_boundaries

A computational method for low-resolution global search.

Language: Python - Size: 272 KB - Last synced at: almost 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

jonathanwvos/lightwall

Shader-based musical visualizers.

Language: Python - Size: 883 KB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0

nathanlo99/baby-rudin

My working through of the Baby Rudin proofs and exercises.

Language: TeX - Size: 9.88 MB - Last synced at: almost 2 years ago - Pushed at: over 5 years ago - Stars: 1 - Forks: 0

pedestrianlove/CSC_Analysis_Note

CSC's lecture note.

Language: TeX - Size: 67 MB - Last synced at: almost 2 years ago - Pushed at: almost 5 years ago - Stars: 1 - Forks: 0

SudipSinha/writings

Most of my writings — notes, talks, travelogues, thoughts, and the rest

Language: TeX - Size: 12.4 MB - Last synced at: almost 2 years ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0

jadnohra/tag_export

An export of my digital library (Mathematics, Logic, Physics, Numerical Analysis, Machine Learning, Computer Science)

Size: 107 KB - Last synced at: over 1 year ago - Pushed at: over 7 years ago - Stars: 8 - Forks: 2

ammarfaizi2/lambert_w_for_php

PHP extension to compute Lambert W(x) function.

Language: C++ - Size: 44.9 KB - Last synced at: 29 days ago - Pushed at: over 4 years ago - Stars: 5 - Forks: 1

Alestaubin/Math255_FinalCheatSheet

Final exam cheat sheet for Math 255 at McGill

Language: TeX - Size: 1.29 MB - Last synced at: almost 2 years ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0

hominee/mathematics

My Mathematics Journal. Almost all problems are from MSE, Textbook, & my Notebook, range from number theory, real analysis, complex analysis, set theory.

Language: SCSS - Size: 865 KB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 4 - Forks: 0

mikinty/Understanding-Analysis-Abbott-Solutions

Unofficial solutions to Understanding Analysis by Stephen Abbott (1st Edition)

Language: TeX - Size: 6.23 MB - Last synced at: about 2 years ago - Pushed at: almost 3 years ago - Stars: 88 - Forks: 23

Mehdi-Haned/Popcorn-Function

This is my attempt at program that graphs the popcorn function from 0 to 1. This functionn is continous over all irrational numbers but discontinous over the rationals.

Language: Python - Size: 0 Bytes - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

riceissa/tao-analysis-flashcards

Orbit spaced repetition flashcards for Terence Tao's Analysis I

Language: HTML - Size: 70.3 KB - Last synced at: about 2 years ago - Pushed at: almost 3 years ago - Stars: 3 - Forks: 1

celj/ITAM-cheat-sheets

Formularios ITAM

Language: TeX - Size: 15.5 MB - Last synced at: about 2 years ago - Pushed at: about 3 years ago - Stars: 2 - Forks: 1

salvaCasta276/Rudin-RnCAnalysis-Solutions

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

Language: TeX - Size: 2.58 MB - Last synced at: about 2 years ago - Pushed at: about 3 years ago - Stars: 0 - Forks: 0

AstrickHarren/Solutions-to-Real-and-Complex-Analysis

The solutions to Rudin's papa book. Author is studying himself whilst updating the solutions.

Language: TeX - Size: 1.16 MB - Last synced at: about 2 years ago - Pushed at: almost 6 years ago - Stars: 1 - Forks: 0

NoahWong96/Graduate-Studies

Work from classes I took as a graduate student at University of Minnesota Duluth

Language: HTML - Size: 12.8 MB - Last synced at: about 2 years ago - Pushed at: about 5 years ago - Stars: 0 - Forks: 0

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

Language: TeX - Size: 1.01 MB - Last synced at: about 2 months ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 1

riceissa/ivt-explorer

Language: HTML - Size: 65.4 KB - Last synced at: about 2 years ago - Pushed at: about 5 years ago - Stars: 0 - Forks: 0

Shaunticlair/real-analysis-textbook

This project aims to build a new real analysis textbook with a greater focus on pedagogy (the method of teaching). This text does its best to use simple language, explain its logic clearly, and speak in a way that is accessible to new math students.

Size: 1.47 MB - Last synced at: about 2 years ago - Pushed at: about 3 years ago - Stars: 1 - Forks: 0

carlosal1015/Real-Analysis-Project

Sala de chat del proyecto de Análisis Real 2019-1

Language: Jupyter Notebook - Size: 345 MB - Last synced at: 2 months ago - Pushed at: almost 6 years ago - Stars: 0 - Forks: 0

anton-petrunin/realanal

Corrections to "Basic Analysis" by Jiří Lebl

Language: TeX - Size: 772 KB - Last synced at: about 2 years ago - Pushed at: over 7 years ago - Stars: 0 - Forks: 1

Wh4rp/Real-Analysis-Notes

Notes of course of Real Analysis at Pontifical Catholic University of Chile

Language: TeX - Size: 1.54 MB - Last synced at: about 2 years ago - Pushed at: about 3 years ago - Stars: 0 - Forks: 0

Related Keywords
real-analysis 48 mathematics 16 calculus 7 linear-algebra 7 math 7 complex-analysis 6 latex 6 topology 4 machine-learning 4 analysis 4 solutions 4 mathematical-analysis 3 textbook 3 probability 3 measure-theory 2 optimization 2 python 2 statistics 2 notes 2 differential-geometry 2 probability-theory 2 coq 2 terence-tao 2 category-theory 2 physics 2 logic 2 number-theory 2 mathematical-logic 2 real-numbers 2 rational-numbers 2 infinite-series 2 natural-numbers 2 bayesian-statistics 2 continuous-functions 2 advanced-calculus 2 integers 2 mdbook 2 integration 2 fields 2 differentiation 2 set-theory 2 probability-theory-measure-based 1 stochastic-analysis 1 talks 1 tensor-product 1 thoughts 1 travelog 1 bookshelf 1 computer-science 1 sequences 1 presentations 1 mathematics-notes 1 mathematics-education 1 large-deviations 1 combinatorics 1 textbook-exercises 1 rudin 1 shaders 1 real-time-rendering 1 real-time-processing 1 pygame 1 audio-visualizer 1 audio-analysis 1 search-algorithm 1 lima 1 guide 1 econometrics 1 economics 1 math-analysis 1 cryptography 1 data-science 1 book-solutions 1 recurrence-relation 1 dtu-mc 1 fibonacci-sequence 1 methods-of-real-analysis 1 real-analysis-goldberg 1 richard-r-goldberg 1 explorable-explanations 1 math-students 1 students 1 differential-forms 1 lambda-calculus 1 numerical-analysis 1 numerical-integration 1 numerical-optimization 1 physics-simulation 1 rigid-body-dynamics 1 robotics 1 rotation 1 science 1 typed-lambda-calculus 1 lambert 1 scientific-computing 1 pdf 1 puc 1 jupyter-book 1 mathematic-notebook 1 philosophical-mathematics 1 philosophical-logic 1