Mathematics Links to this note Applied maths Automated theorem proving Combinatorics Differential equations Fractional calculus Graphs Hadamard product Hyperbolic geometry John Conway Mathematics Matrix factorization Moore-Penrose inverse Optimization Softmax Tropical semiring