GleasSpty / MATH-104-----Introduction-to-AnalysisLinks
☆22Updated 8 years ago
Alternatives and similar repositories for MATH-104-----Introduction-to-Analysis
Users that are interested in MATH-104-----Introduction-to-Analysis are comparing it to the libraries listed below
Sorting:
- ☆14Updated 8 years ago
- A wiki for collaborative work on totally legitimate "category theory"☆132Updated last year
- Source code for the nLab☆193Updated 9 months ago
- metamath proof enumerators and other things☆92Updated last month
- ☆350Updated 2 months ago
- Cross-referencing system for LaTeX, inspired with RDF☆17Updated last year
- Metamath program - source code for the Metamath executable☆89Updated 2 weeks ago
- Tag-based webview of LaTeX documents☆31Updated last year
- Axiom is a free, open source computer algebra system☆391Updated 2 years ago
- SAT Solver SATCH☆120Updated 3 years ago
- A collection of tools for writing technical documents that mix Coq code and prose.☆279Updated 3 months ago
- Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆82Updated 2 years ago
- ☆56Updated 7 months ago
- LaTeX Styles provided by Dagstuhl Publishing☆40Updated last year
- A LaTeX Typesetting Game☆260Updated 8 months ago
- Metamath Zero specification language☆365Updated last week
- Group theory visualization software in the browser☆266Updated last year
- Building the natural numbers in Lean 3. The original natural number game, now frozen. See README for Lean 4 information.☆301Updated last year
- Python implementation of the monster group☆55Updated 2 weeks ago
- Climb into Cantor’s Attic, where you will find infinities large and small. We aim to provide a comprehensive resource of information abou…☆33Updated 2 years ago
- Mathematical proofs of the bbchallenge project.☆24Updated 3 months ago
- A formal proof of the independence of the continuum hypothesis☆136Updated last year
- Metamath source file for logic and set theory☆299Updated this week
- Java implementations of sequences in the OEIS☆68Updated this week
- Natural Number Game☆263Updated 2 months ago
- The formal proof of the Kepler conjecture☆165Updated last year
- This is the repository for the Clowder project, an online collaborative resource for category theory and mathematics in general☆37Updated 3 months ago
- Official repository of the FriCAS computer algebra system☆361Updated last month
- Search for ambiguities in context-free grammars.☆40Updated 4 years ago
- A terse declarative logic programming language☆118Updated 5 years ago