grossi-ops · GitHub Pages

Atratores

Attractors — mathematics, sound, and visible form
Pablo Nogueira Grossi · G6 LLC, Newark NJ · Principia Orthogona · GitHub · AXLE

Sound Machines

7 instruments

Exhibitions & Installations

4 works

XII Bienal SBM — Submissions

UFRN · Natal · Brazil · 2026
CO · T2CO_T2_Pablo_Grossi.pdf — Communication, Track T2
Ex · T10Ex_T10_Pablo_Grossi.pdf — Exhibition proposal, Track T10 (Geometry and Topology)
MC · T1MC_T1_Pablo_Grossi.pdf — Minicurso, Track T1 — Atratores: dm³ Dynamics
MC · T1 v3MC_T1_Pablo_Grossi_v3.pdf — Minicurso revised
OF · T2OF_T2_Pablo_Grossi.pdf — Open Form, Track T2
PO · T10PO_T10_Pablo_Grossi.pdf — Poster, Track T10
MinicursoMinicurso_XII_Bienal.pdf — Full minicurso booklet
PreviewXII_BM_MINICURSO_T1_Pablo_Grossi_preview.pdf
HelicalHelical Attractors Contact Manifolds.pdf
AbrasileiradosAbrasileirados/ — Supplementary folder

Sessões de Ensino

3 sessões · bilíngue PT/EN

Books, Papers & Long-form

7 documents

Lean 4 / AXLE Formal Verification

3 targets · 0 sorrys

DNLS — Discrete Nonlinear Schrödinger

Tribonacci & Tetrabonacci chains
paper (PDF)nbonacci_dnls_paper_with_figs.pdf
paper (TeX)nbonacci_dnls_paper_with_figs.tex
LeanFoldEvents.lean · TribonacciDNLS.lean
Pythondnls_nbonacci.py · diffusion_solver.py · generate_figures.py
Figuresfig1 chain structure · fig2 eigenstates · fig3 IPR vs λ · fig4 IPR ratio · fig5 substitution tree

GCTC — Geometry · Criticality · Topology · Curvature

Tetrabonacci DNLS · finite-size scaling
LeanConformal.lean
Criticalityrun_criticality_sweep.py — λ_c sweep · FSS finite-size scaling
Figurescriticality correlation · flux modes · saturation · D₂ natural lengths · FSS α vs N · FSS t_sat vs N
Dataλ_c_sweep.csv · tetrabonacci_T50_N500.csv · d2_natural_lengths.csv
Labsdm3_numeric.py
Sessões Sessão 1 — Geometria de Contato · Sessão 2 — Teorema da Bacia · Sessão 3 — Esqueleto Lean
SimsHelical Attractor simulation

EMMEs — Three Operator Tokens on Solana

G = U ∘ F ∘ K ∘ C

IMPA Portal