The Membership Problem for Hypergeometric Sequences with Quadratic Parameters

• Published in: Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation
• Main Authors: Kenison, George, Nosan, Klara, Shirmohammadi, Mahsa, Worrell, James
• Other Authors: Liverpool John Moores University (LJMU), Institut de Recherche en Informatique Fondamentale (IRIF (UMR_8243)), Centre National de la Recherche Scientifique (CNRS)-Université Paris Cité (UPCité), Université Paris Diderot - Paris 7 (UPD7)-Centre National de la Recherche Scientifique (CNRS), University of Oxford, Distribution Recovery for Invariant Generation of Probabilistic Programs (WWTF grant ProbInG ICT19-018), International Emerging Actions grant (IEA’22), EPSRC fellowship EP/X033813/1, ANR-22-CE48-0005,VeSyAM,Vérification et synthèse de modèles algébriques(2022), ANR-20-JSTM-0001,CyphAI,Méthodes formelles pour l'analysis et le développement de systèmes cyber-physiques intégrant l'intelligence artificielle(2020), European Project: 101002685,ARTIST
• Format: Conference Object
• Language: English
• Published: HAL CCSD 2023
• Subjects: [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]; Norway; Tromsø
• Online Access: https://hal.science/hal-04252563; https://doi.org/10.1145/3597066.3597121