The Membership Problem for Hypergeometric Sequences with Quadratic Parameters

International audience

Bibliographic Details
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]
Tromsø
Online Access:https://hal.science/hal-04252563
https://doi.org/10.1145/3597066.3597121
id ftanrparis:oai:HAL:hal-04252563v1
record_format openpolar
spelling ftanrparis:oai:HAL:hal-04252563v1 2024-09-15T18:39:20+00:00 The Membership Problem for Hypergeometric Sequences with Quadratic Parameters Kenison, George Nosan, Klara Shirmohammadi, Mahsa Worrell, James 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 Tromsø Norway, Norway 2023-07-24 https://hal.science/hal-04252563 https://doi.org/10.1145/3597066.3597121 en eng HAL CCSD ACM info:eu-repo/semantics/altIdentifier/arxiv/2303.09204 info:eu-repo/semantics/altIdentifier/doi/10.1145/3597066.3597121 info:eu-repo/grantAgreement//101002685/EU/Automated Reasoning with Theories and Induction for Software Technology/ARTIST hal-04252563 https://hal.science/hal-04252563 ARXIV: 2303.09204 doi:10.1145/3597066.3597121 http://creativecommons.org/licenses/by/ Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation ISSAC 2023: International Symposium on Symbolic and Algebraic Computation 2023 https://hal.science/hal-04252563 ISSAC 2023: International Symposium on Symbolic and Algebraic Computation 2023, Jul 2023, Tromsø Norway, Norway. pp.407-416, ⟨10.1145/3597066.3597121⟩ [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO] info:eu-repo/semantics/conferenceObject Conference papers 2023 ftanrparis https://doi.org/10.1145/3597066.3597121 2024-07-12T10:47:04Z International audience Conference Object Tromsø Portail HAL-ANR (Agence Nationale de la Recherche) Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation 407 416
institution Open Polar
collection Portail HAL-ANR (Agence Nationale de la Recherche)
op_collection_id ftanrparis
language English
topic [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]
spellingShingle [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]
Kenison, George
Nosan, Klara
Shirmohammadi, Mahsa
Worrell, James
The Membership Problem for Hypergeometric Sequences with Quadratic Parameters
topic_facet [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]
description International audience
author2 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
author Kenison, George
Nosan, Klara
Shirmohammadi, Mahsa
Worrell, James
author_facet Kenison, George
Nosan, Klara
Shirmohammadi, Mahsa
Worrell, James
author_sort Kenison, George
title The Membership Problem for Hypergeometric Sequences with Quadratic Parameters
title_short The Membership Problem for Hypergeometric Sequences with Quadratic Parameters
title_full The Membership Problem for Hypergeometric Sequences with Quadratic Parameters
title_fullStr The Membership Problem for Hypergeometric Sequences with Quadratic Parameters
title_full_unstemmed The Membership Problem for Hypergeometric Sequences with Quadratic Parameters
title_sort membership problem for hypergeometric sequences with quadratic parameters
publisher HAL CCSD
publishDate 2023
url https://hal.science/hal-04252563
https://doi.org/10.1145/3597066.3597121
op_coverage Tromsø Norway, Norway
genre Tromsø
genre_facet Tromsø
op_source Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation
ISSAC 2023: International Symposium on Symbolic and Algebraic Computation 2023
https://hal.science/hal-04252563
ISSAC 2023: International Symposium on Symbolic and Algebraic Computation 2023, Jul 2023, Tromsø Norway, Norway. pp.407-416, ⟨10.1145/3597066.3597121⟩
op_relation info:eu-repo/semantics/altIdentifier/arxiv/2303.09204
info:eu-repo/semantics/altIdentifier/doi/10.1145/3597066.3597121
info:eu-repo/grantAgreement//101002685/EU/Automated Reasoning with Theories and Induction for Software Technology/ARTIST
hal-04252563
https://hal.science/hal-04252563
ARXIV: 2303.09204
doi:10.1145/3597066.3597121
op_rights http://creativecommons.org/licenses/by/
op_doi https://doi.org/10.1145/3597066.3597121
container_title Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation
container_start_page 407
op_container_end_page 416
_version_ 1810483724895125504

Similar Items