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 ]
saved by
related reading
- cs.stanford.edu/~knuth/papers/claude-cycles.pdfcs.stanford.edu
- Inscribed square problem - Wikipediaen.wikipedia.org
- Mandelbrot set - Wikipediaen.wikipedia.org
- Kolmogorov–Arnold representation theorem - Wikipediaen.wikipedia.org
- Procedural textures with hash functionsdouglasorr.github.io
- [2504.19874] TurboQuant: Online Vector Quantization with Near-optimal Distortion Ratearxiv.org
- Rainbow Turán Problemspeople.math.ethz.ch
- unit-distance-proof.pdfcdn.openai.com
- quasikernelarxiv.org
- Schanuel’s conjecture and the semantics of FPSan | Complex Projective 4-Spacecp4space.hatsya.com
- nullstellensatzweb.math.princeton.edu
- Good Vibrations.tifcs.toronto.edu