ISSAC '23: Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation

Book title Buchtitel
ISSAC '23: Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation
 
ISBN
9798400700392
 
 
Publisher Herausgeber
Association for Computing Machinery
 
Place of publishing Erscheinungsort
New York
 

Publications Publikationen

Results 1-3 of 3 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Kovács, Laura Algebra-Based Loop AnalysisInproceedings Konferenzbeitrag2023
2Kenison, George James ; Kovacs, Laura ; Varonka, Anton From Polynomial Invariants to Linear LoopsInproceedings Konferenzbeitrag Jul-2023
3Kenison, George ; Nosan, Klara ; Shirmohammadi, Mahsa ; Worrell, James The Membership Problem for Hypergeometric Sequences with Quadratic ParametersInproceedings Konferenzbeitrag 24-Jul-2023