Cover Image

The Locus Story of a Rocking Camel in a Medical Center in the City of Freistadt

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Käferböck, Anna, Kovács, Zoltán
Format:	Preprint
Published:	2024
Subjects:	Robotics Computational Geometry Symbolic Computation
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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)

3D Space Trajectories and beyond: Abstract Art Creation with 3D Printing
by: Dana-Picard, Thierry, et al.
Published: (2024)

Computing braids from approximate data
by: Guillemot, Alexandre, et al.
Published: (2026)

Connection Matrices in Macaulay2
by: Görlach, Paul, et al.
Published: (2025)

Geometry of the signed support of a multivariate polynomial and Descartes' rule of signs
by: Telek, Máté L.
Published: (2023)

Deciding Connectivity in Symmetric Semi-Algebraic Sets
by: Riener, Cordian., et al.
Published: (2025)

Computing points in connected components defined by a real inequation: algorithms, complexity and implementations, Part I
by: Berthomieu, Jérémy, et al.
Published: (2026)

PyRigi -- a general-purpose Python package for the rigidity and flexibility of bar-and-joint frameworks
by: Gallet, Matteo, et al.
Published: (2025)

MiGumi: Making Tightly Coupled Integral Joints Millable
by: Ganeshan, Aditya, et al.
Published: (2025)

Computing roadmaps in unbounded smooth real algebraic sets II: algorithm and complexity
by: Prébet, Rémi, et al.
Published: (2024)

Solving parameter-dependent semi-algebraic systems
by: Gaillard, Louis, et al.
Published: (2024)

Persistent components in Canny's Generalized Characteristic Polynomial
by: Pogudin, Gleb
Published: (2024)

Conditions for eigenvalue configurations of two real symmetric matrices (symmetric polynomial approach)
by: Hong, Hoon, et al.
Published: (2023)

Indicial polynomials and $b$-functions of $D$-modules along arbitrary varieties and their computation
by: Oaku, Toshinori
Published: (2026)

Solving generic parametric linear matrix inequalities
by: Naldi, Simone, et al.
Published: (2025)

Dimension Results for Extremal-Generic Polynomial Systems over Complete Toric Varieties
by: Bender, Matías, et al.
Published: (2023)

Beyond Affine Loops: A Geometric Approach to Program Synthesis
by: Bayarmagnai, Erdenebayar, et al.
Published: (2025)

Conditions for eigenvalue configurations of two real symmetric matrices (signature approach)
by: Hong, Hoon, et al.
Published: (2023)

Computing the connected components of real algebraic curves
by: Rocchi, Elisabetta, et al.
Published: (2026)

A proof of the Brill-Noether method from scratch
by: Berardini, Elena, et al.
Published: (2022)

Sparse Tensors and Subdivision Methods for Finding the Zero Set of Polynomial Equations
by: Moroz, Guillaume
Published: (2024)

Computing Polynomial Representation in Subrings of Multivariate Polynomial Rings
by: Vu, Thi Xuan
Published: (2025)

On the complexity of Chow and Hurwitz forms
by: Doğan, Mahmut Levent, et al.
Published: (2022)

Efficient Algorithms for Maximal Matroid Degenerations and Irreducible Decompositions of Circuit Varieties
by: Liwski, Emiliano, et al.
Published: (2025)

Predictive Modeling of Flexible EHD Pumps using Kolmogorov-Arnold Networks
by: Peng, Yanhong, et al.
Published: (2024)

Scene-Driven Multimodal Knowledge Graph Construction for Embodied AI
by: Yaoxian, Song, et al.
Published: (2023)

From Understanding the World to Intervening in It: A Unified Multi-Scale Framework for Embodied Cognition
by: Wang, Maijunxian
Published: (2025)

CASPER: Cognitive Architecture for Social Perception and Engagement in Robots
by: Vinanzi, Samuele, et al.
Published: (2022)

STLCG++: A Masking Approach for Differentiable Signal Temporal Logic Specification
by: Kapoor, Parv, et al.
Published: (2025)

Open Source Prover in the Attic
by: Kovács, Zoltán, et al.
Published: (2024)

Hyperion -- A fast, versatile symbolic Gaussian Belief Propagation framework for Continuous-Time SLAM
by: Hug, David, et al.
Published: (2024)

A Neurosymbolic Approach to Adaptive Feature Extraction in SLAM
by: Chandio, Yasra, et al.
Published: (2024)

Simulation to Rules: A Dual-VLM Framework for Formal Visual Planning
by: Hao, Yilun, et al.
Published: (2025)

Algebraic Tools for Computing Polynomial Loop Invariants
by: Bayarmagnai, Erdenebayar, et al.
Published: (2024)

Generalization of semi-regular sequences: Maximal Gröbner basis degree, variants of genericness, and related conjectures
by: Kudo, Momonari, et al.
Published: (2024)

Algebraic and Algorithmic Methods for Computing Polynomial Loop Invariants
by: Bayarmagnai, Erdenebayar, et al.
Published: (2024)

On Hilbert-Poincaré series of affine semi-regular polynomial sequences and related Gröbner bases
by: Kudo, Momonari, et al.
Published: (2024)