- R4639: Characteristic function for translated random real number
- R268: Basel problem
- R5632: Derivative function for a real matrix quadratic form
- D432: Strictly monotone map
- D637: Natural number addition operation
- D441: Open set cover
- R4796: Probability for two independent exponential random positive real numbers to be smaller than the other
- D5940: Real square matrix standard minor
- D4925: Euclidean real arithmetic mean
- R5507: Real square matrix invertible iff determinant is