:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Author:	Todd, Philip
Format:	Preprint
Published:	2024
Subjects:	Computational Geometry Artificial Intelligence
Online Access:	https://arxiv.org/abs/2401.13002
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Showing Proofs, Assessing Difficulty with GeoGebra Discovery
by: Kovács, Zoltán, et al.
Published: (2024)

Solving with GeoGebra Discovery an Austrian Mathematics Olympiad problem: Lessons Learned
by: Ariño-Morera, Belén, et al.
Published: (2024)

Solving Some Geometry Problems of the Náboj 2023 Contest with Automated Deduction in GeoGebra Discovery
by: Hota, Amela, et al.
Published: (2024)

Randomized HyperSteiner: A Stochastic Delaunay Triangulation Heuristic for the Hyperbolic Steiner Minimal Tree
by: Medbouhi, Aniss Aiman, et al.
Published: (2025)

Hand-Shadow Poser
by: Xu, Hao, et al.
Published: (2025)

Object Packing and Scheduling for Sequential 3D Printing: a Linear Arithmetic Model and a CEGAR-inspired Optimal Solver
by: Surynek, Pavel, et al.
Published: (2025)

Gold-Medal-Level Olympiad Geometry Solving with Efficient Heuristic Auxiliary Constructions
by: Duan, Boyan, et al.
Published: (2025)

Unfolding Boxes with Local Constraints
by: Qian, Long, et al.
Published: (2025)

Automated proving in planar geometry based on the complex number identity method and elimination
by: Kovács, Zoltán, et al.
Published: (2025)

Do Multi-Agents Solve Better Than Single? Evaluating Agentic Frameworks for Diagram-Grounded Geometry Problem Solving and Reasoning
by: Sobhani, Mahbub E, et al.
Published: (2025)

Edge-wise Topological Divergence Gaps: Guiding Search in Combinatorial Optimization
by: Trofimov, Ilya, et al.
Published: (2025)

Hearing the shape of an arena with spectral swarm robotics
by: Cazenille, Leo, et al.
Published: (2024)

Fast and Accurate Collision Probability Estimation for Autonomous Vehicles using Adaptive Sigma-Point Sampling
by: Cossette, Charles Champagne, et al.
Published: (2025)

Search-Based Robot Motion Planning With Distance-Based Adaptive Motion Primitives
by: Kraljusic, Benjamin, et al.
Published: (2025)

Escaping a Polygon
by: Abel, Zachary, et al.
Published: (2020)

Tiling with Three Polygons is Undecidable
by: Demaine, Erik D., et al.
Published: (2024)

Bicriteria Polygon Aggregation with Arbitrary Shapes
by: Blank, Lotte, et al.
Published: (2025)

Software for the Thompson and Funk Polygonal Geometry
by: Banerjee, Hridhaan, et al.
Published: (2025)

Hologram Reasoning for Solving Algebra Problems with Geometry Diagrams
by: Huang, Litian, et al.
Published: (2024)

ACEV: Unsupervised Intersecting Manifold Segmentation using Adaptation to Angular Change of Eigenvectors in Intrinsic Dimension
by: Boral, Subhadip, et al.
Published: (2024)

DL-Polycube: Deep learning enhanced polycube method for high-quality hexahedral mesh generation and volumetric spline construction
by: Yu, Yuxuan, et al.
Published: (2024)

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

Diffeomorphic interpolation for efficient persistence-based topological optimization
by: Carriere, Mathieu, et al.
Published: (2024)

EMP: Effective Multidimensional Persistence for Graph Representation Learning
by: Segovia-Dominguez, Ignacio, et al.
Published: (2024)

Recovering Manifold Structure Using Ollivier-Ricci Curvature
by: Saidi, Tristan Luca, et al.
Published: (2024)

Message Detouring: A Simple Yet Effective Cycle Representation for Expressive Graph Learning
by: Wei, Ziquan, et al.
Published: (2024)

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

Bridging the Gap Between Scientific Laws Derived by AI Systems and Canonical Knowledge via Abductive Inference with AI-Noether
by: Srivastava, Karan, et al.
Published: (2025)

Learning Tangent Bundles and Characteristic Classes with Autoencoder Atlases
by: Paluzo-Hidalgo, Eduardo, et al.
Published: (2026)

Empirical Analysis Of Heuristic and Approximation Algorithms for the The Mutual-Visibility Problem
by: Stojanović, Vanja, et al.
Published: (2025)

Reinforcement learning for automatic quadrilateral mesh generation: a soft actor-critic approach
by: Pan, Jie, et al.
Published: (2022)

Euclidean Embedding of Data Using Local Distances
by: Arabadjis, Dimitris
Published: (2026)

Generating Diverse TSP Tours via a Combination of Graph Pointer Network and Dispersion
by: Yang, Hao-Tsung, et al.
Published: (2026)

Learning Pareto-Optimal Rewards from Noisy Preferences: A Framework for Multi-Objective Inverse Reinforcement Learning
by: Cherukuri, Kalyan, et al.
Published: (2025)

From Theory to Throughput: CUDA-Optimized APML for Large-Batch 3D Learning
by: Sharifipour, Sasan, et al.
Published: (2025)

Topology-Preserving Neural Operator Learning via Hodge Decomposition
by: Zheng, Dongzhe, et al.
Published: (2026)

Using Java Geometry Expert as Guide in the Preparations for Math Contests
by: Ganglmayr, Ines, et al.
Published: (2024)

Robustly Guarding Polygons
by: Das, Rathish, et al.
Published: (2024)

Recognizing Visibility Graphs of Polygons with Holes and Internal-External Visibility Graphs of Polygons
by: Boomari, Hossein, et al.
Published: (2018)

Two Online Map Matching Algorithms Based on Analytic Hierarchy Process and Fuzzy Logic
by: Lin, Jeremy J., et al.
Published: (2024)