{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:12:26Z","timestamp":1750306346148,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":26,"publisher":"ACM","license":[{"start":{"date-parts":[[2016,7,20]],"date-time":"2016-07-20T00:00:00Z","timestamp":1468972800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2016,7,20]]},"DOI":"10.1145\/2930889.2930941","type":"proceedings-article","created":{"date-parts":[[2016,7,19]],"date-time":"2016-07-19T11:59:33Z","timestamp":1468929573000},"page":"19-22","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Formal Algorithmic Elimination for PDEs"],"prefix":"10.1145","author":[{"given":"Daniel","family":"Robertz","sequence":"first","affiliation":[{"name":"Plymouth University, Plymouth, United Kingdom"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2016,7,20]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1006\/jsco.1999.0269"},{"key":"e_1_3_2_1_2_1","unstructured":"T. Bachler.Counting Solutions of Algebraic Systems via Triangular Decomposition. Ph.D. thesis RWTH Aachen University Germany (2014). Available online at http:\/\/publications.rwth-aachen.de\/record\/444946?ln=en.  T. Bachler.Counting Solutions of Algebraic Systems via Triangular Decomposition. Ph.D. thesis RWTH Aachen University Germany (2014). Available online at http:\/\/publications.rwth-aachen.de\/record\/444946?ln=en."},{"key":"e_1_3_2_1_3_1","unstructured":"T. Bachler and M. Lange-Hegermann. Algebraic Thomas and Differential Thomas: Thomas decomposition of algebraic and differential systems. Available online at http:\/\/wwwb.math.rwth-aachen.de\/thomasdecomposition.  T. Bachler and M. Lange-Hegermann. Algebraic Thomas and Differential Thomas: Thomas decomposition of algebraic and differential systems. Available online at http:\/\/wwwb.math.rwth-aachen.de\/thomasdecomposition."},{"key":"e_1_3_2_1_4_1","first-page":"31","volume-title":"12th International Workshop, CASC 2010, Tsakhkadzor, Armenia","volume":"6244","author":"Bachler T.","year":"2010"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2011.12.043"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00200-009-0091-7"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0747-7171(03)00068-3"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10440-008-9202-x"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.aam.2015.09.005"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"crossref","unstructured":"E. Hubert. Notes on triangular sets and triangulation-decomposition algorithms. I. Polynomial systems. II. Differential systems.In: F. Winkler and U. Langer editors Symbolic and numerical scientific computation (Hagenberg 2001) pp. 1--39 resp. 40--87 Vol. 2630 ofLecture Notes in Computer Science Springer Berlin 2003.   E. Hubert. Notes on triangular sets and triangulation-decomposition algorithms. I. Polynomial systems. II. Differential systems.In: F. Winkler and U. Langer editors Symbolic and numerical scientific computation (Hagenberg 2001) pp. 1--39 resp. 40--87 Vol. 2630 ofLecture Notes in Computer Science Springer Berlin 2003.","DOI":"10.1007\/3-540-45084-X_2"},{"key":"e_1_3_2_1_11_1","unstructured":"E. R.\n       \n      Kolchin\n    .\n      \n  \n   \n  Differential algebra and algebraic groups\n  . Vol. \n  54\n   of \n  Pure and Applied Mathematics\n  . \n  Academic Press New\n   York-London 1973\n  .  E. R. Kolchin. Differential algebra and algebraic groups. Vol. 54 of Pure and Applied Mathematics. Academic Press New York-London 1973."},{"key":"e_1_3_2_1_12_1","unstructured":"M. Lange-Hegermann.Counting Solutions of Differential Equations.Ph.D. thesis RWTH Aachen University Germany (2014). Available online at http:\/\/publications.rwth-aachen.de\/record\/229056?ln=en.  M. Lange-Hegermann.Counting Solutions of Differential Equations.Ph.D. thesis RWTH Aachen University Germany (2014). Available online at http:\/\/publications.rwth-aachen.de\/record\/229056?ln=en."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1113439.1113456"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1016\/0375-9601(86)90534-7"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00013-008-2785-7"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1080\/10586458.2008.10128874"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"crossref","unstructured":"W. Plesken and D. Robertz.Linear differential elimination for analytic functions. Math. Comput. Sci. 4(2--3):231--242 (2010).  W. Plesken and D. Robertz.Linear differential elimination for analytic functions. Math. Comput. Sci. 4(2--3):231--242 (2010).","DOI":"10.1007\/s11786-010-0053-2"},{"volume-title":"John Wiley & Sons","year":"1995","author":"Rassias T. M.","key":"e_1_3_2_1_18_1"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"crossref","unstructured":"J. F. Ritt. Differential Algebra. Vol. XXXIII ofAmerican Mathematical Society Colloquium Publications. American Mathematical Society New York N. Y. 1950.  J. F. Ritt. Differential Algebra. Vol. XXXIII ofAmerican Mathematical Society Colloquium Publications. American Mathematical Society New York N. Y. 1950.","DOI":"10.1090\/coll\/033"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"crossref","unstructured":"D.\n       \n      Robertz\n    .\n      \n  \n   \n  Formal Algorithmic Elimination for PDEs\n  . Vol. \n  2121\n   of\n  Lecture Notes in Mathematics Springer Cham 2014\n  .  D. Robertz. Formal Algorithmic Elimination for PDEs. Vol. 2121 ofLecture Notes in Mathematics Springer Cham 2014.","DOI":"10.1007\/978-3-319-11445-3"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2009.09.003"},{"key":"e_1_3_2_1_22_1","first-page":"31","article-title":"An elimination theory for differential algebra. Univ. California Publ. Math. (N.","volume":"3","author":"Seidenberg A.","year":"1956","journal-title":"S.)"},{"key":"e_1_3_2_1_23_1","unstructured":"J. M.\n       \n      Thomas\n    .\n      \n  \n   \n  Differential Systems\n  . Vol. \n  XXI\n   of\n  American Mathematical Society Colloquium Publications\n  .American \n  Mathematical Society New York N. Y. 1937\n  .  J. M. Thomas. Differential Systems. Vol. XXI ofAmerican Mathematical Society Colloquium Publications.American Mathematical Society New York N. Y. 1937."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1006\/jsco.1997.0177"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-7091-6202-6"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1006\/jsco.1998.0250"}],"event":{"name":"ISSAC '16: International Symposium on Symbolic and Algebraic Computation","sponsor":["SIGSAM ACM Special Interest Group on Symbolic and Algebraic Manipulation"],"location":"Waterloo ON Canada","acronym":"ISSAC '16"},"container-title":["Proceedings of the ACM on International Symposium on Symbolic and Algebraic Computation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2930889.2930941","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2930889.2930941","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:55:49Z","timestamp":1750222549000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2930889.2930941"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,7,20]]},"references-count":26,"alternative-id":["10.1145\/2930889.2930941","10.1145\/2930889"],"URL":"https:\/\/doi.org\/10.1145\/2930889.2930941","relation":{},"subject":[],"published":{"date-parts":[[2016,7,20]]},"assertion":[{"value":"2016-07-20","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}