---

search openmath

---

Principles

• Helps users learn topics in mathematics
• Suitable for offline use
• Contains concise mathematical information
• Simple tech stack (minimal possible dependencies)
• Accessible for all skill levels
• Easy to navigate
• Freely accessible
• Any user can contribute

Additionally it focuses on recursive learning, which is that given a statement for each definition in that statement you can follow it back to a previous definition recursively until you're at some fundamental definition and then work your way back to the original statement. Openmath attempts to make recursive learning as smooth as possible.

Pure Disciplines

• Fundamentals
• Number Theory
• Algebra
• Geometry
• Combinatorics
• Analysis
• Topology
• Logic

Applied Disciplines

• Physics
• Probability
• Computer Science
• Machine Learning
• Electrical Engineering

Community

As a catch-all for anyone who doesn't want to use discord, we have GitHub discussions, which you will have access to already if you have a GitHub account.

Contributing

Anyone can contribute to openmath, to get started make a GitHub account and head to source code, the html folder contains all the mathematical content.

Once you've grasped the basics of contributing, check out openmath-cli to speed up your workflow.

How it Works

Terminology

• Definition: Notation words or anything used to encapsulate something larger into something smaller
• Theorem: Something which is true, that takes more effort to show and is most likely used in many places
• Proposition: A theorem of lesser importance
• Lemma: A true statement which is used in proving of a theorem, and not used in many other places
• Corollary: A true statement that doesn't take much effort to prove from a theorem or lemma
• Exercise: Something for the reader to try themselves