Image de couverture de livre

Theorem Discovery Amongst Cyclic Polygons

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteur principal:	Todd, Philip
Format:	Preprint
Publié:	2024
Sujets:	Computational Geometry Artificial Intelligence
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Showing Proofs, Assessing Difficulty with GeoGebra Discovery
par: Kovács, Zoltán, et autres
Publié: (2024)

Solving with GeoGebra Discovery an Austrian Mathematics Olympiad problem: Lessons Learned
par: Ariño-Morera, Belén, et autres
Publié: (2024)

Solving Some Geometry Problems of the Náboj 2023 Contest with Automated Deduction in GeoGebra Discovery
par: Hota, Amela, et autres
Publié: (2024)

Randomized HyperSteiner: A Stochastic Delaunay Triangulation Heuristic for the Hyperbolic Steiner Minimal Tree
par: Medbouhi, Aniss Aiman, et autres
Publié: (2025)

Hand-Shadow Poser
par: Xu, Hao, et autres
Publié: (2025)

Object Packing and Scheduling for Sequential 3D Printing: a Linear Arithmetic Model and a CEGAR-inspired Optimal Solver
par: Surynek, Pavel, et autres
Publié: (2025)

Gold-Medal-Level Olympiad Geometry Solving with Efficient Heuristic Auxiliary Constructions
par: Duan, Boyan, et autres
Publié: (2025)

Unfolding Boxes with Local Constraints
par: Qian, Long, et autres
Publié: (2025)

Automated proving in planar geometry based on the complex number identity method and elimination
par: Kovács, Zoltán, et autres
Publié: (2025)

Do Multi-Agents Solve Better Than Single? Evaluating Agentic Frameworks for Diagram-Grounded Geometry Problem Solving and Reasoning
par: Sobhani, Mahbub E, et autres
Publié: (2025)

Edge-wise Topological Divergence Gaps: Guiding Search in Combinatorial Optimization
par: Trofimov, Ilya, et autres
Publié: (2025)

Tiling with Three Polygons is Undecidable
par: Demaine, Erik D., et autres
Publié: (2024)

Bicriteria Polygon Aggregation with Arbitrary Shapes
par: Blank, Lotte, et autres
Publié: (2025)

Hearing the shape of an arena with spectral swarm robotics
par: Cazenille, Leo, et autres
Publié: (2024)

Fast and Accurate Collision Probability Estimation for Autonomous Vehicles using Adaptive Sigma-Point Sampling
par: Cossette, Charles Champagne, et autres
Publié: (2025)

Search-Based Robot Motion Planning With Distance-Based Adaptive Motion Primitives
par: Kraljusic, Benjamin, et autres
Publié: (2025)

Escaping a Polygon
par: Abel, Zachary, et autres
Publié: (2020)

Software for the Thompson and Funk Polygonal Geometry
par: Banerjee, Hridhaan, et autres
Publié: (2025)

Robustly Guarding Polygons
par: Das, Rathish, et autres
Publié: (2024)

Hologram Reasoning for Solving Algebra Problems with Geometry Diagrams
par: Huang, Litian, et autres
Publié: (2024)

ACEV: Unsupervised Intersecting Manifold Segmentation using Adaptation to Angular Change of Eigenvectors in Intrinsic Dimension
par: Boral, Subhadip, et autres
Publié: (2024)

DL-Polycube: Deep learning enhanced polycube method for high-quality hexahedral mesh generation and volumetric spline construction
par: Yu, Yuxuan, et autres
Publié: (2024)

Towards the mathematical foundation of the minimum enclosing ball and related problems
par: Vrahatis, Michael N.
Publié: (2024)

Diffeomorphic interpolation for efficient persistence-based topological optimization
par: Carriere, Mathieu, et autres
Publié: (2024)

EMP: Effective Multidimensional Persistence for Graph Representation Learning
par: Segovia-Dominguez, Ignacio, et autres
Publié: (2024)

Recovering Manifold Structure Using Ollivier-Ricci Curvature
par: Saidi, Tristan Luca, et autres
Publié: (2024)

Message Detouring: A Simple Yet Effective Cycle Representation for Expressive Graph Learning
par: Wei, Ziquan, et autres
Publié: (2024)

Towards the methodology for solving the minimum enclosing ball and related problems
par: Vrahatis, Michael N.
Publié: (2024)

Bridging the Gap Between Scientific Laws Derived by AI Systems and Canonical Knowledge via Abductive Inference with AI-Noether
par: Srivastava, Karan, et autres
Publié: (2025)

Learning Tangent Bundles and Characteristic Classes with Autoencoder Atlases
par: Paluzo-Hidalgo, Eduardo, et autres
Publié: (2026)

Empirical Analysis Of Heuristic and Approximation Algorithms for the The Mutual-Visibility Problem
par: Stojanović, Vanja, et autres
Publié: (2025)

Reinforcement learning for automatic quadrilateral mesh generation: a soft actor-critic approach
par: Pan, Jie, et autres
Publié: (2022)

Euclidean Embedding of Data Using Local Distances
par: Arabadjis, Dimitris
Publié: (2026)

Generating Diverse TSP Tours via a Combination of Graph Pointer Network and Dispersion
par: Yang, Hao-Tsung, et autres
Publié: (2026)

Learning Pareto-Optimal Rewards from Noisy Preferences: A Framework for Multi-Objective Inverse Reinforcement Learning
par: Cherukuri, Kalyan, et autres
Publié: (2025)

From Theory to Throughput: CUDA-Optimized APML for Large-Batch 3D Learning
par: Sharifipour, Sasan, et autres
Publié: (2025)

Topology-Preserving Neural Operator Learning via Hodge Decomposition
par: Zheng, Dongzhe, et autres
Publié: (2026)

Recognizing Visibility Graphs of Polygons with Holes and Internal-External Visibility Graphs of Polygons
par: Boomari, Hossein, et autres
Publié: (2018)

Ipelets for the Convex Polygonal Geometry
par: Parepally, Nithin, et autres
Publié: (2024)

Compatible Triangulations of Simple Polygons
par: Afshani, Peyman, et autres
Publié: (2026)