Mathematics
From bitrary
The purpose of the notes here is to help me, martin.vahi@softf1.com, to learn for exams and other type of objectives and to find out the relevant details after I have forgotten a lot of them. It is written in a style that hopefully is a helpful supplementary material for other people, who also want to understand the topics.
Please do take to account the fact that as Mathematics evolves, the material presented here will get out of date. My skills will also evolve, definitely for the worse, but I will try to keep the material in sync with the "smartest version of me".
- Introduction to Mathematics in Words of a Heretic
- Algebra
- Chaos Theory
- Combinatorics
- Game Theory
- Graph Theory
- Logic
- How to Prove Things
- Philosophy of Mathematics
- Real Numbers
- Set Theory
- Software : Symbolic Calculation
- Statistics
- Whole Numbers and Rationals
Contents
References
- An R Introduction to Statistics
- Arnetminer
- CNX
- List of Free Electronic Mathematics Journals 01(archival copy)
- List of Free Electronic Mathematics Journals 02(archival copy)
- The Electronic Library of Mathematics
- isi-web.org
- LinearAlgebraWiki
- lmfdb.org
- MathHub
- MathForum Library
- mathsrevision.net
- math.stackexchange.com
- optimization-online.org
- The On-Line Encyclopedia of Integer Sequences
- PlanetMath
- primes.utm.edu
- Project Euclid Open Access
- statlect.com
- ProofWiki
- WolframAlpha
- Wolfram MathWorld
- zbMATH
Collections
- arXiv.org
- archives.math.utk.edu
- intlpress.com Free Journals
- Metamath Proof Explorer
- msp.org Open Book Series
Encyclopedias
Study Books
- Handbook_of_Set_Theory_by_Foreman_Kanamori_and_Magidor
- diestel-graph-theory.com (The documentation of the LEMON C++ Graph Library might also be handy)
- Florida State University Virtual Library
- The Trillia Group
- METRIC by Imperial College London
- Numerical Tours of Data Sciences by Gabriel Peyré
- File:1944 xx xx George Polya How-to-Solve-it keywords Mathematics proofs thinking methods heuristics.pdf A similar set of ideas is the TRIZ("теория решения изобретательских задач") development methodology that supposedly was used at the Soviet Union weapons' industry for coming up with new designs.
Video Lectures
Automation
- Isabelle and its Archive of Formal Proofs
