{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,22]],"date-time":"2026-04-22T14:13:05Z","timestamp":1776867185450,"version":"3.51.2"},"reference-count":10,"publisher":"Association for Computing Machinery (ACM)","issue":"3\/4","license":[{"start":{"date-parts":[[2010,6,24]],"date-time":"2010-06-24T00:00:00Z","timestamp":1277337600000},"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":["ACM Commun. Comput. Algebra"],"published-print":{"date-parts":[[2010,6,24]]},"abstract":"<jats:p>\n            A new Maple package for solving parametric systems of polynomial equations and inequalities is described. The main idea for solving such a system is as follows. The parameter space Rd is divided into two parts: the discriminant variety\n            <jats:italic>W<\/jats:italic>\n            and its complement R\n            <jats:italic>\n              <jats:sup>d<\/jats:sup>\n            <\/jats:italic>\n            <jats:italic>nW<\/jats:italic>\n            . The discriminant variety is a generalization of the well-known discriminant of a univariate polynomial and contains all those parameter values leading to non-generic solutions of the system. The complement R\n            <jats:italic>\n              <jats:sup>d<\/jats:sup>\n            <\/jats:italic>\n            <jats:italic>nW<\/jats:italic>\n            can be expressed as a finite union of open cells such that the number of real solutions of the input system is constant on each cell. In this way, all parameter values leading to generic solutions of the system can be described systematically. The underlying techniques used are Gr\u00f6bner bases, polynomial real root finding, and cylindrical algebraic decomposition. This package offers a friendly interface for scientists and engineers to solve parametric problems, as illustrated by an example from control theory.\n          <\/jats:p>","DOI":"10.1145\/1823931.1823933","type":"journal-article","created":{"date-parts":[[2010,6,29]],"date-time":"2010-06-29T13:02:22Z","timestamp":1277816542000},"page":"61-72","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":20,"title":["A package for solving parametric polynomial systems"],"prefix":"10.1145","volume":"43","author":[{"given":"J\u00fcrgen","family":"Gerhard","sequence":"first","affiliation":[{"name":"Maplesoft, Waterloo, Ontario, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"D. J.","family":"Jeffrey","sequence":"additional","affiliation":[{"name":"University of Western Ontario, London, Ontario, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Guillaume","family":"Moroz","sequence":"additional","affiliation":[{"name":"IRCCyN UMR CNRS 6597, Nantes Cedex 03, France"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2010,6,24]]},"reference":[{"key":"e_1_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.5555\/646589.697342"},{"key":"e_1_2_1_2_1","series-title":"Lecture Notes in Artificial Intelligence","first-page":"31","volume-title":"Using computer algebra tools to classify serial manipulators","author":"Corvez S.","year":"2003"},{"key":"e_1_2_1_3_1","first-page":"221","volume-title":"B.H. Matzat, G.-M. Greuel and G. Hiss(Ed.)","author":"Dolzmann A.","year":"1998"},{"key":"e_1_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0022-4049(99)00005-5"},{"key":"e_1_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2007.01.007"},{"key":"e_1_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/1145768.1145810"},{"key":"e_1_2_1_7_1","first-page":"433","article-title":"Solving zero-dimensional systems through the rational univariate representation, Applicable Algebra in Engineering","volume":"9","author":"Rouillier F.","year":"1999","journal-title":"Communication and Computing"},{"key":"e_1_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.cam.2003.08.015"},{"key":"e_1_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/860854.860903"},{"key":"e_1_2_1_10_1","volume-title":"Feedback Control Systems","author":"Van de Vegte J.","year":"1994","edition":"3"}],"container-title":["ACM Communications in Computer Algebra"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1823931.1823933","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1823931.1823933","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T11:39:33Z","timestamp":1750246773000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1823931.1823933"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,6,24]]},"references-count":10,"journal-issue":{"issue":"3\/4","published-print":{"date-parts":[[2010,6,24]]}},"alternative-id":["10.1145\/1823931.1823933"],"URL":"https:\/\/doi.org\/10.1145\/1823931.1823933","relation":{},"ISSN":["1932-2240"],"issn-type":[{"value":"1932-2240","type":"print"}],"subject":[],"published":{"date-parts":[[2010,6,24]]},"assertion":[{"value":"2010-06-24","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}