The following pages link to (Q3689404):
Displaying 9 items.
- An algorithm to prove algebraic relations involving eta quotients (Q1653317) (← links)
- An elementary analog of the operator method in additive combinatorics (Q2037636) (← links)
- Some notes on a method for proving inequalities by computer (Q2634304) (← links)
- Terme, Gleichungen, Ungleichungen (Q2936472) (← links)
- (Q3069378) (← links)
- (Q4205734) (← links)
- (Q4281686) (← links)
- Fedja's proof of Deepti's inequality (Q4634225) (← links)
- (Q5433687) (← links)