David R. MacIver
In 2026, David R. MacIver published Square Packing Research manuscripts on geometric bounds and counting methods, with accompanying Lean source.
- Years active
- 2026
Resources
Repositorysquare-packing-researchgithub.com/DRMacIver/square-packing-research A lower bound for seventeen squares, with its paper and a Lean check.
0 results
0 results · 0 records · 1 credit (at S5)
Credited work
Other reviewed records
- [wand125 Green DS7 Theorem 9 2026-10-02]: prerequisite — MacIver
- [MacIver 2026 n17]: source author — MacIver
Sources
Biography sources: packet, title-page
- title-page: Title page: the byline “David R. MacIver” and the date 8 August 2026; the abstract states that the paper “was produced with a mix of ChatGPT and Claude Fable and has not yet been adequately human reviewed”.
- packet: Opening paragraph: David R. MacIver’s Square Packing Research, three author-hosted manuscripts and Lean source at commit 9e2cd59 of DRMacIver/square-packing-research. Papers and Dates: “All three title pages name David R. MacIver.”
- github-repository: The commit response for DRMacIver/square-packing-research at 9e2cd597, dated 2026-08-10.
- fitzharding-credit: Credits: “David MacIver's earlier Lean work concerns a lower bound for seventeen squares”, linking github.com/DRMacIver/square-packing-research.
- bibliography: The [wand125 Green DS7 Theorem 9 2026-10-02] and [Fitzharding n17 Lean 2026] credits name MacIver.
Identity evidence
- Family name: MacIver (packet, bibliography)
- Public name: David R. MacIver (title-page, packet)
- Real name: David R. MacIver (title-page, packet)
- Also known as: MacIver (packet, bibliography)
- Also known as: David MacIver (packet, fitzharding-credit)
- Also known as: DRMacIver (github-repository, packet)
- Public website: https://github.com/DRMacIver (github-repository, packet, fitzharding-credit)