The following pages link to (Q5856420):
Displaying 7 items.
- Irrational proofs for three theorems of Stanley (Q854841) (← links)
- Elementary proof of Yu. V. Nesterenko expansion of the number zeta(3) in continued fraction (Q963092) (← links)
- A proof that Euler missed. Apéry's proof of the irrationality of \(\zeta(3)\). An informal report (Q1258767) (← links)
- A bi-directional extensible interface between Lean and Mathematica (Q2673306) (← links)
- A Computer-Algebra-Based Formal Proof of the Irrationality of ζ(3) (Q2879250) (← links)
- (Q3161197) (← links)
- Mathematics and the formal turn (Q6130523) (← links)