:: Library Catalog

Copertina

Salvato in:

Dettagli Bibliografici
Autori principali:	Simmons, William, Platzer, André
Natura:	Preprint
Pubblicazione:	2023
Soggetti:	Symbolic Computation Logic in Computer Science Algebraic Geometry Dynamical Systems
Accesso online:	https://arxiv.org/abs/2301.10935
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

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

From Affine to Polynomial: Synthesizing Loops with Branches via Algebraic Geometry
di: Bayarmagnai, Erdenebayar, et al.
Pubblicazione: (2025)

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

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

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

Pseudo-Complex Quantifier Elimination
di: Faroß, Nicolas, et al.
Pubblicazione: (2026)

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

One-Parametric Presburger Arithmetic has Quantifier Elimination
di: Mansutti, Alessio, et al.
Pubblicazione: (2025)

A Symbolic Homotopy Algorithm for Solving Composable Polynomial Systems
di: Vu, Thi Xuan
Pubblicazione: (2026)

Quantifier Elimination Meets Treewidth
di: Wu, Hao, et al.
Pubblicazione: (2026)

Integrability and Linearizability of a Family of Three-Dimensional Polynomial Systems
di: Huang, Bo, et al.
Pubblicazione: (2024)

Exhaustive Symbolic Integration: Integration by Differentiation and the Landscape of Symbolic Integrability
di: Desmond, Harry
Pubblicazione: (2026)

A Novel Algorithm for Representing Positive Semi-Definite Polynomials as Sums of Squares with Rational Coefficients
di: Zeng, Zhenbing, et al.
Pubblicazione: (2025)

Automatic Generation of Polynomial Symmetry Breaking Constraints
di: Erascu, Madalina, et al.
Pubblicazione: (2026)

Power Term Polynomial Algebra for Boolean Logic
di: Sansone, Emanuele, et al.
Pubblicazione: (2026)

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

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

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

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

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

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

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

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

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

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

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

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

Formal Verification of Parameterized Systems based on Induction
di: Xiu, Jiaqi, et al.
Pubblicazione: (2025)

Names Don't Matter: Symbol-Invariant Transformer for Open-Vocabulary Learning
di: Işık, İlker, et al.
Pubblicazione: (2026)

Algebraic anti-unification
di: Antić, Christian
Pubblicazione: (2024)

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

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

A Category Theoretic Approach to Approximate Game Theory
di: Ghani, Neil
Pubblicazione: (2025)

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

SCL(FOL) Revisited
di: Bromberger, Martin, et al.
Pubblicazione: (2023)

Solving unification in the description logic $\mathcal{FL}_\bot$
di: Morawska, Barbara, et al.
Pubblicazione: (2024)

Proceedings of the 19th International Workshop on Logical and Semantic Frameworks, with Applications
di: Kop, Cynthia, et al.
Pubblicazione: (2025)

Rings with common division, common meadows and their conditional equational theories
di: Bergstra, Jan A, et al.
Pubblicazione: (2024)

Improving NLSAT for Nonlinear Real Arithmetic
di: Wang, Zhonghan
Pubblicazione: (2024)