Skip to content
Open
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
15 changes: 15 additions & 0 deletions diophantine_classifier/data/families/prouhet-tarry-escott.yaml
Original file line number Diff line number Diff line change
@@ -0,0 +1,15 @@
# Family: Prouhet-Tarry-Escott problem
# Schema: see data/families/README.md; prose documentation in docs/FAMILIES.md.
# References are keys into data/references.bib, each with a 'why' annotation.
slug: prouhet-tarry-escott
name: Prouhet-Tarry-Escott problem
priority: 3
status: open
class: surface
form: sum x_i^j = sum y_i^j for j = 1..k
parents:
- equal-sums-like-powers
matcher: false
references:
- key: BorweinIngalls1994
why: survey of ideal solutions and open problems
6 changes: 6 additions & 0 deletions docs/FAMILIES.md
Original file line number Diff line number Diff line change
Expand Up @@ -310,6 +310,12 @@ the multi-degree system version.
**References.** Lander–Parkin 1966; Elkies 1988; Borwein, *Computational Excursions
in Analysis and Number Theory* (PTE chapters).

### `prouhet-tarry-escott` — Prouhet–Tarry–Escott — P3, open
**Form.** Σ x_i^j = Σ y_i^j for j = 1,…,k simultaneously (ideal: size k+1).
**Status.** Ideal solutions known only in scattered sizes; existence in all sizes
open; deep links to combinatorics and analysis.
**References.** Borwein–Ingalls, "The Prouhet–Tarry–Escott problem revisited" (1994).


---

Expand Down