{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T01:50:58Z","timestamp":1725846658792},"publisher-location":"Cham","reference-count":20,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319282275"},{"type":"electronic","value":"9783319282282"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-28228-2_9","type":"book-chapter","created":{"date-parts":[[2016,1,8]],"date-time":"2016-01-08T11:54:42Z","timestamp":1452254082000},"page":"135-152","source":"Crossref","is-referenced-by-count":9,"title":["Simplifying Probabilistic Programs Using Computer Algebra"],"prefix":"10.1007","author":[{"given":"Jacques","family":"Carette","sequence":"first","affiliation":[]},{"given":"Chung-Chieh","family":"Shan","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,1,9]]},"reference":[{"key":"9_CR1","doi-asserted-by":"crossref","unstructured":"Abramov, S.A., Petkov\u0161ek, M.: Gosper\u2019s algorithm, accurate summation, and the discrete Newton-Leibniz formula. In: Proceedings of the International Symposium on Symbolic and Algebraic Computation (ISSAC), pp. 5\u201312. ACM Press (2005)","DOI":"10.1145\/1073884.1073888"},{"key":"9_CR2","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780198507055.001.0001","volume-title":"Symbolic Computation for Statistical Inference","author":"DF Andrews","year":"2000","unstructured":"Andrews, D.F., Stafford, J.E.H.: Symbolic Computation for Statistical Inference. Oxford University Press, Oxford (2000)"},{"key":"9_CR3","doi-asserted-by":"crossref","unstructured":"Carette, J.: Understanding expression simplification. In: Proceedings of the International Symposium on Symbolic and Algebraic Computation (ISSAC), pp. 72\u201379. ACM Press (2004)","DOI":"10.1145\/1005285.1005298"},{"key":"9_CR4","doi-asserted-by":"crossref","unstructured":"Carette, J.: A canonical form for piecewise defined functions. In: Proceedings of the International Symposium on Symbolic and Algebraic Computation (ISSAC), pp. 77\u201384. ACM Press (2007)","DOI":"10.1145\/1277548.1277560"},{"key":"9_CR5","unstructured":"Carette, J., Shan, C.: Simplifying probabilistic programs using computer algebra. Technical report 719, Indiana University (2015). http:\/\/www.cs.indiana.edu\/cgi-bin\/techreports\/TRNNN.cgi?trnum=TR719"},{"issue":"2","key":"9_CR6","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1006\/jsco.1998.0207","volume":"26","author":"F Chyzak","year":"1998","unstructured":"Chyzak, F., Salvy, B.: Non-commutative elimination in ore algebras proves multivariate holonomic identities. J. Symb. Comput. 26(2), 187\u2013227 (1998)","journal-title":"J. Symb. Comput."},{"key":"9_CR7","doi-asserted-by":"crossref","unstructured":"Danvy, O., Filinski, A.: Abstracting control. In: Proceedings of the Conference on LISP and Functional Programming, pp. 151\u2013160. ACM Press (1990)","DOI":"10.1145\/91556.91622"},{"key":"9_CR8","unstructured":"de Salvo Braz, R., Amir, E., Roth, D.: Lifted first-order probabilistic inference. In: Proceedings of the 19th International Joint Conference on Artificial Intelligence, pp. 1319\u20131325 (2005)"},{"key":"9_CR9","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1007\/978-94-011-5014-9_4","volume-title":"Learning in Graphical Models","author":"R. Dechter","year":"1998","unstructured":"Dechter, R.: Bucket elimination: a unifying framework for probabilistic inference. In: Jordan, M.I., (ed.) Learning and Inference in Graphical Models. Kluwer, Dordrecht, Paperback: Learning in Graphical Models. MIT Press (1998)"},{"key":"9_CR10","series-title":"Lecture Notes in Mathematics","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1007\/BFb0092872","volume-title":"Categorical Aspects of Topology and Analysis","author":"M Giry","year":"1981","unstructured":"Giry, M.: A categorical approach to probability theory. In: Banaschewski, B. (ed.) Categorical Aspects of Topology and Analysis. Lecture Notes in Mathematics, vol. 915, pp. 68\u201385. Springer, Heidelberg (1981)"},{"key":"9_CR11","doi-asserted-by":"crossref","unstructured":"Hatcliff, J., Danvy, O.: A generic account of continuation-passing styles. In: Proceedings of the 21st Symposium on Principles of Programming Languages (POPL), pp. 458\u2013471. ACM Press (1994)","DOI":"10.1145\/174675.178053"},{"key":"9_CR12","series-title":"Texts and Monographs in Symbolic Computation","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1007\/978-3-7091-1616-6_5","volume-title":"Computer Algebra in Quantum Field Theory","author":"M Kauers","year":"2013","unstructured":"Kauers, M.: The holonomic toolkit. In: Schneider, C., Bl\u00fcmlein, J. (eds.) Computer Algebra in Quantum Field Theory. Texts and Monographs in Symbolic Computation, pp. 119\u2013144. Springer, Vienna (2013)"},{"key":"9_CR13","volume-title":"Stochastic Models, Estimation, and Control","author":"PS Maybeck","year":"1979","unstructured":"Maybeck, P.S.: Stochastic Models, Estimation, and Control. Academic Press, New York (1979)"},{"issue":"8","key":"9_CR14","doi-asserted-by":"publisher","first-page":"548","DOI":"10.1145\/362637.362651","volume":"14","author":"J Moses","year":"1971","unstructured":"Moses, J.: Algebraic simplification: a guide for the perplexed. Commun. ACM 14(8), 548\u2013560 (1971)","journal-title":"Commun. ACM"},{"key":"9_CR15","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511811555","volume-title":"A User\u2019s Guide to Measure Theoretic Probability","author":"D Pollard","year":"2001","unstructured":"Pollard, D.: A User\u2019s Guide to Measure Theoretic Probability. Cambridge University Press, Cambridge (2001)"},{"key":"9_CR16","doi-asserted-by":"crossref","unstructured":"Ramsey, N., Pfeffer, A.: Stochastic lambda calculus and monads of probability distributions. In: Proceedings of the 29th Symposium on Principles of Programming Languages (POPL), pp. 154\u2013165. ACM Press (2002)","DOI":"10.1145\/565816.503288"},{"key":"9_CR17","doi-asserted-by":"crossref","unstructured":"Salvy, B.: D-finiteness: Algorithms and applications. In: Proceedings of the International Symposium on Symbolic and Algebraic Computation (ISSAC), pp. 2\u20133 (2005)","DOI":"10.1145\/1073884.1073886"},{"issue":"2","key":"9_CR18","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1145\/178365.178368","volume":"20","author":"B Salvy","year":"1994","unstructured":"Salvy, B., Zimmermann, P.: Gfun: a Maple package for the manipulation of generating and holonomic functions in one variable. ACM Trans. Math. Softw. 20(2), 163\u2013177 (1994)","journal-title":"ACM Trans. Math. Softw."},{"key":"9_CR19","unstructured":"Tristan, J.B., Huang, D., Tassarotti, J., Pocock, A.C., Green, S.J., Steele, G.L., Jr.: Augur: Data-parallel probabilistic modeling. In: Advances in Neural Information Processing Systems, pp. 2600\u20132608 (2014)"},{"key":"9_CR20","doi-asserted-by":"publisher","first-page":"557","DOI":"10.1007\/BF02100618","volume":"108","author":"HS Wilf","year":"1992","unstructured":"Wilf, H.S., Zeilberger, D.: An algorithmic proof theory for hypergeometric (ordinary and \u201cq\u201d) multisum\/integral identities. Inventiones mathematicae 108, 557\u2013633 (1992)","journal-title":"Inventiones mathematicae"}],"container-title":["Lecture Notes in Computer Science","Practical Aspects of Declarative Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-28228-2_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,13]],"date-time":"2024-06-13T18:05:23Z","timestamp":1718301923000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-28228-2_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319282275","9783319282282"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-28228-2_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}