Paper Citation Record · LEDGER

Formalizing multi-graded Brenner-Schr\"oer Proj schemes and dilatations of rings in Lean4

As of 13 August 2026, this Paper Citation Record lists 14 of 14 outbound references and 3 inbound Pith citation observations for arXiv:2606.01438.

A citation records a reference. It does not transfer a finding from one paper to another.

pith.paper-citation-record.v1
2606.01438 v2

Coverage vector

measured 14 of 14 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-07-12T15:24:30.468738Z

measured 17 of 17 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-13T06:32:02.005865+00:00

measured 3 of 3 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-08-11T19:49:31.006648Z

measured 0 of 1 external citation measurements

A source-named dated measurement, never combined with another source.

Source: pith, observed 2026-07-03T09:17:48.545006Z

Reference resolution

14 of 14 outbound references displayed

verified exact0
verified fuzzy0
unresolved14
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 81bcde59-c964-4577-8a2b-39b86794b989 · outbound

This paper cites Bouthier, E.

Formalizing multi-graded Brenner-Schr\"oer Proj schemes and dilatations of rings in Lean4 Bouthier, E

Reference 1

Resolution: unresolved; no resolver link, observed 2026-07-12T15:24:30.468738Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 725dad8b-7c3c-4753-b200-b930de00a6ae · outbound

This paper cites an unresolved cited work.

Formalizing multi-graded Brenner-Schr\"oer Proj schemes and dilatations of rings in Lean4 Unresolved cited work

Reference 2

Resolution: unresolved; no resolver link, observed 2026-07-12T15:24:30.468738Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 098816e8-8483-441a-8fbf-a4c9127ade81 · outbound

This paper cites A survey on algebraic dilatations.

Formalizing multi-graded Brenner-Schr\"oer Proj schemes and dilatations of rings in Lean4 A survey on algebraic dilatations

Reference 3

Resolution: unresolved; no resolver link, observed 2026-07-12T15:24:30.468738Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0d05cb18-1320-444d-bf04-a909e0bba7d7 · outbound

This paper cites Etude globale elementaire de quelques classes de morphismesPublications mathématiques de l’I.H.E.S., tome 8 (1961), p.

Formalizing multi-graded Brenner-Schr\"oer Proj schemes and dilatations of rings in Lean4 Etude globale elementaire de quelques classes de morphismesPublications mathématiques de l’I.H.E.S., tome 8 (1961), p

Reference 4

Resolution: unresolved; no resolver link, observed 2026-07-12T15:24:30.468738Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8dcd4ad3-4dc7-44ff-b14d-631560109d82 · outbound

This paper cites Tropicalization of toric prevarieties.

Formalizing multi-graded Brenner-Schr\"oer Proj schemes and dilatations of rings in Lean4 Tropicalization of toric prevarieties

Reference 5

Resolution: unresolved; no resolver link, observed 2026-07-12T15:24:30.468738Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d48fe3a3-5487-4979-8551-58462e1469b6 · outbound

This paper cites Li and J.

Formalizing multi-graded Brenner-Schr\"oer Proj schemes and dilatations of rings in Lean4 Li and J

Reference 6

Resolution: unresolved; no resolver link, observed 2026-07-12T15:24:30.468738Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 51c0ae01-373e-44cd-a5a0-df57f4d7d039 · outbound

This paper cites an unresolved cited work.

Formalizing multi-graded Brenner-Schr\"oer Proj schemes and dilatations of rings in Lean4 Unresolved cited work

Reference 7

Resolution: unresolved; no resolver link, observed 2026-07-12T15:24:30.468738Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b51e3031-25ff-4ae9-8254-615d191df544 · outbound

This paper cites MayeuxMulti-centered Dilatations, Congruent Isomorphisms and Rost Dou- ble Deformation Space.Volume 31, pages 1801–1850 (2026).

Formalizing multi-graded Brenner-Schr\"oer Proj schemes and dilatations of rings in Lean4 MayeuxMulti-centered Dilatations, Congruent Isomorphisms and Rost Dou- ble Deformation Space.Volume 31, pages 1801–1850 (2026)

Reference 8

Resolution: unresolved; no resolver link, observed 2026-07-12T15:24:30.468738Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fe436e86-9c5c-4255-8595-e22d4d74a47c · outbound

This paper cites Mayeux and S.

Formalizing multi-graded Brenner-Schr\"oer Proj schemes and dilatations of rings in Lean4 Mayeux and S

Reference 9

Resolution: unresolved; no resolver link, observed 2026-07-12T15:24:30.468738Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3a20787a-51f1-41c9-ac38-374df7d3f435 · outbound

This paper cites Mayeux and J.

Formalizing multi-graded Brenner-Schr\"oer Proj schemes and dilatations of rings in Lean4 Mayeux and J

Reference 10

Resolution: unresolved; no resolver link, observed 2026-07-12T15:24:30.468738Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 345ac4e4-5703-4579-a14d-6e0ce72f6ab3 · outbound

This paper cites Mayeux and J.

Formalizing multi-graded Brenner-Schr\"oer Proj schemes and dilatations of rings in Lean4 Mayeux and J

Reference 11

Resolution: unresolved; no resolver link, observed 2026-07-12T15:24:30.468738Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2d0b472b-370e-44b6-99d4-a6dee6276cb2 · outbound

This paper cites Zhang,Formalising the Proj construction in Lean, in14th International Con- ference on Interactive Theorem Proving, Art.

Formalizing multi-graded Brenner-Schr\"oer Proj schemes and dilatations of rings in Lean4 Zhang,Formalising the Proj construction in Lean, in14th International Con- ference on Interactive Theorem Proving, Art

Reference 12

Resolution: unresolved; no resolver link, observed 2026-07-12T15:24:30.468738Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a6df1aa5-5a89-417e-8086-107ad244d5c3 · outbound

This paper cites an unresolved cited work.

Formalizing multi-graded Brenner-Schr\"oer Proj schemes and dilatations of rings in Lean4 Unresolved cited work

Reference 13

Resolution: unresolved; no resolver link, observed 2026-07-12T15:24:30.468738Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e69acb7f-4a7a-4edc-9d47-9a809d5fde09 · outbound

This paper cites An algorithm for the minimal model program in dimension three.

Formalizing multi-graded Brenner-Schr\"oer Proj schemes and dilatations of rings in Lean4 An algorithm for the minimal model program in dimension three

Reference 14

Resolution: unresolved; no resolver link, observed 2026-07-12T15:24:30.468738Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

Observation 5da50e63-1bdf-4a7b-9ccb-8e8372d989d5 · inbound

Towards a Bridge Layer Between Bibliographic and Formalized Mathematical Knowledge cites this paper.

Towards a Bridge Layer Between Bibliographic and Formalized Mathematical Knowledge Formalizing multi-graded Brenner-Schr\"oer Proj schemes and dilatations of rings in Lean4

Reference 15

Resolution: verified exact; local_arxiv, observed 2026-07-03T09:17:48.546425Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation b7d056de-402f-4f79-942d-2dce393fa925 · inbound

Towards a Bridge Layer Between Bibliographic and Formalized Mathematical Knowledge cites this paper.

Towards a Bridge Layer Between Bibliographic and Formalized Mathematical Knowledge Formalizing multi-graded Brenner-Schr\"oer Proj schemes and dilatations of rings in Lean4

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-02T11:50:19.434096Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 19722f68-2adc-43ed-8989-cef6fd902ccb · inbound

Dilatations of categories, via their lean formalization cites this paper.

Dilatations of categories, via their lean formalization Formalizing multi-graded Brenner-Schr\"oer Proj schemes and dilatations of rings in Lean4

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-11T19:49:31.006648Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.