Tupper's self-referential formula - Wikipedia
Tupper's self-referential formula is a formula that visually represents itself when graphed at a specific location in the (x, y) plane. The formula was defined by Jeff Tupper and appears as an example in his 2001 SIGGRAPH paper on reliable two-dimensional computer graphing algorithms.[1] This paper discusses methods related to the GrafEq formula-graphing program developed by Tupper.[2] The formula is an inequality defined as: 1 2 < ⌊ m o d ( ⌊ 𝑦 17 ⌋ 2 − 17 ⌊ 𝑥 ⌋ − m o d ( ⌊ 𝑦 ⌋ , 17 ) , 2 ) ⌋ where ⌊ … ⌋ denotes the floor function, and mod is the modulo operation. Let 𝑘 equal the following 543-digit integer: Graphing the set of points ( 𝑥 , 𝑦 ) in 0 ≤ 𝑥 < 106 and 𝑘 ≤ 𝑦 < 𝑘 + 17 which satisfy the formula, results in the following plot:[note 1] The formula is a general-purpose method of decoding a bitmap stored in the constant 𝑘 , and it could be used to draw any other image. When applied to the unbounded positive range 0 ≤ 𝑦 , the formula tiles a vertical swath
Tupper's self-referential formula - Wikipedia Jump to content From Wikipedia, the free encyclopedia Formula that visually represents itself when graphed Tupper's self-referential formula is a formula that visually represents itself when graphed at a specific location in the ( x , y ) plane. History [ edit ] The formula was defined by Jeff Tupper and appears as an example in his 2001 SIGGRAPH paper on reliable two-dimensional computer graphing algorithms. [ 1 ] This paper discusses methods related to the GrafEq formula-graphing program developed by Tupper. [ 2 ] Formula [ edit ]
Explore this link on the map →saved by
related reading
- Home - Velvetynevelvetyne.fr
- GitHub - Experience-Monks/math-as-code: a cheat-sheet for mathematical notation in code form · GitHubgithub.com
- Thompson_1984_ReflectionsonTrustingTrust.pdfcs.cmu.edu
- What's new | Updates on my research and expository papers, discussion of open problems, and other maths-related topics. By Terence Taoterrytao.wordpress.com
- Dwitter - javascript demos in 140 charactersdwitter.net
- latex2png - convert latex equations to imageslatex2png.com
- GitHub - ByteByteGoHq/system-design-101: Explain complex systems using visuals and simple terms. Help you prepare for system design interviews. · GitHubgithub.com
- GitHub - HazyResearch/ThunderKittens: Tile primitives for speedy kernels · GitHubgithub.com
- GitHub - Egonex-AI/Understand-Anything: Graphs that teach > graphs that impress. Turn any code into an interactive knowledge graph you can explore, search, and ask questions about. Works with Claude Code, Codex, Cursor, Copilot, Gemini CLI,github.com
- Analysis of 2025 X Algorithm · GitHubgist.github.com
- Plus 2: Luyện đọc điền và đọc hiểu chuyên sâu (2024)ngoaingu24h.vn
- GitHub - TIGER-AI-Lab/TheoremExplainAgent: Official Repo for "TheoremExplainAgent: Towards Video-based Multimodal Explanations for LLM Theorem Understanding" [ACL 2025 oral] · GitHubgithub.com