Automatic discovery of irrationality proofs and irrationality measures (Q4991708)
From MaRDI portal
scientific article; zbMATH DE number 7354721
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Automatic discovery of irrationality proofs and irrationality measures |
scientific article; zbMATH DE number 7354721 |
Statements
Automatic discovery of irrationality proofs and irrationality measures (English)
0 references
3 June 2021
0 references
irrationality measure exponent
0 references
linear independence measure exponent
0 references
experimental mathematics
0 references
Almkvist-Zeilberger algorithm
0 references
Wilf-Zeilberger algorithmic proof theory
0 references
0 references
0 references
0 references
