Record link: 
http://hdl.handle.net/20.500.12708/188020
-
Title: 
From Polynomial Invariants to Linear Loops
en
Citation: 
Kenison, G. J., Kovacs, L., & Varonka, A. (2023). From Polynomial Invariants to Linear Loops. In A. Dickenstein, E. Tsigaridas, & G. Jeronimo (Eds.), ISSAC ’23: Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation (pp. 398–406). Association for Computing Machinery. https://doi.org/10.1145/3597066.3597109
-
Publisher DOI: 
10.1145/3597066.3597109
-
Publication Type: 
Inproceedings - Full-Paper Contribution
en
 
Konferenzbeitrag - Full-Paper Contribution
de
Language: 
English
-
Authors: 
Kenison, George James 
Kovacs, Laura 
Varonka, Anton 
-
Organisational Unit: 
E192-04 - Forschungsbereich Formal Methods in Systems Engineering 
E192 - Institut für Logic and Computation 
-
Published in: 
ISSAC '23: Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation 
-
ISBN: 
9798400700392
-
DOI of the book: 
10.1145/3597066
-
Date (published): 
Jul-2023
-
Event name: 
ISSAC 2023: International Symposium on Symbolic and Algebraic Computation 2023 
en
Event date: 
24-Jul-2023 - 27-Jul-2023
-
Event place: 
Tromso, Norway
-
Number of Pages: 
9
-
Publisher: 
Association for Computing Machinery, New York
-
Peer reviewed: 
Yes
-
Keywords: 
Loop Synthesis; Algebraic algorithms; automated reasoning
en
Project title: 
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) 
LogiCs-Stipendien
-
Research Areas: 
Computer Science Foundations: 100%
-
Science Branch: 
1020 - Informatik: 80%
1010 - Mathematik: 20%
-
Appears in Collections:
Conference Paper

Show full item record

Items in reposiTUm are protected by copyright, with all rights reserved, unless otherwise indicated.

Page view(s)

12
checked on Aug 31, 2023

Google ScholarTM

Check