Maths
Jump to navigation
Jump to search
General
Arithmetic
Algebra
Geometry
Model
Set
Proof
Logic
Computation
Calculus
Analysis
to sort
Books
mess. working back from computation on coding
General
- 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.
Arithmetic
- http://en.wikipedia.org/wiki/Radix
- http://threesixty360.wordpress.com/2009/06/09/ethiopian-multiplication/ [2]
Algebra
- http://en.wikipedia.org/wiki/Algebra
- http://en.wikipedia.org/wiki/Elementary_algebra
- http://en.wikipedia.org/wiki/Equation
- http://en.wikipedia.org/wiki/Abstract_algebra
- http://en.wikipedia.org/wiki/Algebraic_structures
- http://en.wikipedia.org/wiki/Boolean_algebra
Geometry
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)
Category
- http://en.wikipedia.org/wiki/Category_theory
- http://en.wikipedia.org/wiki/Cartesian_closed_categories
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/Structure_(mathematical_logic)
- 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
- 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
Proof
Logic
- http://en.wikipedia.org/wiki/Classical_logic
- http://en.wikipedia.org/wiki/Mathematical_logic
- 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/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
Computation
- http://en.wikipedia.org/wiki/Curry%E2%80%93Howard_correspondence
- http://existentialtype.wordpress.com/2011/03/27/the-holy-trinity/
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
Analysis
to sort
- 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 Mathematics: What do grad students in math do all day?]
- [http://cstheory.stackexchange.com/questions/14811/what-is-the-enlightenment-im-supposed-to-attain-after-studying-finite-automata What is the enlightenment I'm supposed to attain after studying finite automata?]
Statistics
- https://github.com/mavam/stat-cookbook
- https://normaldeviate.wordpress.com/2012/11/17/what-is-bayesianfrequentist-inference/
- http://www.greenteapress.com/thinkbayes/
Information theory
Books
Social
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
to find those prime vis things again
Gephi
Tools
Prime
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