tropical-geometry

[NeurIPS 2025] Official code for "Tropical Attention: Neural Algorithmic Reasoning for Combinatorial Algorithms"

[ICLR 2026] Polynomial, trigonometric, and tropical activations

feyntrop integrates Feynman graphs using tropical sampling

Tools and experiments from the paper "Tropical Expressivity of Neural Networks"

[ECCV2026] TetraSDF: Analytic Isosurface Extraction with Multi-resolution Tetrahedral Grid

Some Tropical Matrices

A Julia package for computing bounds on the number of roots of vertical systems via tropical geometry.

Numerical decomposition of real and complex tropical curves

A package for computing fast tropical intersections

Structural Intelligence: Regulating Artificial Neural Networks via the Geometric Roots of Graph Domination Polynomials.

TropicalHomotopies.jl: A package for constructing polynomial homotopies from tropical intersection data

via AK High-Dimensional Projection Structural Theory (AK-HDPST) This repository presents Version 4.0 of a formally structured and constructively resolved version of the Hilbert's 12th Problem, built upon: Collapse Theory (PH₁/Ext¹ obstruction vanishing) Type-theoretic realization

Tropical geometry for neural networks — max-plus semiring, tropical polynomials, Newton polytopes, tropical attention

🔺 Sound design via tropical geometry — tropical polynomials map to ReLU networks, Newton polytopes shape timbre

A unifying logarithmic framework connecting dimension theory, number theory, and analysis

Tropical geometry connectivity algorithms and minimal separators (C++).

TropicalNNLab — Interactive Tropical Geometry & Neural Network Theory Laboratory. 6 modules: Tropical Arithmetic, ReLU↔Tropical Bridge, Linear Region Cartographer, Decision Boundary Anatomy, Newton Polytope Workshop, Expressiveness Explorer.

Exact-arithmetic experiments for contextual precision, tropical abstract domains, and ReLU certification.

NumPy-based tropical geometry and phylogenetic MLOps pipeline for viral RNA/DNA sequences

Portable face-selection law for singular asymptotics at simple polyhedral vertices. Newton–tropical selection of admissible faces yields the response exponent γ = 1/(1−q*). Formal theorems + exact rational backend. Origin: categorical polytopes; applications: evaluation design. Officially opening interests along this frontier.