Výsledky vyhledávání - "Symbolic and algebraic manipulation"

Front Matter, Table of Contents, Preface, Conference Organization

Autor: Gaboardi, Marco, van Raamsdonk, Femke

Front Matter, Table of Contents, Preface, Conference Organization
LIPIcs, Vol. 260, 8th International Conference on Formal Structures for Computation and Deduction (FSCD 2023), pages 0:i-0:xviii

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::66e61de0bd7a314830af6d0477319d2a

Zobrazit plný text záznamu

The Identity Problem in ℤ ≀ ℤ Is Decidable

Autor: Dong, Ruiwen

We consider semigroup algorithmic problems in the wreath product ℤ ≀ ℤ. Our paper focuses on two decision problems introduced by Choffrut and Karhumäki (2005): the Identity Problem (does a semigroup contain the neutral element?) and the Group

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::8689d3b4d7970f02952d014ba32f30d7

Zobrazit plný text záznamu

Semigroup Intersection Problems in the Heisenberg Groups

Autor: Dong, Ruiwen

We consider two algorithmic problems concerning sub-semigroups of Heisenberg groups and, more generally, two-step nilpotent groups. The first problem is Intersection Emptiness, which asks whether a finite number of given finitely generated semigroups

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::bf3f860029abbcf6bd22b9ca68d928dd

Zobrazit plný text záznamu

Solving homogeneous linear equations over polynomial semirings

Autor: Dong, Ruiwen

For a subset $B$ of $\mathbb{R}$, denote by $\operatorname{U}(B)$ be the semiring of (univariate) polynomials in $\mathbb{R}[X]$ that are strictly positive on $B$. Let $\mathbb{N}[X]$ be the semiring of (univariate) polynomials with non-negative inte

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::811b247f52ba7a0ffe31a776aa8fda0d
http://arxiv.org/abs/2209.13347

Zobrazit plný text záznamu

Elektronická kniha

Tools and Algorithms for the Construction and Analysis of Systems

Autor: Fisman, Dana, Rosu, Grigore

This open access book constitutes the proceedings of the 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2022, which was held during April 2-7, 2022, in Munich, Germany, as part of the Europea

Externí odkaz: https://library.oapen.org/handle/20.500.12657/54031

Zobrazit plný text záznamu

Structure and Learning (Dagstuhl Seminar 21362)

Autor: Dong, Tiansi, Rettinger, Achim, Tang, Jie, Tversky, Barbara, van Harmelen, Frank

This report documents the program and the outcomes of Dagstuhl Seminar 21362 "Structure and Learning", held from September 5 to 10, 2021. Structure and learning are among the most prominent topics in Artificial Intelligence (AI) today. Integrating sy

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::a0bba7f899a6fd87d62e7f903dd2fe6d

Zobrazit plný text záznamu

New Perspectives in Symbolic Computation and Satisfiability Checking (Dagstuhl Seminar 22072)

Autor: Abraham, Erika, Davenport, James H., England, Matthew, Griggio, Alberto

Dagstuhl Seminar 22072 gathered researchers from Symbolic Computation and Satisfiability Checking. These communities have independent histories but worked together in recent years (e.g. Dagstuhl Seminar 15471 and the EU SC-Square Project). We seek to

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::f620dc5b9a08d651e586afcd7405304a

Zobrazit plný text záznamu

On the Identity Problem for Unitriangular Matrices of Dimension Four

Autor: Dong, Ruiwen

We show that the Identity Problem is decidable in polynomial time for finitely generated sub-semigroups of the group $\mathsf{UT}(4, \mathbb{Z})$ of $4 \times 4$ unitriangular integer matrices. As a byproduct of our proof, we also show the polynomial

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::38cbb07dd2677dd825562cfcb93c1556

Zobrazit plný text záznamu

A First Step Towards the Inference of Geological Topological Operations

Autor: Pascual, Romain, Belhaouari, Hakim, Arnould, Agnès, Pascale, Le Gall

Procedural modeling enables building complex geometric objects and scenes in a wide panel of applications. The traditional approach relies on the sequential application of a reduced set of construction rules. We offer to automatically generate new to

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::376278f6f7f767ef424b64203a8b27c6

Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání