Ten Digits on a Train: AI-Assisted Verification of Two Eigenvalue Problems (Q7270032)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
No description defined
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Ten Digits on a Train: AI-Assisted Verification of Two Eigenvalue Problems |
No description defined |
Statements
Ten Digits on a Train: AI-Assisted Verification of Two Eigenvalue Problems (English)
0 references
22 June 2026
0 references
math.NA
0 references
cs.AI
0 references
cs.HC
0 references
math.SP
0 references
Matthew J. Colbrook
0 references
We describe two case studies of verifying eigenvalue computations with AI assistance, which achieved ten-digit accuracy. In both cases, we reformulated the problem to exploit AI's strengths while avoiding its weaknesses.
0 references
Eigenvalue Problems
0 references
Verified Computation
0 references
Human-AI Collaboration
0 references
Bracketing (phenomenology)
0 references
Eigenvalues and eigenvectors
0 references
Computation
0 references
Object (grammar)
0 references
Matching (statistics)
0 references
Constructive
0 references
Sequence (biology)
0 references
Argument (complex analysis)
0 references
Decimal
0 references
Calculus (dental)
0 references
