The following pages link to (Q3024725):
Displaying 6 items.
- Computation of class numbers by an analytic method (Q1095190) (← links)
- On computer-assisted proofs in ordinal number theory (Q1284712) (← links)
- Computer-assisted proofs of congruences for multipartitions and divisor function convolutions, based on methods of differential algebra (Q2070374) (← links)
- (Q4278000) (← links)
- Connection between the Wieferich congruence and divisibility of h⁺ (Q4839685) (← links)
- Proof of a conjecture of Guy on class numbers (Q5253887) (← links)