Author Search Results

Select result number 1
1

The Membership Problem for Hypergeometric Sequences with Quadratic Parameters

by Kenison, George, Nosan, Klara, Shirmohammadi, Mahsa, Worrell, James
Published in Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation (2023)
Contributors: “...Distribution Recovery for Invariant Generation of Probabilistic Programs (WWTF grant ProbInG ICT19...”

Get access
Get access

Conference Object
Select result number 2
2

The Membership Problem for Hypergeometric Sequences with Quadratic Parameters

by Kenison, George, Nosan, Klara, Shirmohammadi, Mahsa, Worrell, James
Published in Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation (2023)
Contributors: “...Distribution Recovery for Invariant Generation of Probabilistic Programs (WWTF grant ProbInG ICT19...”

Get access
Get access

Conference Object
Select result number 3
3

The Membership Problem for Hypergeometric Sequences with Quadratic Parameters

by Kenison, George, Nosan, Klara, Shirmohammadi, Mahsa, Worrell, James
Published in Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation (2023)
Contributors: “...Distribution Recovery for Invariant Generation of Probabilistic Programs (WWTF grant ProbInG ICT19...”

Get access
Get access

Conference Object