{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,6]],"date-time":"2026-04-06T12:27:49Z","timestamp":1775478469086,"version":"3.50.1"},"reference-count":45,"publisher":"Association for Computing Machinery (ACM)","issue":"1","license":[{"start":{"date-parts":[[2017,7,14]],"date-time":"2017-07-14T00:00:00Z","timestamp":1499990400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"Mathematical Biosciences Institute"},{"name":"Duncan Chair of the University of Notre Dame, AFOSR","award":["FA8650-13-1-7317, NSF DMS-1115668 and NSF DMS-1262428"],"award-info":[{"award-number":["FA8650-13-1-7317, NSF DMS-1115668 and NSF DMS-1262428"]}]},{"name":"DARPA YFA, Sloan Research Fellowship"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Math. Softw."],"published-print":{"date-parts":[[2018,3,31]]},"abstract":"<jats:p>Bertini_real is a compiled command line program for numerically decomposing the real portion of a positive-dimensional complex component of an algebraic set. The software uses homotopy continuation to solve a series of systems via regeneration from a witness set to compute a cell decomposition. The implemented decomposition algorithms are similar to the well-known cylindrical algebraic decomposition (CAD) first established by Collins in that they produce a set of connected cells. In contrast to the CAD, Bertini_real produces cells with midpoints connected to boundary points by homotopies, which can easily be numerically tracked. Furthermore, the implemented decomposition for surfaces naturally yields a triangulation. This CAD-like decomposition captures the topological information and permits further computation on the real sets, such as sampling, visualization, and three-dimensional printing.<\/jats:p>","DOI":"10.1145\/3056528","type":"journal-article","created":{"date-parts":[[2017,7,17]],"date-time":"2017-07-17T12:20:12Z","timestamp":1500294012000},"page":"1-30","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":9,"title":["Algorithm 976"],"prefix":"10.1145","volume":"44","author":[{"given":"Daniel A.","family":"Brake","sequence":"first","affiliation":[{"name":"University of Wisconsin Eau Claire, Garfield Avenue, Eau Claire, WI"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daniel J.","family":"Bates","sequence":"additional","affiliation":[{"name":"Colorado State University, Fort Collins, CO"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wenrui","family":"Hao","sequence":"additional","affiliation":[{"name":"Pennsylvania State University, University Park, PA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jonathan D.","family":"Hauenstein","sequence":"additional","affiliation":[{"name":"University of Notre Dame, Notre Dame, IN"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrew J.","family":"Sommese","sequence":"additional","affiliation":[{"name":"University of Notre Dame, Notre Dame, IN"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Charles W.","family":"Wampler","sequence":"additional","affiliation":[{"name":"General Motors, Mound Road, Warren, MI"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2017,7,14]]},"reference":[{"key":"e_1_2_2_1_1","first-page":"11","article-title":"Meshing implicit algebraic surfaces: The smooth case","volume":"4","author":"Alberti L.","year":"2005","unstructured":"L. Alberti , G. Comte , and B. Mourrain . 2005 . Meshing implicit algebraic surfaces: The smooth case . In Mathematical Methods for Curves and Surfaces. Tromso , 4 , 11 -- 26 . L. Alberti, G. Comte, and B. Mourrain. 2005. Meshing implicit algebraic surfaces: The smooth case. In Mathematical Methods for Curves and Surfaces. Tromso, 4, 11--26.","journal-title":"Mathematical Methods for Curves and Surfaces. Tromso"},{"key":"e_1_2_2_2_1","doi-asserted-by":"publisher","DOI":"10.1002\/zamm.19230030103"},{"key":"e_1_2_2_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1468075.1468082"},{"key":"e_1_2_2_4_1","doi-asserted-by":"publisher","DOI":"10.1137\/0213054"},{"key":"e_1_2_2_5_1","volume-title":"Algorithms in Real Algebraic Geometry (Algorithms and Computation in Mathematics)","author":"Basu S.","unstructured":"S. Basu , R. Pollack , and M.-F. Roy . 2006. Algorithms in Real Algebraic Geometry (Algorithms and Computation in Mathematics) . Springer-Verlag New York, Inc. , Secaucus, NJ, USA . S. Basu, R. Pollack, and M.-F. Roy. 2006. Algorithms in Real Algebraic Geometry (Algorithms and Computation in Mathematics). Springer-Verlag New York, Inc., Secaucus, NJ, USA."},{"key":"e_1_2_2_6_1","unstructured":"D. J. Bates D. A. Brake J. D. Hauenstein A. J. Sommese and C. W. Wampler. 2014b. Homotopies for connected components applied to computing critical sets. Retrieved from www.nd.edu\/&sim;jhauenst\/preprints\/bbhswCritical.pdf.  D. J. Bates D. A. Brake J. D. Hauenstein A. J. Sommese and C. W. Wampler. 2014b. Homotopies for connected components applied to computing critical sets. Retrieved from www.nd.edu\/&sim;jhauenst\/preprints\/bbhswCritical.pdf."},{"key":"e_1_2_2_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-44199-2_39"},{"key":"e_1_2_2_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-211-99314-9_2"},{"key":"e_1_2_2_9_1","doi-asserted-by":"publisher","DOI":"10.1137\/08073264X"},{"key":"e_1_2_2_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11075-011-9463-8"},{"key":"e_1_2_2_11_1","doi-asserted-by":"crossref","unstructured":"D. J. Bates J. D. Hauenstein A. J. Sommese and C. W. Wampler. 2013. Numerically Solving Polynomial Systems with Bertini. Vol. 25. SIAM.  D. J. Bates J. D. Hauenstein A. J. Sommese and C. W. Wampler. 2013. Numerically Solving Polynomial Systems with Bertini. Vol. 25. SIAM.","DOI":"10.1137\/1.9781611972702"},{"key":"e_1_2_2_12_1","volume-title":"Bertini: Software for Numerical Algebraic Geometry. Retrieved from bertini.nd.edu.","author":"Bates D. J.","year":"2006","unstructured":"D. J. Bates , J. D. Hauenstein , A. J. Sommese , and C. W. Wampler . 2006 . Bertini: Software for Numerical Algebraic Geometry. Retrieved from bertini.nd.edu. D. J. Bates, J. D. Hauenstein, A. J. Sommese, and C. W. Wampler. 2006. Bertini: Software for Numerical Algebraic Geometry. Retrieved from bertini.nd.edu."},{"key":"e_1_2_2_13_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2013.04.014"},{"key":"e_1_2_2_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/1377676.1377703"},{"key":"e_1_2_2_15_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.comgeo.2009.01.009"},{"key":"e_1_2_2_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11075-012-9646-y"},{"key":"e_1_2_2_17_1","volume-title":"Theoretical Kinematics. North-Holland Series in Applied Mathematics and Mechanics","volume":"24","author":"Bottema O.","year":"1990","unstructured":"O. Bottema and B. Roth . 1979 . Theoretical Kinematics. North-Holland Series in Applied Mathematics and Mechanics , Vol. 24 . North-Holland Publishing Co., Amsterdam. xiv+558 pages. Reprinted by Dover Publications, New York , 1990 . O. Bottema and B. Roth. 1979. Theoretical Kinematics. North-Holland Series in Applied Mathematics and Mechanics, Vol. 24. North-Holland Publishing Co., Amsterdam. xiv+558 pages. Reprinted by Dover Publications, New York, 1990."},{"key":"e_1_2_2_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-44199-2_29"},{"key":"e_1_2_2_19_1","doi-asserted-by":"publisher","DOI":"10.1115\/1.4033251"},{"key":"e_1_2_2_20_1","unstructured":"L. E. H. Burmester. 1888. Lehrbuch der Kinematik. Leipzig A. Felix.  L. E. H. Burmester. 1888. Lehrbuch der Kinematik. Leipzig A. Felix."},{"key":"e_1_2_2_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11786-010-0044-3"},{"key":"e_1_2_2_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/160985.161150"},{"key":"e_1_2_2_23_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-07407-4_17"},{"key":"e_1_2_2_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/1390768.1390778"},{"key":"e_1_2_2_25_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00366-009-0162-1"},{"key":"e_1_2_2_26_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2011.09.010"},{"key":"e_1_2_2_27_1","unstructured":"The Blender Foundation. 2014. Blender. Retrieved from www.blender.org.  The Blender Foundation. 2014. Blender. Retrieved from www.blender.org."},{"key":"e_1_2_2_28_1","unstructured":"A. S. Glassner (Ed.). 1989. An Introduction to Ray Tracing. Academic Press Ltd. London UK.  A. S. Glassner (Ed.). 1989. An Introduction to Ray Tracing. Academic Press Ltd. London UK."},{"key":"e_1_2_2_29_1","doi-asserted-by":"publisher","DOI":"10.1090\/S0025-5718-2010-02399-3"},{"key":"e_1_2_2_30_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10208-013-9147-y"},{"key":"e_1_2_2_31_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.amc.2012.06.034"},{"key":"e_1_2_2_32_1","unstructured":"J. D. Hauenstein and C. W. Wampler. 2014. Unification and extension of intersection algorithms in numerical algebraic geometry. Retrieved from www.nd.edu\/&sim;jdhauens\/preprints\/hwGeneralIntersection.pdf.  J. D. Hauenstein and C. W. Wampler. 2014. Unification and extension of intersection algorithms in numerical algebraic geometry. Retrieved from www.nd.edu\/&sim;jdhauens\/preprints\/hwGeneralIntersection.pdf."},{"key":"e_1_2_2_33_1","unstructured":"H. Hauser and J. Schicho. 2014. Algebraic Surfaces. Retrieved from homepage.univie.ac.at\/herwig.hauser\/bildergalerie\/gallery.html.  H. Hauser and J. Schicho. 2014. Algebraic Surfaces. Retrieved from homepage.univie.ac.at\/herwig.hauser\/bildergalerie\/gallery.html."},{"key":"e_1_2_2_34_1","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2000.844032"},{"key":"e_1_2_2_35_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2011.11.001"},{"key":"e_1_2_2_36_1","doi-asserted-by":"publisher","DOI":"10.1090\/conm\/448\/08665"},{"key":"e_1_2_2_37_1","doi-asserted-by":"publisher","DOI":"10.1109\/SIBGRAPI.2006.40"},{"key":"e_1_2_2_38_1","doi-asserted-by":"publisher","DOI":"10.1137\/S0036142900372549"},{"key":"e_1_2_2_39_1","doi-asserted-by":"publisher","DOI":"10.1115\/1.1649965"},{"key":"e_1_2_2_40_1","doi-asserted-by":"publisher","DOI":"10.1137\/S0036142903430463"},{"key":"e_1_2_2_41_1","doi-asserted-by":"publisher","DOI":"10.1142\/5763"},{"key":"e_1_2_2_42_1","volume-title":"CGAL User and Reference Manual (4.4 ed.)","author":"Project CGAL","unstructured":"The CGAL Project . 2014. CGAL User and Reference Manual (4.4 ed.) . CGAL Editorial Board. Retrieved from doc.cgal.org\/4.4\/Manual\/packages.html. The CGAL Project. 2014. CGAL User and Reference Manual (4.4 ed.). CGAL Editorial Board. Retrieved from doc.cgal.org\/4.4\/Manual\/packages.html."},{"key":"e_1_2_2_43_1","doi-asserted-by":"crossref","unstructured":"Y. Tong. 2013. Four-bar Linkage Synthesis for a Combination of Motion and Path-point Generation.  Y. Tong. 2013. Four-bar Linkage Synthesis for a Combination of Motion and Path-point Generation.","DOI":"10.1115\/DETC2013-12969"},{"key":"e_1_2_2_44_1","doi-asserted-by":"publisher","DOI":"10.1115\/1.2916909"},{"key":"e_1_2_2_45_1","unstructured":"E. W. Weisstein. 2014. Barth Sextic. Retrieved from mathworld.wolfram.com\/BarthSextic.html.  E. W. Weisstein. 2014. Barth Sextic. Retrieved from mathworld.wolfram.com\/BarthSextic.html."}],"container-title":["ACM Transactions on Mathematical Software"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3056528","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3056528","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T03:03:13Z","timestamp":1750215793000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3056528"}},"subtitle":["Bertini_real: Numerical Decomposition of Real Algebraic Curves and Surfaces"],"short-title":[],"issued":{"date-parts":[[2017,7,14]]},"references-count":45,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2018,3,31]]}},"alternative-id":["10.1145\/3056528"],"URL":"https:\/\/doi.org\/10.1145\/3056528","relation":{},"ISSN":["0098-3500","1557-7295"],"issn-type":[{"value":"0098-3500","type":"print"},{"value":"1557-7295","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,7,14]]},"assertion":[{"value":"2015-02-01","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2017-02-01","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2017-07-14","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}