Take research beyond SUMIRE

Find prior work, follow its original source, then record the assumptions, conclusion and differences. Similar words or a link alone do not establish mathematical correspondence.

Search terms are entered on the external site. SUMIRE does not send private titles or text automatically.

Keep the versioned arXiv link, or GitHub permalink with commit, file and declaration in the note. Download includes the original record and unverified comparison memos; it does not submit anything or save these memos to the project.

Includes this project’s native live notes only. Private AI context and notes referenced from other projects are excluded.

AI evaluation report (2026-08-25): Differential structures of games · arxiv

arXiv:2510.22886

Source version not fixed; record a permalink before comparison.

Assumptions in the sourceConclusion or question in the sourceWhy it corresponds to this note (source section or lines)Differences and extra assumptionsWhat remains uncheckedExact Lean declaration, if applicable

AI evaluation report (2026-08-25): Differential structures of games · arxiv

arXiv:2510.22886v3

Source version fixed; correspondence unchecked.

Assumptions in the sourceConclusion or question in the sourceWhy it corresponds to this note (source section or lines)Differences and extra assumptionsWhat remains uncheckedExact Lean declaration, if applicable

AI evaluation report (2026-08-25): Differential structures of games · arxiv

arXiv:math/0703780

Source version not fixed; record a permalink before comparison.

Assumptions in the sourceConclusion or question in the sourceWhy it corresponds to this note (source section or lines)Differences and extra assumptionsWhat remains uncheckedExact Lean declaration, if applicable

AI evaluation report (2026-08-25): Differential structures of games · arxiv

arXiv:1412.8058

Source version not fixed; record a permalink before comparison.

Assumptions in the sourceConclusion or question in the sourceWhy it corresponds to this note (source section or lines)Differences and extra assumptionsWhat remains uncheckedExact Lean declaration, if applicable

AI evaluation report (2026-08-25): Differential structures of games · arxiv

arXiv:1412.0247

Source version not fixed; record a permalink before comparison.

Assumptions in the sourceConclusion or question in the sourceWhy it corresponds to this note (source section or lines)Differences and extra assumptionsWhat remains uncheckedExact Lean declaration, if applicable

AI evaluation report (2026-08-25): Differential structures of games · arxiv

arXiv:1806.04804

Source version not fixed; record a permalink before comparison.

Assumptions in the sourceConclusion or question in the sourceWhy it corresponds to this note (source section or lines)Differences and extra assumptionsWhat remains uncheckedExact Lean declaration, if applicable

AI evaluation report (2026-08-25): Differential structures of games · arxiv

arXiv:2204.05004

Source version not fixed; record a permalink before comparison.

Assumptions in the sourceConclusion or question in the sourceWhy it corresponds to this note (source section or lines)Differences and extra assumptionsWhat remains uncheckedExact Lean declaration, if applicable

AI evaluation report (2026-08-25): Differential structures of games · arxiv

arXiv:2103.01848

Source version not fixed; record a permalink before comparison.

Assumptions in the sourceConclusion or question in the sourceWhy it corresponds to this note (source section or lines)Differences and extra assumptionsWhat remains uncheckedExact Lean declaration, if applicable

Download original record without memos

Back to project