Datensatz Zitierlink: 
http://hdl.handle.net/20.500.12708/188037
-
Titel: 
The Membership Problem for Hypergeometric Sequences with Quadratic Parameters
en
Zitat: 
Kenison, G., Nosan, K., Shirmohammadi, M., & Worrell, J. (2023). The Membership Problem for Hypergeometric Sequences with Quadratic Parameters. In A. Dickenstein, E. Tsigaridas, & G. Jeronimo (Eds.), ISSAC ’23: Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation (pp. 407–416). Association for Computing Machinery. https://doi.org/10.1145/3597066.3597121
-
Verlags-DOI: 
10.1145/3597066.3597121
-
Publikationstyp: 
Konferenzbeitrag - Full-Paper Contribution
de
Sprache: 
Englisch
-
Autor_innen: 
Kenison, George 
Nosan, Klara 
Shirmohammadi, Mahsa 
Worrell, James 
-
Organisations­einheit: 
E192-04 - Forschungsbereich Formal Methods in Systems Engineering 
E192 - Institut für Logic and Computation 
-
Erschienen in: 
ISSAC '23: Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation 
-
ISBN: 
9798400700392
-
Datum (veröffentlicht): 
24-Jul-2023
-
Veranstaltungs­name: 
ISSAC 2023: International Symposium on Symbolic and Algebraic Computation 2023 
en
Veranstaltungs­zeitraum: 
24-Jul-2023 - 27-Jul-2023
-
Veranstaltungs­ort: 
Tromso, Norwegen
-
Umfang: 
10
-
Verlag: 
Association for Computing Machinery, New York
-
Keywords: 
Membership Problem; Algebraic algorithms; Reachability
en
Abstract: 
Hypergeometric sequences are rational-valued sequences that satisfy first-order linear recurrence relations with polynomial coefficients; that is, a hypergeometric sequence is one that satisfies a recurrence of the form f(n)un = g(n)un − 1 where . In this paper, we consider the Membership Problem for hypergeometric sequences: given a hypergeometric sequence and a target value , determine whether un = t for some index n. We establish decidability of the Membership Problem under the assumption that either (i) f and g have distinct splitting fields or (ii) f and g are monic polynomials that both split over a quadratic extension of . Our results are based on an analysis of the prime divisors of polynomial sequences and appearing in the recurrence relation.
-
Projekttitel: 
Automated Reasoning with Theories and Induction for Software Technologies: ERC Consolidator Grant 2020 (European Commission) 
Distribution Recovery for Invariant Generation of Probabilistic Programs: ICT19-018 (WWTF Wiener Wissenschafts-, Forschu und Technologiefonds) 
-
Forschungs­schwerpunkte: 
Computer Science Foundations: 100%
-
Wissenschafts­zweig: 
1020 - Informatik: 80%
1010 - Mathematik: 20%
-
Enthalten in den Sammlungen:
Conference Paper

Zur Langanzeige

Seiten Aufrufe

285
aufgerufen am 21.11.2023

Google ScholarTM

Check