Amund Kristiansen
- Years active
- 2026
0 records1 result (at S2)0 credits
Resources
Repository78f9f0e7b4669f2f509a281845081768gist.github.com/amundsk/78f9f0e7b4669f2f509a281845081768 An exact certificate for 303 squares, another arrangement of Evan Daniel's packing found from it, replayed and reviewed here (T-239).
Repository18ada41ec384b6ff2c96f58b7ce7d1a6gist.github.com/amundsk/18ada41ec384b6ff2c96f58b7ce7d1a6 An exact certificate at 344, beyond the corpus, of the 307 record design stretched one step, the author says (#819); the row at the count.
0 results
Repositorye4df936fb09c68446598d4c8309d0166gist.github.com/amundsk/e4df936fb09c68446598d4c8309d0166 Exact certificates for fourteen counts from 334 to 504, each, the author says, found from the packing at the count in Francisco Couzo's 964ee2b index (#763); twelve are rows beyond the corpus.
0 results
Results
- T-239 (upper bound, n = 303): source author, credited contributor — Kristiansen, in [Kristiansen n303 2026-10-23]
Other Reviewed Records
- [Kristiansen issue 798 2026-10-24]: source author — Kristiansen
- [Kristiansen issue 798 2026-10-24]: credited contributor — Kristiansen
- [Kristiansen issue 819 2026-10-25]: source author — Kristiansen
- [Kristiansen issue 819 2026-10-25]: credited contributor — Kristiansen
Sources
- source-intake: What the Issue Reports retains issue 755's credit name, “Amund Kristiansen (GitHub @amundsk)”, filed by the GitHub account amundsk, and the gist README's “(Amund Kristiansen, 2026-10-23)”; the opening links the gist amundsk/78f9f0e7b4669f2f509a281845081768.
- bibliography: [Kristiansen n303 2026-10-23] credits Kristiansen; credited_names maps Amund Kristiansen to Kristiansen.
Identity evidence
- Public name: Amund Kristiansen (bibliography, source-intake)
- Real name: Amund Kristiansen (source-intake)
- Family name: Kristiansen (bibliography)
- Also known as: Kristiansen (bibliography)
- Also known as: amundsk (source-intake)
- Public website: https://github.com/amundsk (source-intake)