Image de couverture de livre

Automated Mathematical Discovery and Verification: Minimizing Pentagons in the Plane

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Subercaseaux, Bernardo, Mackey, John, Heule, Marijn J. H., Martins, Ruben
Format:	Preprint
Publié:	2023
Sujets:	Computational Geometry Discrete Mathematics
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Pentagon Minimization without Computation
par: Mackey, John, et autres
Publié: (2024)

Automated Symmetric Constructions in Discrete Geometry
par: Subercaseaux, Bernardo, et autres
Publié: (2025)

The Packing Chromatic Number of the Infinite Square Grid is 15
par: Subercaseaux, Bernardo, et autres
Publié: (2023)

Euclidean Maximum Matchings in the Plane---Local to Global
par: Biniaz, Ahmad, et autres
Publié: (2024)

Further Connectivity Results on Plane Spanning Path Reconfiguration
par: Boucard, Valentino, et autres
Publié: (2024)

Structural Properties of Shortest Flip Sequences Between Plane Spanning Trees
par: Aichholzer, Oswin, et autres
Publié: (2026)

Plane Strong Connectivity Augmentation
par: Bessy, Stéphane, et autres
Publié: (2025)

Plane Hamiltonian Cycles in Convex Drawings
par: Bergold, Helena, et autres
Publié: (2024)

Constrained Flips in Plane Spanning Trees
par: Aichholzer, Oswin, et autres
Publié: (2025)

Price of Locality in Permutation Mastermind: Are TikTok influencers Chaotic Enough?
par: Subercaseaux, Bernardo
Publié: (2026)

Stable Homology-Based Cycle Centrality Measures
par: Manzanares, John Rick D., et autres
Publié: (2022)

On the Connectivity of the Flip Graph of Plane Spanning Paths
par: Kleist, Linda, et autres
Publié: (2024)

A Demigod's Number for the Rubik's Cube
par: Merino, Arturo, et autres
Publié: (2024)

Assortment Optimization For Conference Goodies With Indifferent Attendees
par: Gutiérrez, Fernanda, et autres
Publié: (2024)

On RAC Drawings of Graphs with Two Bends per Edge
par: Tóth, Csaba D.
Publié: (2023)

Outerplanar and Forest Storyplans
par: Fiala, Jiří, et autres
Publié: (2023)

The Complexity of Intersection Graphs of Lines in Space and Circle Orders
par: Cardinal, Jean
Publié: (2024)

Flip Paths Between Lattice Triangulations
par: Sims, William, et autres
Publié: (2020)

Pathwidth of 2-Layer $k$-Planar Graphs
par: Okada, Yuto
Publié: (2025)

Drawing Trees and Cacti with Integer Edge Lengths on a Polynomial-Size Grid
par: Förster, Henry, et autres
Publié: (2025)

Bounding the Treewidth of Outer $k$-Planar Graphs via Triangulations
par: Firman, Oksana, et autres
Publié: (2024)

Linear Layouts of Graphs with Priority Queues
par: Di Giacomo, Emilio, et autres
Publié: (2025)

Disk and Partial Disk Inspection: Worst- to Average-Case and Pareto Upper Bounds
par: Conley, James, et autres
Publié: (2024)

On maximum-sum matchings of bichromatic points
par: Chacón-Rivera, Oscar, et autres
Publié: (2024)

Flipping Matchings is Hard
par: Binucci, Carla, et autres
Publié: (2025)

Maximum rectilinear convex subsets
par: González-Aguilar, Hernán, et autres
Publié: (2019)

Sparse Bounded Hop-Spanners for Geometric Intersection Graphs
par: Bhore, Sujoy, et autres
Publié: (2025)

The Price of Upwardness
par: Angelini, Patrizio, et autres
Publié: (2024)

Efficient search of a minimum tree on points in a space with the $l_1$-norm
par: Kaymakov, K. V., et autres
Publié: (2024)

Counting of Shortest Paths in Cubic Grid
par: Dutt, Mousumi, et autres
Publié: (2018)

A Couple of Simple Algorithms for $k$-Dispersion
par: Chen, Ke, et autres
Publié: (2025)

Reconfiguration Algorithms for Cubic Modular Robots with Realistic Movement Constraints
par: NASA Space Robots Team, et autres
Publié: (2024)

Formal Verification of the Empty Hexagon Number
par: Subercaseaux, Bernardo, et autres
Publié: (2024)

On polynomials associated to Voronoi diagrams of point sets and crossing numbers
par: Claverol, Mercè, et autres
Publié: (2023)

On a Traveling Salesman Problem for Points in the Unit Cube
par: Balogh, József, et autres
Publié: (2023)

Note on the Number of Almost Ordinary Triangles
par: Dumitrescu, Adrian, et autres
Publié: (2025)

On the Vertices of Delta-modular Polyhedra
par: Mikhail, Bludov, et autres
Publié: (2025)

Improved upper bounds for the Heilbronn's Problem for $k$-gons
par: Gajjala, Rishikesh, et autres
Publié: (2024)

Bounds on the Number of Pieces in Continuous Piecewise Affine Functions
par: Zanotti, Leo
Publié: (2025)

On the size of k-irreducible triangulations
par: Delecroix, Vincent, et autres
Publié: (2026)