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

disciplines

• fundamentals
• number theory
• algebra
• geometry
• combinatorics
• analysis
• topology
• logic
• probability
• computer science

community

for the younger generation we have a discord server

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.

For more details on how to contribute check here, for more details on how everything works see here

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

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