Maths

total mess. also working back from computation on computing

General

to sort

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

• https://en.wikipedia.org/wiki/Outline_of_mathematics
• https://en.wikipedia.org/wiki/Foundations_of_mathematics

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

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

• http://en.wikipedia.org/wiki/Philosophy_of_mathematics
  • http://www.math.hawaii.edu/~lee/exist.html
• http://www.und.nodak.edu/instruct/lgeller/

• http://world.mathigon.org/ [1]

• https://en.wikipedia.org/wiki/Areas_of_mathematics
• https://en.wikipedia.org/wiki/Discrete_mathematics

• https://en.wikipedia.org/wiki/Pre-algebra
• https://en.wikipedia.org/wiki/Precalculus

• https://en.wikipedia.org/wiki/Pure_mathematics

• http://mathwithbaddrawings.com/
• http://www.mathsisfun.com/index.htm

• https://en.wikipedia.org/wiki/Linear_system
• https://en.wikipedia.org/wiki/Superposition_principle
• https://en.wikipedia.org/wiki/Nonlinear_system

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

• https://sites.google.com/site/numberopedia/

• http://www-history.mcs.st-andrews.ac.uk/Extras/Poincare_Intuition.html

• http://terrytao.wordpress.com/

• http://www.arsmathematica.net/

• http://tutorial.math.lamar.edu/

• http://mathoverflow.net/questions/54430/video-lectures-of-mathematics-courses-available-online-for-free

• http://www.reddit.com/r/askscience/comments/1kt88j/is_0_halfway_between_positive_infinity_and/

• http://web.stonehill.edu/compsci//History_Math/math-read.htm

• http://www.ams.org/notices/200501/fea-dundes.pdf

• http://afp.sourceforge.net/

• http://blogs.scientificamerican.com/roots-of-unity/2013/09/12/10-trig-functions-youve-never-heard-of/?WT_mc_id=SA_DD_20130913

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

• http://en.wikipedia.org/wiki/Mathematical_objects 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.

Social

• http://functionspace.org/
  • http://functionspace.org/articles/6/Understanding-the-most-beautiful-equation-in-Mathematics

• http://michaelnielsen.org/polymath1/index.php?title=Main_Page - massively collaborative online mathematical projects
  • http://gowers.wordpress.com/2009/01/27/is-massively-collaborative-mathematics-possible/

Books

• http://minireference.com/

Arithmetic

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

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

• http://blog.stata.com/2011/03/03/understanding-matrices-intuitively-part-1/

• http://blog.ram.rachum.com/post/54747783932/indescribable-numbers-the-theorem-that-made-me-fall-in

• https://news.ycombinator.com/item?id=6187014

• http://www.uh.edu/engines/epi504.htm

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

• https://en.wikipedia.org/wiki/Finger_binary

Algebra

• http://en.wikipedia.org/wiki/Algebra
• http://en.wikipedia.org/wiki/Elementary_algebra
• http://en.wikipedia.org/wiki/Equation

• http://profkeithdevlin.org/2011/11/20/what-is-algebra/

• http://minireference.com/blog/linear-algebra-tutorial/

• http://en.wikipedia.org/wiki/Abstract_algebra
• http://en.wikipedia.org/wiki/Algebraic_structure

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

• http://graph.tk/

• https://en.wikipedia.org/wiki/Ring_theory
• https://en.wikipedia.org/wiki/Ring_(mathematics)

Number theory

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

• http://oeis.org/

• https://en.wikipedia.org/wiki/Riemann_hypothesis
  • http://www.maths.bris.ac.uk/research/highlights/random-m/

Prime

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

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

• http://www.numbersimulation.com/

• http://www.johndcook.com/blog/2013/10/12/prime-generating-fractions/

Trigonometry

• https://en.wikipedia.org/wiki/Trigonometry

• http://oolong.co.uk/trig.htm

Geometry

• Geometry

• http://www.mathsisfun.com/geometry/platonic-solids-why-five.html

• http://fleetinbeing.net/hypersolid/examples/24cell-construction.html

• http://sciencevsmagic.net/geo

• http://en.wikipedia.org/wiki/Polytope
  • http://en.wikipedia.org/wiki/Polygon
  • http://en.wikipedia.org/wiki/Polyhedron
  • http://en.wikipedia.org/wiki/Polychoron

• http://en.wikipedia.org/wiki/Aperiodic_tiling
• http://en.wikipedia.org/wiki/Girih_tiles

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

Calculus

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

• https://en.wikipedia.org/wiki/Propositional_calculus

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

Logic

• https://en.wikipedia.org/wiki/Logic
• https://en.wikipedia.org/wiki/Classical_logic
• https://en.wikipedia.org/wiki/Mathematical_logic
• https://en.wikipedia.org/wiki/Metalogic

• https://en.wikipedia.org/wiki/Proposition
• https://en.wikipedia.org/wiki/Statement_(logic)
• https://en.wikipedia.org/wiki/Logical_consequence
• https://en.wikipedia.org/wiki/Sentence_(mathematical_logic)

• https://en.wikipedia.org/wiki/Mathematical_proof

• https://en.wikipedia.org/wiki/Formulation_(logic)
• https://en.wikipedia.org/wiki/Quantifier#Logic
• https://en.wikipedia.org/wiki/Free_variables_and_bound_variables
• https://en.wikipedia.org/wiki/Domain_of_discourse

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

• https://en.wikipedia.org/wiki/Formal_system
• https://en.wikipedia.org/wiki/Axiomatic_system
• https://en.wikipedia.org/wiki/Formal_methods
• https://en.wikipedia.org/wiki/Formal_language

• https://en.wikipedia.org/wiki/Peano_axioms

• https://en.wikipedia.org/wiki/Theorem
• https://en.wikipedia.org/wiki/Theory_(mathematical_logic)

• https://en.wikipedia.org/wiki/Natural_deduction
• https://en.wikipedia.org/wiki/Mathematical_induction

• http://coq.inria.fr/
  • https://en.wikipedia.org/wiki/Coq

• https://en.wikipedia.org/wiki/Predicate_logic

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

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

• http://logitext.mit.edu/logitext.fcgi/tutorial?

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

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

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

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

• https://news.ycombinator.com/item?id=6119414

• http://skibinsky.com/godel-turing-and-cantor-the-math/

• http://www.logicmatters.net/resources/pdfs/TextbooksOnLogic.pdf

• https://en.wikipedia.org/wiki/Object_theory

Type theory

• https://en.wikipedia.org/wiki/Type_theory
  • http://ivanych.net/doc/NotesOnTypeSystemsVoevodsky.pdf

• http://homotopytypetheory.org/
• https://github.com/HoTT/book
  • https://news.ycombinator.com/item?id=5914395

Topology

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

• https://en.wikipedia.org/wiki/Algebraic_topology

Group theory

• https://en.wikipedia.org/wiki/Group_theory
• https://en.wikipedia.org/wiki/Element_(mathematics)

• http://plus.maths.org/content/enormous-theorem-classification-finite-simple-groups

Field theory

• https://en.wikipedia.org/wiki/Field_theory_(mathematics)
• https://en.wikipedia.org/wiki/Field_(mathematics)

Category theory

• https://en.wikipedia.org/wiki/Category_theory
• https://en.wikipedia.org/wiki/Morphism
• https://en.wikipedia.org/wiki/Cartesian_closed_categories

• Category Theoretic Foundation Systems

• http://yogsototh.github.io/Category-Theory-Presentation

Model theory

The study of interpretation of formal systems is the branch of mathematical logic that is known as model theory.

• 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_%28mathematics%29

• https://en.wikipedia.org/wiki/Alloy_(specification_language)

Order theory

• https://en.wikipedia.org/wiki/Order_theory

• https://en.wikipedia.org/wiki/Partially_ordered_set

Domain theory

• https://en.wikipedia.org/wiki/Domain_theory

Proof theory

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

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

Analysis

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

• https://en.wikipedia.org/wiki/Complex_analysis

Statistics

• https://en.wikipedia.org/wiki/Mathematical_statistics

• https://en.wikipedia.org/wiki/Median

• https://github.com/jtleek/datasharing

• https://github.com/mavam/stat-cookbook
• https://normaldeviate.wordpress.com/2012/11/17/what-is-bayesianfrequentist-inference
• http://www.greenteapress.com/thinkbayes

• https://en.wikipedia.org/wiki/Principal_component_analysis
  • http://stats.stackexchange.com/questions/2691/making-sense-of-principal-component-analysis-eigenvectors-eigenvalues

• http://www.refsmmat.com/statistics/

• http://www.edwardtufte.com/tufte/gould

Information theory

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

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

Cellular automaton

• https://en.wikipedia.org/wiki/Cellular_automaton

• http://sciencevsmagic.net/eca/#150

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

• http://www.scilab.org/

• http://www.linuxbsdos.com/2013/07/14/2-free-software-alternatives-to-matlab/

Visualisation

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

to find those prime vis things again

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

Gephi

• Gephi is an interactive visualization and exploration platform for all kinds of networks and complex systems, dynamic and hierarchical graphs.
• https://wiki.gephi.org
• http://en.wikipedia.org/wiki/Gephi

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

Fractals

• http://www.oftenpaper.net/sierpinski.htm

• 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://www.pheelicks.com/2013/11/intro-to-images-in-go-fractals/

• https://en.wikipedia.org/wiki/Mandelbulb
  • http://blog.hvidtfeldts.net/index.php/category/mandelbulb/

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

• http://syntopia.github.io/Fragmentarium/

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

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

• http://www.openprocessing.org/sketch/105510

Informatics

• http://hypertextbook.com/chaos/

to sort

• https://en.wikipedia.org/wiki/Theory_of_relations

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

• http://betterexplained.com/articles/linear-algebra-guide/

• 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.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/
• http://toxicdump.org/stuff/FourierToy.swf [3]

• Mathematics: What do grad students in math do all day?

• What is the enlightenment I'm 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://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

• http://3.14-pi.net/

• http://oneweirdkerneltrick.com/

• http://www.wolframalpha.com/input/?i=3%283x-7u%29+%3C+9x-7i&a=i_Variable