Theorems
-
T39
Euclidean geometry
triangle
right-angled triangle
equality
Inverse Pythagorean theorem
Created at 2024-03-03 09:00
-
T38
Euclidean geometry
triangle
right-angled triangle
equality
Pythagorean theorem
Created at 2024-03-03 09:00
-
T103
inequality
cauchy inequality
finite sequences
Created at 2023-07-28 07:10
-
T102
Euclidean geometry
triangle
inscribed circle of a triangle
area of triangle
circumference of triangle
equality
Created at 2021-09-26 12:00
-
T101
gaussian integral
equality
Created at 2021-09-13 08:00
-
T100
Euclidean geometry
triangle
equality
Created at 2021-09-11 11:00
-
T62
equality
Created at 2021-08-01 12:00
-
T61
equality
Created at 2021-08-01 12:00
-
T60
equality
Created at 2021-08-01 12:00
-
T59
equality
The binomial theorem
Created at 2021-08-01 12:00
-
T56
equality
closed form
sum of squares
Created at 2021-08-01 12:00
-
T55
equality
move out of parentheses
Created at 2021-08-01 12:00
-
T53
Created at 2021-08-01 12:00
-
T49
Created at 2021-08-01 12:00
-
T42
Created at 2021-08-01 12:00
-
T28
equality
symmetry condition
Created at 2021-08-01 12:00
-
T23
Fermat's theorem
Created at 2021-08-01 12:00
-
T79
closed form
Created at 2021-07-31 12:00
-
T78
prime-number
convergent-series
Created at 2021-07-31 12:00
-
T77
Euler product formula
Created at 2021-07-31 12:00
-
T57
Created at 2021-07-31 12:00
-
T48
Created at 2021-07-31 12:00
-
T47
triangular numbers
closed expression
Created at 2021-07-31 12:00
-
T45
inequality
Created at 2021-07-31 12:00
-
T44
inequality
Created at 2021-07-31 12:00
-
T43
Created at 2021-07-31 12:00
-
T37
fibonacci numbers
equality
exponentiation
Created at 2016-11-07 19:11
-
T36
fibonacci numbers
equality
square
Created at 2016-11-07 19:04
-
T35
Created at 2016-11-04 18:44
-
T22
Created at 2016-11-02 12:36
-
T12
fibonacci numbers
equality
Created at 2016-10-31 11:58
-
T11
fibonacci numbers
matrix
exponentiation
equality
Created at 2016-10-31 11:43
-
T10
Created at 2016-10-31 11:06
-
T8
equality
fraction
ratio
Created at 2016-10-31 09:06
-
T7
square root
inequality
sum
fraction
Created at 2016-10-31 08:29
-
T4
Created at 2016-10-31 05:58
-
T3
Created at 2016-10-31 05:57
-
T2
inequality
harmonic-numbers
Created at 2016-10-30 19:27