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
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

Page view(s)

178
checked on Nov 20, 2023

Google ScholarTM

Check