Maths

General

• http://en.wikipedia.org/wiki/Maths

• http://www.gutenberg.org/wiki/Mathematics_%28Bookshelf%29

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

• http://en.wikipedia.org/wiki/Areas_of_mathematics

• 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/Formal_system

• http://en.wikipedia.org/wiki/Classical_logic

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

• http://en.wikipedia.org/wiki/Philosophy_of_mathematics
• http://en.wikipedia.org/wiki/Metalogic

Foundations

• http://en.wikipedia.org/wiki/Foundations_of_mathematics
• http://en.wikipedia.org/wiki/Mathematical_logic

Model

• http://en.wikipedia.org/wiki/Model_theory
• http://en.wikipedia.org/wiki/Mathematical_structure
• http://en.wikipedia.org/wiki/Morphism
• http://en.wikipedia.org/wiki/Space_(mathematics)

Set

• http://en.wikipedia.org/wiki/Set_theory
• http://en.wikipedia.org/wiki/Set_(mathematics)
• http://en.wikipedia.org/wiki/Class_(set_theory)
• http://en.wikipedia.org/wiki/Element_(mathematics)
• http://en.wikipedia.org/wiki/Algebraic_structures
• http://en.wikipedia.org/wiki/Constructible_universe
• http://en.wikipedia.org/wiki/Naive_set_theory
• http://en.wikipedia.org/wiki/Axiomatic_set_theory
• http://en.wikipedia.org/wiki/Type_theory

Proof

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

• http://www.proofwiki.org/wiki/Main_Page

Algebra

• http://en.wikipedia.org/wiki/Algebra
• http://en.wikipedia.org/wiki/Elementary_algebra
• http://en.wikipedia.org/wiki/Abstract_algebra
• http://en.wikipedia.org/wiki/Algebraic_structures
• http://en.wikipedia.org/wiki/Boolean_algebra
• http://en.wikipedia.org/wiki/Geometry

Calculus

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

• http://en.wikipedia.org/wiki/Formula
• http://en.wikipedia.org/wiki/Well-formed_formula
• http://en.wikipedia.org/wiki/Propositional_calculus

• http://en.wikipedia.org/wiki/Partial_function
• http://en.wikipedia.org/wiki/Domain_of_a_function

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

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

to sort

• http://en.wikipedia.org/wiki/Category_theory
• http://en.wikipedia.org/wiki/Cartesian_closed_categories

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

• http://en.wikipedia.org/wiki/Topos
• http://en.wikipedia.org/wiki/Topology
• http://en.wikipedia.org/wiki/Topological_space
• http://en.wikipedia.org/wiki/Metric_space

• http://en.wikipedia.org/wiki/Combinatorial_logic
• http://en.wikipedia.org/wiki/Sequential_logic

• http://en.wikipedia.org/wiki/Non-classical_logic
• http://en.wikipedia.org/wiki/Intuitionistic_logic
• http://en.wikipedia.org/wiki/Categorical_logic
• http://en.wikipedia.org/wiki/Modal_logic

• http://en.wikipedia.org/wiki/Computational_logic
• http://en.wikipedia.org/wiki/Computability_logic

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

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

• http://en.wikipedia.org/wiki/Zeroth-order_logic - propositional
• http://en.wikipedia.org/wiki/Predicate_logic
• http://en.wikipedia.org/wiki/First-order_logic
• http://en.wikipedia.org/wiki/Second-order_logic
• http://en.wikipedia.org/wiki/Higher-order_logic
• http://en.wikipedia.org/wiki/Many-sorted_logic

• http://en.wikipedia.org/wiki/Pure_type_systems
• http://en.wikipedia.org/wiki/Calculus_of_constructions

• http://en.wikipedia.org/wiki/Lambda_cube
• http://www.scribd.com/doc/2384893/barendregt92lambda

See Coding#Computation

• http://www.youtube.com/watch?v=foITiYYu2bc

• http://en.wikipedia.org/wiki/Curry%E2%80%93Howard_correspondence
• http://existentialtype.wordpress.com/2011/03/27/the-holy-trinity/

• 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/

• http://en.wikipedia.org/wiki/Radix
• http://threesixty360.wordpress.com/2009/06/09/ethiopian-multiplication/ [2]

• http://www.greenteapress.com/thinkbayes/
• http://betterexplained.com/articles/linear-algebra-guide/
• http://blog.stata.com/2011/03/03/understanding-matrices-intuitively-part-1/

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

• http://www.wisdomandwonder.com/link/6582/some-thoughts-on-mathematics
• http://news.ycombinator.com/item?id=4839881
• http://www.evanmiller.org/mathematical-hacker.html

• http://www.altdevblogaday.com/2011/05/17/understanding-the-fourier-transform/
• http://betterexplained.com/articles/an-interactive-guide-to-the-fourier-transform/

• 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/

• http://archive.org/stream/BrainfillingCurves-AFractalBestiary/BrainFilling#page/n0/mode/2up

Statistics

• https://github.com/mavam/stat-cookbook

Information theory

• http://en.wikipedia.org/wiki/Information_theory

• http://en.wikipedia.org/wiki/A_Mathematical_Theory_of_Communication

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.

• http://www.p-value.info/2012/11/free-datascience-books.html
• How to implement an algorithm from a scientific paper

Visualisation

• http://www.datapointed.net/visualizations/math/factorization/animated-diagrams/#

to find those prime vis things again

• http://acko.net/blog/making-mathbox/

Gephi

• https://gephi.org/
• https://wiki.gephi.org
• http://en.wikipedia.org/wiki/Gephi

• http://gephi.org/2011/forceatlas2-the-new-version-of-our-home-brew-layout/

Tools

• http://oeis.org/

Prime

• http://www.sievesofchaos.com/
  • http://infosthetics.com/archives/2009/12/visualizing_prime_numbers.html

• http://www.jasondavies.com/primos/

• http://www.numbersimulation.com/

Fractals

• http://en.wikipedia.org/wiki/Julia_set
• http://acko.net/blog/how-to-fold-a-julia-fractal/
• http://sprott.physics.wisc.edu/carlson/dragons.html

• http://en.wikipedia.org/wiki/Mandelbulb

• https://code.google.com/p/mandelstir/

• http://en.wikipedia.org/wiki/L-system

• http://forums.tigsource.com/index.php?topic=33260.msg885099#msg885099

Informatics

• http://hypertextbook.com/chaos/