Maths

Things and Stuff Wiki - An organically evolving personal wiki knowledge base. An on-the-fly taxonomy containing a patchwork trail of topic outlines, descriptions, notes, stubs and breadcrumbs, with links to sites, systems, software, manuals, organisations, people, articles, guides, slides, papers, books, comments, videos, screencasts, webcasts, scratchpads and more. Content is orientated towards mostly free/libre/open, mostly Linux. Quality and age varies drastically. Sometimes old things are first, sometimes last. Use the Table of Contents menu to navigate long pages. Zoom in if text is too small. Dead link? Wayback Machine. I probably need to fix the theme CSS after an update. See also libreav.org. Chat to msg me (not checking tho atm). e

General

https://gist.github.com/stoutbeard/4158578

http://en.wikipedia.org/wiki/History_of_mathematics
- http://en.wikipedia.org/wiki/Indian_mathematics

http://en.wikipedia.org/wiki/Formal_system

http://en.wikipedia.org/wiki/Number_theory

http://en.wikipedia.org/wiki/Calculus is the mathematical study of change
http://en.wikipedia.org/wiki/Propositional_calculus

http://en.wikipedia.org/wiki/Mathematical_analysis

mathematical object - an abstract object arising in philosophy of mathematics and mathematics. Commonly encountered mathematical objects include numbers, permutations, partitions, matrices, sets, functions, and relations. Geometry as a branch of mathematics has such objects as hexagons, points, lines, triangles, circles, spheres, polyhedra, topological spaces and manifolds. Algebra, another branch, has groups, rings, fields, group-theoretic lattices, and order-theoretic lattices. Categories are simultaneously homes to mathematical objects and mathematical objects in their own right.

http://en.wikipedia.org/wiki/Model_theory

http://en.wikipedia.org/wiki/Structure_(mathematical_logic)

http://en.wikipedia.org/wiki/Proof_theory

http://en.wikipedia.org/wiki/Natural_deduction

http://en.wikipedia.org/wiki/Mathematical_induction

See Coding#Computation

http://en.wikipedia.org/wiki/Combinatorics

http://en.wikipedia.org/wiki/Theory_of_relations

http://www.rbjones.com/rbjpub/pp/gst/ctf-m.html

http://www.ams.org/notices/201201/rtx120100031p.pdf [1]

http://minireference.com/

https://normaldeviate.wordpress.com/2012/11/17/what-is-bayesianfrequentist-inference/

https://gist.github.com/4158578

http://cstheory.stackexchange.com/questions/14811/what-is-the-enlightenment-im-supposed-to-attain-after-studying-finite-automata

http://news.ycombinator.com/item?id=4875770

http://en.wikipedia.org/wiki/Dedekind_eta_function

http://junfukuyama.wordpress.com/
- http://news.ycombinator.com/item?id=4901849

http://esciencecommons.blogspot.co.uk/2012/12/math-formula-gives-new-glimpse-into.html

http://www.empiricalzeal.com/2012/12/21/what-does-randomness-look-like/

http://en.wikipedia.org/wiki/Combinatorics
- http://en.wikipedia.org/wiki/Thue-Morse_sequence - !!!

http://jeremykun.com/2013/02/08/why-there-is-no-hitchhikers-guide-to-mathematics-for-programmers/

http://en.wikipedia.org/wiki/Denotational_semantics

http://jeremykun.com/primers/

Social

http://functionspace.org/

Computing

Mathics is a free, general-purpose online computer algebra system featuring Mathematica-compatible syntax and functions. It is backed by highly extensible Python code, relying on SymPy for most mathematical tasks and, optionally, Sage for more advanced stuff.