{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:39:03Z","timestamp":1750307943961,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":22,"publisher":"ACM","license":[{"start":{"date-parts":[[2007,7,25]],"date-time":"2007-07-25T00:00:00Z","timestamp":1185321600000},"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":[[2007,7,25]]},"DOI":"10.1145\/1277500.1277526","type":"proceedings-article","created":{"date-parts":[[2023,1,8]],"date-time":"2023-01-08T18:21:02Z","timestamp":1673202062000},"page":"180-189","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":8,"title":["Computing floating-point gr\u00f6bner bases stably"],"prefix":"10.1145","author":[{"given":"Tateaki","family":"Sasaki","sequence":"first","affiliation":[{"name":"University of Tsukuba, Tsukuba-Shi, Japan"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fujio","family":"Kako","sequence":"additional","affiliation":[{"name":"Nara Women's University, Nara-shi, Japan"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2007,7,25]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/321371.321381"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0022-4049(99)00005-5"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0022-4049(00)00151-1"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/362835.362839"},{"key":"e_1_3_2_1_5_1","volume-title":"Preprint of Univ.Tsukuba","author":"Kako F.","year":"1997","unstructured":"F. Kako and T. Sasaki . Proposal of \"effective\" floating-point number . Preprint of Univ.Tsukuba , May 1997 (unpublished). F. Kako and T. Sasaki. Proposal of \"effective\" floating-point number. Preprint of Univ.Tsukuba, May 1997 (unpublished)."},{"key":"e_1_3_2_1_6_1","volume-title":"Proceedings of CASC2004 (Computer Algebra in Scientific Computing) 295--306","author":"Kondratyev A.","year":"2004","unstructured":"A. Kondratyev , H. J. Stetter and S. Winkler . Numerical computation of Gr \u00f6bner bases . Proceedings of CASC2004 (Computer Algebra in Scientific Computing) 295--306 , St. Petersburg, Russia , 2004 . A. Kondratyev, H. J. Stetter and S. Winkler. Numerical computation of Gr \u00f6bner bases. Proceedings of CASC2004 (Computer Algebra in Scientific Computing) 295--306, St. Petersburg, Russia, 2004."},{"key":"e_1_3_2_1_7_1","volume-title":"Birkh\u00e4 user","author":"Mourrain B.","year":"2007","unstructured":"B. Mourrain . Pythagore's dilemma, symbolic-numeric computation, and the border basis method. Symbolic-Numeric Computations (Trends in Mathematics)223--243 , Birkh\u00e4 user Verlag , 2007 . B. Mourrain. Pythagore's dilemma, symbolic-numeric computation, and the border basis method. Symbolic-Numeric Computations (Trends in Mathematics)223--243, Birkh\u00e4 user Verlag, 2007."},{"key":"e_1_3_2_1_8_1","volume-title":"Master thesis of Univ. Tsukuba,March","author":"Ohyoshi T.","year":"2003","unstructured":"T. Ohyoshi . Effectiveness of \"efloat numbers \"in approximate algebra (in Japanese). Master thesis of Univ. Tsukuba,March 2003 . T. Ohyoshi. Effectiveness of \"efloat numbers \"in approximate algebra (in Japanese). Master thesis of Univ. Tsukuba,March 2003."},{"key":"e_1_3_2_1_9_1","volume-title":"An algorithm to compute floating-point Gr\u00f6bner bases.Mathematical Computation with Maple V","author":"Shirayanagi K.","year":"1993","unstructured":"K. Shirayanagi . An algorithm to compute floating-point Gr\u00f6bner bases.Mathematical Computation with Maple V . Ideas and Applications Birkh\u00e4user , 95--106, 1993 . K. Shirayanagi. An algorithm to compute floating-point Gr\u00f6bner bases.Mathematical Computation with Maple V. Ideas and Applications Birkh\u00e4user, 95--106, 1993."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0378-4754(96)00027-4"},{"key":"e_1_3_2_1_11_1","volume-title":"Error analysis of power-series roots of multivariate algebraic equation","author":"Sasaki T.","year":"1994","unstructured":"T. Sasaki , T. Kitamoto and F. Kako . Error analysis of power-series roots of multivariate algebraic equation . March 1994 (submitted). T. Sasaki, T. Kitamoto and F. Kako.Error analysis of power-series roots of multivariate algebraic equation. March 1994 (submitted)."},{"key":"e_1_3_2_1_12_1","first-page":"394","volume":"12","author":"Sasaki T.","year":"1989","unstructured":"T. Sasaki and M. Sasaki . Analysis of accuracy decreasing in polynomial remainder sequence with floating-point number coefficients. J. Inform. Proces. 12 ( 1989 ), 394 -- 403 . T. Sasaki and M. Sasaki. Analysis of accuracy decreasing in polynomial remainder sequence with floating-point number coefficients. J. Inform. Proces. 12 (1989), 394--403.","journal-title":"J. Inform. Proces."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/271130.271131"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/307733.307738"},{"key":"e_1_3_2_1_15_1","unstructured":"M. Sanuki and T. Sasaki. Computing approximate GCD's in ill-conditioned cases. This proceedings.  M. Sanuki and T. Sasaki. Computing approximate GCD's in ill-conditioned cases. This proceedings."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/258726.258763"},{"key":"e_1_3_2_1_17_1","volume-title":"Proceedings of SNC2005 (Symbolic-Numeric Computation)235--236","author":"Stetter H. J.","year":"2005","unstructured":"H. J. Stetter . Approximate Gr\u00f6bner bases -- an impossible concept? Proceedings of SNC2005 (Symbolic-Numeric Computation)235--236 , Xi'an, China , 2005 . H. J. Stetter. Approximate Gr\u00f6bner bases -- an impossible concept? Proceedings of SNC2005 (Symbolic-Numeric Computation)235--236, Xi'an, China,2005."},{"key":"e_1_3_2_1_18_1","volume-title":"Proposal of the algorithmic use of the BKK-number in the algebraic reduction of a 0-dimensional polynomial system.Symbolic-Numeric Computations (Trends in Mathematics)245--267","author":"Stetter H. J.","year":"2007","unstructured":"H. J. Stetter . Proposal of the algorithmic use of the BKK-number in the algebraic reduction of a 0-dimensional polynomial system.Symbolic-Numeric Computations (Trends in Mathematics)245--267 , Birkh\u00e4user Verlag , 2007 . H. J. Stetter. Proposal of the algorithmic use of the BKK-number in the algebraic reduction of a 0-dimensional polynomial system.Symbolic-Numeric Computations (Trends in Mathematics)245--267, Birkh\u00e4user Verlag, 2007."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/281508.281521"},{"key":"e_1_3_2_1_20_1","volume-title":"Proceedings of LMCS2002 (Logic, Mathematics and Computer Science) 244--255","author":"Traverso C.","year":"2002","unstructured":"C. Traverso . Syzygies, and the stabilization of numerical Buchberger algorithm . Proceedings of LMCS2002 (Logic, Mathematics and Computer Science) 244--255 , RISC-Linz, Austria , 2002 . C. Traverso. Syzygies, and the stabilization of numerical Buchberger algorithm. Proceedings of LMCS2002 (Logic, Mathematics and Computer Science) 244--255, RISC-Linz, Austria, 2002."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/780506.780540"},{"key":"e_1_3_2_1_22_1","volume-title":"Proceedings of CASC2003 (Computer Algebra in Scientific Computing) 403--411","author":"Weispfenning V.","year":"2002","unstructured":"V. Weispfenning . Gr\u00f6bner bases for inexact input data . Proceedings of CASC2003 (Computer Algebra in Scientific Computing) 403--411 , Passau, Germany , 2002 . V. Weispfenning. Gr\u00f6bner bases for inexact input data. Proceedings of CASC2003 (Computer Algebra in Scientific Computing) 403--411, Passau, Germany, 2002."}],"event":{"name":"ISSAC07: International Symposium on Symbolic and Algebraic Computation","sponsor":["ACM Association for Computing Machinery","SIGSAM ACM Special Interest Group on Symbolic and Algebraic Manipulation"],"location":"London Ontario Canada","acronym":"ISSAC07"},"container-title":["Proceedings of the 2007 international workshop on Symbolic-numeric computation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1277500.1277526","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1277500.1277526","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T14:52:24Z","timestamp":1750258344000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1277500.1277526"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,7,25]]},"references-count":22,"alternative-id":["10.1145\/1277500.1277526","10.1145\/1277500"],"URL":"https:\/\/doi.org\/10.1145\/1277500.1277526","relation":{},"subject":[],"published":{"date-parts":[[2007,7,25]]},"assertion":[{"value":"2007-07-25","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}