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