The exact dyadic input centre, interval audits, tail bounds and standalone checker support the computer-assisted witness.
Source publication and attributed assessments are distinct from independent OpenMath review.
1 cited passage ↓1 problem ↓Record 2fb3f2ecafd3233dbca390d73e764fe6e04a9c7d ↓
The exact passages cited in OpenMath. Each passage identifies how its wording was recorded.
The exact dyadic input centre, interval audits, tail bounds and standalone checker support the computer-assisted witness.
Passage ID: schiffer-pompeiu:entry:certificate:v1
Source item: certificate
Source record: schiffer-pompeiu:source:certificate:v1
Explicit citations in versioned problem publications. A citation records a use; it does not confer proof or independent verification.
Problem publication v7
Scope
An analytic tenfold counterexample
Research activity
Compare the two evidence routes
The analytic witness has frozen numerical input data and a certificate; the bifurcation construction has a separate C² formal theorem.
Neither external project has been executed by OpenMath.
History
An analytic computer-assisted construction
Question
Schiffer and Pompeiu conjectures
Linked manuscripts, code and data. External proof reports, statement correspondence and OpenMath execution are separate checks.
Code
No OpenMath execution recorded
Source reports rigorous interval and exact rational verification. OpenMath has not run the certificate or reproduced its numerical audits.
Resource revision: 2fb3f2ecafd3233dbca390d73e764fe6e04a9c7d
Recorded authorship
Matthew J. Colbrook · George Stepaniants
Matthew J. Colbrook, George Stepaniants
No specific AI contribution is attributed by this source record.
OpenMath source records preserve exact citations. Observation dates order these records; they do not establish the latest upstream paper or proof.
Numerical certificate and reproduction report
OpenMath supplies its own mathematical paraphrases and links; proof text is not republished.
Source terms ↗