Saved in:
| Main Authors: | Ganeshan, Aditya, Fleischer, Kurt, Jakob, Wenzel, Shamir, Ariel, Ritchie, Daniel, Igarashi, Takeo, Larsson, Maria |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2510.13168 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
ParSEL: Parameterized Shape Editing with Language
by: Ganeshan, Aditya, et al.
Published: (2024)
by: Ganeshan, Aditya, et al.
Published: (2024)
YASPS: A Symbolic Framework for Extensible, High-Performance IPC Simulation
by: Tang, Xuan, et al.
Published: (2026)
by: Tang, Xuan, et al.
Published: (2026)
LayoutRectifier: An Optimization‐based Post‐processing for Graphic Design Layout Generation
by: I‐Chao Shen, et al.
Published: (2025)
by: I‐Chao Shen, et al.
Published: (2025)
3D Space Trajectories and beyond: Abstract Art Creation with 3D Printing
by: Dana-Picard, Thierry, et al.
Published: (2024)
by: Dana-Picard, Thierry, et al.
Published: (2024)
Computing braids from approximate data
by: Guillemot, Alexandre, et al.
Published: (2026)
by: Guillemot, Alexandre, et al.
Published: (2026)
Deciding Connectivity in Symmetric Semi-Algebraic Sets
by: Riener, Cordian., et al.
Published: (2025)
by: Riener, Cordian., et al.
Published: (2025)
FontCLIP: A Semantic Typography Visual‐Language Model for Multilingual Font Applications
by: Yuki Tatsukawa, et al.
Published: (2024)
by: Yuki Tatsukawa, et al.
Published: (2024)
The Locus Story of a Rocking Camel in a Medical Center in the City of Freistadt
by: Käferböck, Anna, et al.
Published: (2024)
by: Käferböck, Anna, et al.
Published: (2024)
PyRigi -- a general-purpose Python package for the rigidity and flexibility of bar-and-joint frameworks
by: Gallet, Matteo, et al.
Published: (2025)
by: Gallet, Matteo, et al.
Published: (2025)
Conditions for eigenvalue configurations of two real symmetric matrices (symmetric polynomial approach)
by: Hong, Hoon, et al.
Published: (2023)
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)
by: Oaku, Toshinori
Published: (2026)
Solving generic parametric linear matrix inequalities
by: Naldi, Simone, et al.
Published: (2025)
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)
by: Bender, Matías, et al.
Published: (2023)
Beyond Affine Loops: A Geometric Approach to Program Synthesis
by: Bayarmagnai, Erdenebayar, et al.
Published: (2025)
by: Bayarmagnai, Erdenebayar, 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)
by: Prébet, Rémi, et al.
Published: (2024)
Conditions for eigenvalue configurations of two real symmetric matrices (signature approach)
by: Hong, Hoon, et al.
Published: (2023)
by: Hong, Hoon, et al.
Published: (2023)
Connection Matrices in Macaulay2
by: Görlach, Paul, et al.
Published: (2025)
by: Görlach, Paul, et al.
Published: (2025)
Solving parameter-dependent semi-algebraic systems
by: Gaillard, Louis, et al.
Published: (2024)
by: Gaillard, Louis, et al.
Published: (2024)
Persistent components in Canny's Generalized Characteristic Polynomial
by: Pogudin, Gleb
Published: (2024)
by: Pogudin, Gleb
Published: (2024)
Geometry of the signed support of a multivariate polynomial and Descartes' rule of signs
by: Telek, Máté L.
Published: (2023)
by: Telek, Máté L.
Published: (2023)
Computing the connected components of real algebraic curves
by: Rocchi, Elisabetta, et al.
Published: (2026)
by: Rocchi, Elisabetta, et al.
Published: (2026)
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)
by: Berthomieu, Jérémy, et al.
Published: (2026)
A proof of the Brill-Noether method from scratch
by: Berardini, Elena, et al.
Published: (2022)
by: Berardini, Elena, et al.
Published: (2022)
LayoutRectifier: An Optimization-based Post-processing for Graphic Design Layout Generation
by: Shen, I-Chao, et al.
Published: (2025)
by: Shen, I-Chao, et al.
Published: (2025)
Computing Polynomial Representation in Subrings of Multivariate Polynomial Rings
by: Vu, Thi Xuan
Published: (2025)
by: Vu, Thi Xuan
Published: (2025)
Showing Proofs, Assessing Difficulty with GeoGebra Discovery
by: Kovács, Zoltán, et al.
Published: (2024)
by: Kovács, Zoltán, et al.
Published: (2024)
Sparse Tensors and Subdivision Methods for Finding the Zero Set of Polynomial Equations
by: Moroz, Guillaume
Published: (2024)
by: Moroz, Guillaume
Published: (2024)
On the complexity of Chow and Hurwitz forms
by: Doğan, Mahmut Levent, et al.
Published: (2022)
by: Doğan, Mahmut Levent, et al.
Published: (2022)
Solving with GeoGebra Discovery an Austrian Mathematics Olympiad problem: Lessons Learned
by: Ariño-Morera, Belén, et al.
Published: (2024)
by: Ariño-Morera, Belén, et al.
Published: (2024)
FontCLIP: A Semantic Typography Visual-Language Model for Multilingual Font Applications
by: Tatsukawa, Yuki, et al.
Published: (2024)
by: Tatsukawa, Yuki, et al.
Published: (2024)
Efficient Algorithms for Maximal Matroid Degenerations and Irreducible Decompositions of Circuit Varieties
by: Liwski, Emiliano, et al.
Published: (2025)
by: Liwski, Emiliano, et al.
Published: (2025)
Using Java Geometry Expert as Guide in the Preparations for Math Contests
by: Ganglmayr, Ines, et al.
Published: (2024)
by: Ganglmayr, Ines, et al.
Published: (2024)
Reinforcement Learning for Power-Flow Network Analysis
by: Ergur, Alperen, et al.
Published: (2026)
by: Ergur, Alperen, et al.
Published: (2026)
Efficient Tensor Decomposition via Moment Matrix Extension
by: Shi, Bobby, et al.
Published: (2025)
by: Shi, Bobby, et al.
Published: (2025)
A Novel Algorithm for Representing Positive Semi-Definite Polynomials as Sums of Squares with Rational Coefficients
by: Zeng, Zhenbing, et al.
Published: (2025)
by: Zeng, Zhenbing, et al.
Published: (2025)
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)
by: Srivastava, Karan, et al.
Published: (2025)
From Affine to Polynomial: Synthesizing Loops with Branches via Algebraic Geometry
by: Bayarmagnai, Erdenebayar, et al.
Published: (2025)
by: Bayarmagnai, Erdenebayar, et al.
Published: (2025)
Algebraic Tools for Computing Polynomial Loop Invariants
by: Bayarmagnai, Erdenebayar, et al.
Published: (2024)
by: Bayarmagnai, Erdenebayar, et al.
Published: (2024)
Some explicit arithmetic on curves of genus three and their applications
by: Moriya, Tomoki, et al.
Published: (2022)
by: Moriya, Tomoki, et al.
Published: (2022)
Geometric Generality of Transformer-Based Gröbner Basis Computation
by: Kambe, Yuta, et al.
Published: (2025)
by: Kambe, Yuta, et al.
Published: (2025)
Similar Items
-
ParSEL: Parameterized Shape Editing with Language
by: Ganeshan, Aditya, et al.
Published: (2024) -
YASPS: A Symbolic Framework for Extensible, High-Performance IPC Simulation
by: Tang, Xuan, et al.
Published: (2026) -
LayoutRectifier: An Optimization‐based Post‐processing for Graphic Design Layout Generation
by: I‐Chao Shen, et al.
Published: (2025) -
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)