{"id":45729,"date":"2023-10-11T19:39:06","date_gmt":"2023-10-11T11:39:06","guid":{"rendered":"https:\/\/swarma.org\/?p=45729"},"modified":"2023-10-11T19:39:06","modified_gmt":"2023-10-11T11:39:06","slug":"ai-for-math-%e5%9f%ba%e4%ba%8e%e5%bc%ba%e5%8c%96%e5%ad%a6%e4%b9%a0%e7%9a%84buchberger%e7%ae%97%e6%b3%95%e6%94%b9%e8%bf%9b%ef%bd%9c%e5%91%a8%e4%ba%94%e7%9b%b4%e6%92%ad%c2%b7%e4%ba%ba%e5%b7%a5%e6%99%ba","status":"publish","type":"post","link":"https:\/\/swarma.org\/?p=45729","title":{"rendered":"AI For Math: \u57fa\u4e8e\u5f3a\u5316\u5b66\u4e60\u7684Buchberger\u7b97\u6cd5\u6539\u8fdb\uff5c\u5468\u4e94\u76f4\u64ad\u00b7\u4eba\u5de5\u667a\u80fd\u4e0e\u6570\u5b66\u8bfb\u4e66\u4f1a"},"content":{"rendered":"<div class='wxsyncmain'>\n<section powered-by=\"xiumi.us\" style=\"margin-bottom: 0px;outline: 0px;letter-spacing: 0.544px;white-space: normal;color: rgb(63, 63, 63);font-family: PingFangSC-light;font-size: 15px;background-color: rgb(255, 255, 255);visibility: visible;\" data-mpa-powered-by=\"yiban.io\">\n<section style=\"outline: 0px;display: inline-block;width: 661px;vertical-align: top;background-color: rgb(246, 246, 246);visibility: visible;\">\n<section style=\"outline: 0px;visibility: visible;\">\n<p style=\"text-align: center;\"><img class=\"rich_pages wxw-img js_insertlocalimg\" data-backh=\"325\" data-backw=\"578\" data-ratio=\"0.562962962962963\" data-s=\"300,640\"  data-type=\"jpeg\" data-w=\"1080\" style=\"width: 100%;height: auto;\" src=\"\/wp-content\/uploads\/2023\/10\/wxsync-2023-10-39bbe3ae44b4e1dfb3036b22f948e2f1.jpeg\"  \/><\/p>\n<\/section>\n<section powered-by=\"xiumi.us\" style=\"margin-top: 10px;outline: 0px;letter-spacing: 0.544px;visibility: visible;\">\n<section style=\"outline: 0px;width: 661px;visibility: visible;\">\n<section style=\"padding-right: 3px;outline: 0px;float: left;line-height: 1;visibility: visible;\">\n<section powered-by=\"xiumi.us\" style=\"outline: 0px;text-align: left;visibility: visible;\">\n<section style=\"padding-left: 10px;outline: 0px;display: inline-block;width: auto;vertical-align: top;min-width: 10%;height: auto;border-left: 3px solid rgb(33, 166, 210);border-bottom-left-radius: 0px;line-height: 0;visibility: visible;\">\n<section powered-by=\"xiumi.us\" style=\"outline: 0px;transform: translate3d(-13px, 0px, 0px);visibility: visible;\">\n<section style=\"outline: 0px;display: inline-block;width: 25px;height: 10px;vertical-align: top;overflow: hidden;line-height: 0;border-style: solid solid none;border-width: 3px 3px 2px;border-radius: 0px;border-color: rgb(33, 166, 210) rgb(33, 166, 210) rgb(15, 76, 129);visibility: visible;\"><br style=\"outline: 0px;visibility: visible;\"  \/><\/section>\n<\/section>\n<section powered-by=\"xiumi.us\" style=\"outline: 0px;transform: translate3d(-1px, 0px, 0px);visibility: visible;\">\n<section style=\"outline: 0px;text-align: justify;color: rgb(33, 166, 210);font-size: 16px;line-height: 1.5;visibility: visible;\">\n<p style=\"outline: 0px;visibility: visible;\"><strong style=\"outline: 0px;visibility: visible;\">\u5bfc\u8bed<\/strong><\/p>\n<\/section>\n<\/section>\n<section powered-by=\"xiumi.us\" style=\"outline: 0px;transform: translate3d(-13px, 0px, 0px) rotateX(180deg);visibility: visible;\">\n<section style=\"outline: 0px;display: inline-block;width: 24px;height: 10px;vertical-align: top;overflow: hidden;line-height: 0;border-style: solid solid none;border-width: 3px 3px 2px;border-radius: 0px;border-color: rgb(33, 166, 210) rgb(33, 166, 210) rgb(15, 76, 129);visibility: visible;\"><br style=\"outline: 0px;visibility: visible;\"  \/><\/section>\n<\/section>\n<\/section>\n<\/section>\n<\/section>\n<section style=\"padding-right: 4px;padding-left: 4px;outline: 0px;clear: right;box-shadow: rgb(0, 0, 0) 0px 0px 0px;visibility: visible;min-height: 4.5em !important;\">\n<section powered-by=\"xiumi.us\" style=\"margin-top: 5px;margin-bottom: 5px;outline: 0px;visibility: visible;\">\n<section style=\"padding-right: 8px;padding-left: 8px;outline: 0px;font-size: 13px;line-height: 2;letter-spacing: 0.544px;visibility: visible;\"><strong style=\"text-indent: 0em;letter-spacing: 0.544px;font-size: 15px;\"><span style=\"font-size: 13px;letter-spacing: 0.544px;text-decoration-style: solid;text-decoration-color: rgb(63, 63, 63);\"><strong><span style=\"color: rgb(63, 63, 63);font-size: 13px;letter-spacing: 0.544px;text-decoration: none solid rgb(63, 63, 63);\">Buchberger\u7b97\u6cd5\u662f\u8ba1\u7b97\u4ee3\u6570\u51e0\u4f55\u4e2d\u6700\u57fa\u7840\u7684\u7b97\u6cd5\uff0c\u4f46\u662f\u5b83\u81ea\u8bde\u751f\u4e4b\u65e5\u8d77\u5c31\u5b58\u5728\u6548\u7387\u95ee\u9898\uff0c\u4e3b\u8981\u662f\u914d\u5bf9\u591a\u9879\u5f0f\u7684\u8ba1\u7b97\u91cf\u8fc7\u5927\u3002\u5728\u4e16\u7eaa\u4e4b\u4ea4\uff0c\u4eba\u4eec\u7528\u57fa\u4e8e\u7b7e\u540d\u7684\u65b9\u6cd5\u6539\u8fdb\u8fd9\u4e2a\u7b97\u6cd5\uff0c\u5e76\u5f97\u5230\u4e86\u5f88\u591a\u8fdb\u5c55\u3002\u52302020\u5e74\uff0cMike Stillman\u53ca\u5176\u56e2\u961f\u5f00\u59cb\u601d\u8003\u5229\u7528\u5f3a\u5316\u5b66\u4e60\u7684\u65b9\u6cd5\u6539\u8fdbBuchberger\u7b97\u6cd5\u3002\u8fd9\u6b21\u5206\u4eab\u5206\u4e3a\u4e09\u4e2a\u90e8\u5206\uff1aGrobner\u57fa\u7840\u7406\u8bba\u7684\u57fa\u672c\u6982\u5ff5\u548cBuchberger\u7b97\u6cd5\u7684\u539f\u59cb\u5f62\u5f0f\u300121\u4e16\u7eaa\u4ee5\u6765\u57fa\u4e8e\u7b7e\u540d\u7684\u6539\u8fdb\u65b9\u6cd5\uff0cMike Stillman\u53ca\u5176\u56e2\u961f\u7684\u57fa\u672c\u60f3\u6cd5\u3002<\/span><\/strong><\/span><\/strong><\/section>\n<section style=\"padding-right: 8px;padding-left: 8px;outline: 0px;font-size: 13px;line-height: 2;letter-spacing: 0.544px;visibility: visible;\"><strong style=\"text-indent: 0em;letter-spacing: 0.544px;font-size: 15px;\"><span style=\"font-size: 13px;letter-spacing: 0.544px;text-decoration-style: solid;text-decoration-color: rgb(63, 63, 63);\"><br  \/><\/span><\/strong><\/section>\n<section style=\"padding-right: 8px;padding-left: 8px;outline: 0px;font-size: 13px;line-height: 2;letter-spacing: 0.544px;visibility: visible;\"><strong style=\"text-indent: 0em;letter-spacing: 0.544px;font-size: 15px;\"><span style=\"font-size: 13px;letter-spacing: 0.544px;text-decoration-style: solid;text-decoration-color: rgb(63, 63, 63);\">\u4e3a\u4e86\u63a2\u7d22\u6570\u5b66\u4e0e\u4eba\u5de5\u667a\u80fd\u6df1\u5ea6\u878d\u5408\u7684\u53ef\u80fd\u6027\uff0c\u96c6\u667a\u4ff1\u4e50\u90e8\u8054\u5408\u540c\u6d4e\u5927\u5b66\u7279\u8058\u7814\u7a76\u5458\u9648\u5c0f\u6768\u3001\u6e05\u534e\u5927\u5b66\u4ea4\u53c9\u4fe1\u606f\u5b66\u9662\u52a9\u7406\u6559\u6388\u8881\u6d0b\u3001\u5357\u6d0b\u7406\u5de5\u5927\u5b66\u526f\u6559\u6388\u590f\u514b\u6797\u4e09\u4f4d\u8001\u5e08\uff0c\u5171\u540c\u53d1\u8d77<a target=\"_blank\" href=\"http:\/\/mp.weixin.qq.com\/s?__biz=MzIzMjQyNzQ5MA==&amp;mid=2247671328&amp;idx=1&amp;sn=b365e213da7c91ac8eaace128b7a1e71&amp;chksm=e89904addfee8dbbfd4f4300b875063b40728dbe054961998898575ea8ca88ce8c62e10492d6&amp;scene=21#wechat_redirect\" textvalue=\"\u201c\u4eba\u5de5\u667a\u80fd\u4e0e\u6570\u5b66\u201d\u8bfb\u4e66\u4f1a\" linktype=\"text\" imgurl=\"\" imgdata=\"null\" data-itemshowtype=\"0\" tab=\"innerlink\" data-linktype=\"2\" rel=\"noopener noreferrer\">\u201c\u4eba\u5de5\u667a\u80fd\u4e0e\u6570\u5b66\u201d\u8bfb\u4e66\u4f1a<\/a>\uff0c\u5e0c\u671b\u4ece AI for Math\uff0cMath for AI \u4e24\u4e2a\u65b9\u9762\u6df1\u5165\u63a2\u8ba8\u4eba\u5de5\u667a\u80fd\u4e0e\u6570\u5b66\u7684\u5bc6\u5207\u8054\u7cfb\u3002\u672c\u8bfb\u4e66\u4f1a\u662f\u201cAI+Science\u201d\u4e3b\u9898\u8bfb\u4e66\u4f1a\u7684\u7b2c\u4e09\u5b63\u3002\u8bfb\u4e66\u4f1a\u81ea9\u670815\u65e5\u5f00\u59cb\uff0c\u6bcf\u5468\u4e94\u665a20:00-22:00\uff0c\u9884\u8ba1\u6301\u7eed\u65f6\u95f48\uff5e10\u5468\u3002\u6b22\u8fce\u611f\u5174\u8da3\u7684\u670b\u53cb\u62a5\u540d\u53c2\u4e0e\uff01<\/span><\/strong><\/section>\n<\/section>\n<section powered-by=\"xiumi.us\" style=\"margin-top: 5px;margin-bottom: 5px;outline: 0px;visibility: visible;\">\n<section style=\"padding-right: 8px;padding-left: 8px;outline: 0px;font-size: 13px;line-height: 2;letter-spacing: 0.544px;visibility: visible;\"><strong style=\"outline: 0px;letter-spacing: 0.578px;text-indent: 0em;font-size: 15px;visibility: visible;\"><\/strong><\/section>\n<section class=\"channels_iframe_wrp\"><mp-common-videosnap class=\"js_uneditable custom_select_card channels_live_iframe\" data-pluginname=\"mpvideosnap\" data-headimgurl=\"https:\/\/wx.qlogo.cn\/finderhead\/PdibpV1sFDHdC5AR6SqCNbOfwAEdPtWSb2Y5v1iaq3YTCocFBPFM1xzQ\/0\" data-username=\"v2_060000231003b20faec8c4e78d10c3d6cd04ef30b077c6436f3ed47f70be822497426f6452dd@finder\" data-nickname=\"\u96c6\u667a\u4ff1\u4e50\u90e8\" data-desc=\"\u5c06\u572810\u670813\u65e5 20:00 \u76f4\u64ad\" data-livewording=\"\u9884\u7ea6\" data-intro=\"AI For Math: \u57fa\u4e8e\u5f3a\u5316\u5b66\u4e60\u7684Buchberger\u7b97\u6cd5\u6539\u8fdb&lt;br&gt;\u4e3b\u8bb2\u4eba\uff1a\u6881\u949d\uff0c\u6e05\u534e\u5927\u5b66\u4e18\u6210\u6850\u6570\u5b66\u4e2d\u5fc3\u535a\u58eb\u540e\" data-type=\"live\" data-status=\"0\" data-noticeid=\"finderlivenotice-v2_060000231003b20faec8c4e78d10c3d6cd04ef30b077c6436f3ed47f70be822497426f6452dd@finder-1696908619034710-35878227\" data-isdisabled=\"0\" data-errortips=\"\"><\/mp-common-videosnap><\/section>\n<section style=\"padding-right: 8px;padding-left: 8px;outline: 0px;font-size: 13px;line-height: 2;letter-spacing: 0.544px;visibility: visible;\"><strong style=\"outline: 0px;letter-spacing: 0.578px;text-indent: 0em;font-size: 15px;visibility: visible;\"><\/strong><\/section>\n<\/section>\n<section powered-by=\"xiumi.us\" style=\"margin-top: 5px;margin-bottom: 5px;outline: 0px;visibility: visible;\">\n<section style=\"padding-right: 8px;padding-left: 8px;outline: 0px;font-size: 13px;line-height: 2;letter-spacing: 0.544px;visibility: visible;\"><strong style=\"outline: 0px;letter-spacing: 0.578px;text-indent: 0em;font-size: 15px;\"><\/strong><\/section>\n<\/section>\n<section powered-by=\"xiumi.us\" style=\"margin-top: 5px;margin-bottom: 5px;outline: 0px;visibility: visible;\">\n<section style=\"padding-right: 8px;padding-left: 8px;outline: 0px;font-size: 13px;line-height: 2;letter-spacing: 0.544px;visibility: visible;text-align: right;\"><strong style=\"outline: 0px;letter-spacing: 0.578px;text-indent: 0em;font-size: 15px;visibility: visible;\"><\/strong><\/section>\n<\/section>\n<section powered-by=\"xiumi.us\" style=\"margin-top: 5px;margin-bottom: 5px;outline: 0px;visibility: visible;\">\n<section style=\"padding-right: 8px;padding-left: 8px;outline: 0px;font-size: 13px;line-height: 2;letter-spacing: 0.544px;visibility: visible;\"><strong style=\"outline: 0px;letter-spacing: 0.544px;visibility: visible;\"><strong style=\"outline: 0px;visibility: visible;\"><\/strong><\/strong><\/section>\n<\/section>\n<\/section>\n<\/section>\n<\/section>\n<section powered-by=\"xiumi.us\" style=\"margin-top: 10px;outline: 0px;visibility: visible;\">\n<section style=\"outline: 0px;width: 661px;visibility: visible;\">\n<section style=\"outline: 0px;clear: both;line-height: 0;visibility: visible;\">\n<section style=\"outline: 0px;line-height: 0;width: 0px;visibility: visible;\"><svg viewbox=\"0 0 1 1\" style=\"vertical-align: top;visibility: visible;\"><\/svg><\/section>\n<\/section>\n<\/section>\n<\/section>\n<\/section>\n<\/section>\n<section powered-by=\"xiumi.us\" style=\"margin-top: 10px;margin-bottom: 10px;outline: 0px;letter-spacing: 0.544px;white-space: normal;color: rgb(63, 63, 63);font-family: PingFangSC-light;font-size: 15px;background-color: rgb(255, 255, 255);text-align: center;visibility: visible;\">\n<section style=\"outline: 0px;vertical-align: middle;display: inline-block;line-height: 0;visibility: visible;\"><img class=\"rich_pages wxw-img\" data-fileid=\"100098753\" data-ratio=\"0.07314814814814814\"  data-type=\"png\" data-w=\"1080\" style=\"outline: 0px;vertical-align: middle;visibility: visible !important;width: 677px !important;\" src=\"\/wp-content\/uploads\/2023\/10\/wxsync-2023-10-6f9f672988af7db277f019eec3e6e952.png\"  \/><\/section>\n<\/section>\n<section powered-by=\"xiumi.us\" style=\"margin-top: 10px;margin-bottom: 10px;outline: 0px;letter-spacing: 0.544px;white-space: normal;color: rgb(63, 63, 63);font-family: PingFangSC-light;font-size: 15px;background-color: rgb(255, 255, 255);text-align: center;visibility: visible;\">\n<section style=\"outline: 0px;vertical-align: middle;display: inline-block;line-height: 0;visibility: visible;\"><br  \/><\/section>\n<\/section>\n<section style=\"text-align: center;margin-left: 8px;margin-right: 8px;\"><img class=\"rich_pages wxw-img js_insertlocalimg\" data-ratio=\"2.2527777777777778\" data-s=\"300,640\"  data-type=\"png\" data-w=\"1080\" style=\"\" src=\"\/wp-content\/uploads\/2023\/10\/wxsync-2023-10-b8f61a0596d70029fe872a06c590c73e.png\"  \/><\/section>\n<section style=\"margin-right: 8px;margin-bottom: 0px;margin-left: 8px;outline: 0px;font-family: system-ui, -apple-system, &quot;system-ui&quot;, &quot;Helvetica Neue&quot;, &quot;PingFang SC&quot;, &quot;Hiragino Sans GB&quot;, &quot;Microsoft YaHei UI&quot;, &quot;Microsoft YaHei&quot;, Arial, sans-serif;font-size: 16px;letter-spacing: 0.544px;white-space: normal;background-color: rgb(255, 255, 255);line-height: 1.75em;\"><br  \/><\/section>\n<h3 style=\"outline: 0px;letter-spacing: 0.544px;white-space: normal;font-family: -apple-system, system-ui, &quot;Helvetica Neue&quot;, &quot;PingFang SC&quot;, &quot;Hiragino Sans GB&quot;, &quot;Microsoft YaHei UI&quot;, &quot;Microsoft YaHei&quot;, Arial, sans-serif;background-color: rgb(255, 255, 255);\">\n<section powered-by=\"xiumi.us\" style=\"outline: 0px;letter-spacing: 0.544px;font-family: PingFangSC-light;text-align: right;font-size: 13px;\">\n<section powered-by=\"xiumi.us\" style=\"margin-top: 10px;margin-bottom: 10px;outline: 0px;letter-spacing: 0.544px;font-family: -apple-system-font, system-ui, &quot;Helvetica Neue&quot;, &quot;PingFang SC&quot;, &quot;Hiragino Sans GB&quot;, &quot;Microsoft YaHei UI&quot;, &quot;Microsoft YaHei&quot;, Arial, sans-serif;text-align: center;\">\n<section style=\"outline: 0px;display: inline-block;vertical-align: middle;\">\n<section style=\"margin-bottom: -2px;outline: 0px;\">\n<section style=\"outline: 0px;float: left;width: 8px;height: 3px;background-color: rgb(33, 166, 210);line-height: 0;\"><br style=\"outline: 0px;\"  \/><\/section>\n<section style=\"outline: 0px;float: right;width: 8px;height: 3px;background-color: rgb(33, 166, 210);line-height: 0;\"><br style=\"outline: 0px;\"  \/><\/section>\n<section style=\"outline: 0px;clear: both;line-height: 0;\">\n<section style=\"outline: 0px;line-height: 0;width: 0px;\"><svg viewbox=\"0 0 1 1\" style=\"vertical-align:top;\"><\/svg><\/section>\n<\/section>\n<\/section>\n<section style=\"padding-right: 10px;padding-left: 10px;outline: 0px;border-left: 3px solid rgb(33, 166, 210);border-right: 3px solid rgb(33, 166, 210);border-top-color: rgb(33, 166, 210);border-bottom-color: rgb(33, 166, 210);font-size: 16px;color: rgb(0, 0, 0);line-height: 1.4;\">\n<p style=\"outline: 0px;\"><strong style=\"outline: 0px;font-family: mp-quote, -apple-system-font, BlinkMacSystemFont, &quot;Helvetica Neue&quot;, &quot;PingFang SC&quot;, &quot;Hiragino Sans GB&quot;, &quot;Microsoft YaHei UI&quot;, &quot;Microsoft YaHei&quot;, Arial, sans-serif;\"><strong style=\"outline: 0px;text-align: left;color: rgb(33, 166, 210);font-family: PingFangSC-light;letter-spacing: 0.544px;\">\u5206\u4eab\u5185\u5bb9\u7b80\u4ecb<\/strong><\/strong><\/p>\n<\/section>\n<section style=\"margin-top: -2px;outline: 0px;\">\n<section style=\"outline: 0px;float: left;width: 8px;height: 3px;background-color: rgb(33, 166, 210);line-height: 0;\"><br style=\"outline: 0px;\"  \/><\/section>\n<section style=\"outline: 0px;float: right;width: 8px;height: 3px;background-color: rgb(33, 166, 210);line-height: 0;\"><br style=\"outline: 0px;\"  \/><\/section>\n<\/section>\n<\/section>\n<\/section>\n<\/section>\n<\/h3>\n<p style=\"margin-right: 8px;margin-bottom: 0px;margin-left: 8px;outline: 0px;font-family: system-ui, -apple-system, &quot;system-ui&quot;, &quot;Helvetica Neue&quot;, &quot;PingFang SC&quot;, &quot;Hiragino Sans GB&quot;, &quot;Microsoft YaHei UI&quot;, &quot;Microsoft YaHei&quot;, Arial, sans-serif;font-size: 16px;letter-spacing: 0.544px;white-space: normal;background-color: rgb(255, 255, 255);line-height: 1.75em;\"><span style=\"outline: 0px;color: rgb(63, 63, 63);font-size: 15px;font-family: mp-quote, -apple-system-font, BlinkMacSystemFont, &quot;Helvetica Neue&quot;, &quot;PingFang SC&quot;, &quot;Hiragino Sans GB&quot;, &quot;Microsoft YaHei UI&quot;, &quot;Microsoft YaHei&quot;, Arial, sans-serif;\">&nbsp;<\/span><\/p>\n<p style=\"margin-left: 8px;margin-right: 8px;line-height: 1.75em;margin-bottom: 8px;\"><span style=\"color: rgb(63, 63, 63);font-size: 15px;letter-spacing: 0.578px;font-family: mp-quote, -apple-system-font, BlinkMacSystemFont, &quot;Helvetica Neue&quot;, &quot;PingFang SC&quot;, &quot;Hiragino Sans GB&quot;, &quot;Microsoft YaHei UI&quot;, &quot;Microsoft YaHei&quot;, Arial, sans-serif;\"><span style=\"color: rgb(63, 63, 63);font-size: 15px;letter-spacing: 0.578px;\"><span style=\"color: rgb(63, 63, 63);font-size: 15px;letter-spacing: 0.51px;\">\u672c\u6b21\u5206\u4eab\u5c06\u4ecb\u7ecdBuchberger\u7b97\u6cd5\u7684\u57fa\u672c\u6982\u5ff5\uff0c\u57fa\u4e8e\u7b7e\u540d\u7684Grobner\u57fa\u7b97\u6cd5\u7684\u6539\u8fdb\u548c\u57fa\u4e8e\u5f3a\u5316\u5b66\u4e60Buchberger\u7b97\u6cd5\u7684\u6539\u8fdb\u3002<\/span><\/span><\/span><\/p>\n<section style=\"margin-right: 8px;margin-bottom: 0px;margin-left: 8px;letter-spacing: 0.578px;white-space: normal;line-height: 1.75em;\"><span style=\"font-size: 15px;color: rgb(63, 63, 63);\"><\/span><\/section>\n<p style=\"margin-right: 8px;margin-bottom: 0px;margin-left: 8px;outline: 0px;font-family: system-ui, -apple-system, &quot;system-ui&quot;, &quot;Helvetica Neue&quot;, &quot;PingFang SC&quot;, &quot;Hiragino Sans GB&quot;, &quot;Microsoft YaHei UI&quot;, &quot;Microsoft YaHei&quot;, Arial, sans-serif;font-size: 16px;letter-spacing: 0.544px;white-space: normal;background-color: rgb(255, 255, 255);line-height: 1.75em;\"><span style=\"color: rgb(63, 63, 63);font-size: 15px;letter-spacing: 0.544px;\">&nbsp;<\/span><\/p>\n<section style=\"margin-right: 8px;margin-bottom: 0px;margin-left: 8px;outline: 0px;font-family: system-ui, -apple-system, &quot;system-ui&quot;, &quot;Helvetica Neue&quot;, &quot;PingFang SC&quot;, &quot;Hiragino Sans GB&quot;, &quot;Microsoft YaHei UI&quot;, &quot;Microsoft YaHei&quot;, Arial, sans-serif;font-size: 16px;letter-spacing: 0.544px;white-space: normal;background-color: rgb(255, 255, 255);line-height: 1.75em;\"><span style=\"outline: 0px;font-size: 15px;color: rgb(63, 63, 63);\"><br  \/><\/span><\/section>\n<h3 style=\"outline: 0px;letter-spacing: 0.544px;white-space: normal;font-family: -apple-system, system-ui, &quot;Helvetica Neue&quot;, &quot;PingFang SC&quot;, &quot;Hiragino Sans GB&quot;, &quot;Microsoft YaHei UI&quot;, &quot;Microsoft YaHei&quot;, Arial, sans-serif;background-color: rgb(255, 255, 255);\">\n<section powered-by=\"xiumi.us\" style=\"outline: 0px;letter-spacing: 0.544px;font-family: PingFangSC-light;text-align: right;font-size: 13px;\">\n<section powered-by=\"xiumi.us\" style=\"margin-top: 10px;margin-bottom: 10px;outline: 0px;letter-spacing: 0.544px;font-family: -apple-system-font, system-ui, &quot;Helvetica Neue&quot;, &quot;PingFang SC&quot;, &quot;Hiragino Sans GB&quot;, &quot;Microsoft YaHei UI&quot;, &quot;Microsoft YaHei&quot;, Arial, sans-serif;text-align: center;\">\n<section style=\"outline: 0px;display: inline-block;vertical-align: middle;\">\n<section style=\"margin-bottom: -2px;outline: 0px;\">\n<section style=\"outline: 0px;float: left;width: 8px;height: 3px;background-color: rgb(33, 166, 210);line-height: 0;\"><br style=\"outline: 0px;\"  \/><\/section>\n<section style=\"outline: 0px;float: right;width: 8px;height: 3px;background-color: rgb(33, 166, 210);line-height: 0;\"><br style=\"outline: 0px;\"  \/><\/section>\n<section style=\"outline: 0px;clear: both;line-height: 0;\">\n<section style=\"outline: 0px;line-height: 0;width: 0px;\"><svg viewbox=\"0 0 1 1\" style=\"vertical-align:top;\"><\/svg><\/section>\n<\/section>\n<\/section>\n<section style=\"padding-right: 10px;padding-left: 10px;outline: 0px;border-left: 3px solid rgb(33, 166, 210);border-right: 3px solid rgb(33, 166, 210);border-top-color: rgb(33, 166, 210);border-bottom-color: rgb(33, 166, 210);font-size: 16px;color: rgb(0, 0, 0);line-height: 1.4;\">\n<p style=\"outline: 0px;\"><strong style=\"outline: 0px;font-family: mp-quote, -apple-system-font, BlinkMacSystemFont, &quot;Helvetica Neue&quot;, &quot;PingFang SC&quot;, &quot;Hiragino Sans GB&quot;, &quot;Microsoft YaHei UI&quot;, &quot;Microsoft YaHei&quot;, Arial, sans-serif;\"><strong style=\"outline: 0px;text-align: left;color: rgb(33, 166, 210);font-family: PingFangSC-light;letter-spacing: 0.544px;\">\u5206\u4eab\u5185\u5bb9\u5927\u7eb2<\/strong><\/strong><\/p>\n<\/section>\n<section style=\"margin-top: -2px;outline: 0px;\">\n<section style=\"outline: 0px;float: left;width: 8px;height: 3px;background-color: rgb(33, 166, 210);line-height: 0;\"><br style=\"outline: 0px;\"  \/><\/section>\n<section style=\"outline: 0px;float: right;width: 8px;height: 3px;background-color: rgb(33, 166, 210);line-height: 0;\"><br style=\"outline: 0px;\"  \/><\/section>\n<\/section>\n<\/section>\n<\/section>\n<\/section>\n<\/h3>\n<p style=\"margin-right: 8px;margin-bottom: 0px;margin-left: 8px;outline: 0px;font-family: system-ui, -apple-system, &quot;system-ui&quot;, &quot;Helvetica Neue&quot;, &quot;PingFang SC&quot;, &quot;Hiragino Sans GB&quot;, &quot;Microsoft YaHei UI&quot;, &quot;Microsoft YaHei&quot;, Arial, sans-serif;font-size: 16px;letter-spacing: 0.544px;white-space: normal;background-color: rgb(255, 255, 255);line-height: 1.75em;\"><br  \/><\/p>\n<p style=\"margin-right: 8px;margin-left: 8px;letter-spacing: 0.578px;white-space: normal;line-height: 1.75em;margin-bottom: 8px;\"><span style=\"font-size: 15px;color: rgb(63, 63, 63);\">Buchberger\u7b97\u6cd5\u7b80\u4ecb\uff1a<\/span><\/p>\n<ol start=\"1\" class=\"list-paddingleft-1\" style=\"margin-right: 8px;margin-left: 8px;width: 577.422px;letter-spacing: 0.578px;white-space: normal;\">\n<li style=\"white-space: pre-wrap;font-size: 15px;color: rgb(63, 63, 63);\">\n<p style=\"line-height: 1.75em;margin-bottom: 8px;\">\u591a\u9879\u5f0f\u73af\u7684\u57fa\u672c\u6982\u5ff5<\/p>\n<\/li>\n<li style=\"white-space: pre-wrap;font-size: 15px;color: rgb(63, 63, 63);\">\n<p style=\"line-height: 1.75em;margin-bottom: 8px;\">\u9664\u6cd5\u7b97\u6cd5\u4e0eGrobner\u57fa<\/p>\n<\/li>\n<li style=\"white-space: pre-wrap;font-size: 15px;color: rgb(63, 63, 63);\">\n<p style=\"line-height: 1.75em;margin-bottom: 8px;\">Buchberger\u7b97\u6cd5<\/p>\n<\/li>\n<\/ol>\n<p style=\"margin-right: 8px;margin-left: 8px;letter-spacing: 0.578px;white-space: normal;line-height: 1.75em;margin-bottom: 8px;\"><span style=\"font-size: 15px;color: rgb(63, 63, 63);\">\u57fa\u4e8e\u7b7e\u540d\u7684Grobner\u57fa\u7b97\u6cd5\u7684\u6539\u8fdb<\/span><\/p>\n<section style=\"margin-right: 8px;margin-bottom: 0px;margin-left: 8px;letter-spacing: 0.578px;white-space: normal;line-height: 1.75em;\"><span style=\"font-size: 15px;color: rgb(63, 63, 63);\">\u57fa\u4e8e\u5f3a\u5316\u5b66\u4e60\u7684Buchberger\u7b97\u6cd5\u6539\u8fdb<\/span><\/section>\n<section style=\"margin-right: 8px;margin-bottom: 0px;margin-left: 8px;white-space: normal;outline: 0px;font-family: system-ui, -apple-system, &quot;system-ui&quot;, &quot;Helvetica Neue&quot;, &quot;PingFang SC&quot;, &quot;Hiragino Sans GB&quot;, &quot;Microsoft YaHei UI&quot;, &quot;Microsoft YaHei&quot;, Arial, sans-serif;font-size: 16px;letter-spacing: 0.544px;background-color: rgb(255, 255, 255);line-height: 1.75em;\"><span style=\"outline: 0px;font-size: 15px;color: rgb(63, 63, 63);\"><\/span><\/section>\n<section style=\"margin-right: 8px;margin-bottom: 0px;margin-left: 8px;white-space: normal;outline: 0px;font-family: system-ui, -apple-system, &quot;system-ui&quot;, &quot;Helvetica Neue&quot;, &quot;PingFang SC&quot;, &quot;Hiragino Sans GB&quot;, &quot;Microsoft YaHei UI&quot;, &quot;Microsoft YaHei&quot;, Arial, sans-serif;font-size: 16px;letter-spacing: 0.544px;background-color: rgb(255, 255, 255);line-height: 1.75em;\"><span style=\"outline: 0px;font-size: 15px;color: rgb(63, 63, 63);\"><br  \/><\/span><\/section>\n<section style=\"margin-right: 8px;margin-bottom: 0px;margin-left: 8px;white-space: normal;outline: 0px;font-family: system-ui, -apple-system, &quot;system-ui&quot;, &quot;Helvetica Neue&quot;, &quot;PingFang SC&quot;, &quot;Hiragino Sans GB&quot;, &quot;Microsoft YaHei UI&quot;, &quot;Microsoft YaHei&quot;, Arial, sans-serif;font-size: 16px;letter-spacing: 0.544px;background-color: rgb(255, 255, 255);line-height: 1.75em;\"><span style=\"outline: 0px;font-size: 15px;color: rgb(63, 63, 63);\"><br  \/><\/span><\/section>\n<h3 style=\"white-space: normal;outline: 0px;letter-spacing: 0.544px;font-family: -apple-system, system-ui, &quot;Helvetica Neue&quot;, &quot;PingFang SC&quot;, &quot;Hiragino Sans GB&quot;, &quot;Microsoft YaHei UI&quot;, &quot;Microsoft YaHei&quot;, Arial, sans-serif;background-color: rgb(255, 255, 255);\">\n<section powered-by=\"xiumi.us\" style=\"outline: 0px;letter-spacing: 0.544px;font-family: PingFangSC-light;text-align: right;font-size: 13px;\">\n<section powered-by=\"xiumi.us\" style=\"margin-top: 10px;margin-bottom: 10px;outline: 0px;letter-spacing: 0.544px;font-family: -apple-system-font, system-ui, &quot;Helvetica Neue&quot;, &quot;PingFang SC&quot;, &quot;Hiragino Sans GB&quot;, &quot;Microsoft YaHei UI&quot;, &quot;Microsoft YaHei&quot;, Arial, sans-serif;text-align: center;\">\n<section style=\"outline: 0px;display: inline-block;vertical-align: middle;\">\n<section style=\"margin-bottom: -2px;outline: 0px;\">\n<section style=\"outline: 0px;float: left;width: 8px;height: 3px;background-color: rgb(33, 166, 210);line-height: 0;\"><br style=\"outline: 0px;\"  \/><\/section>\n<section style=\"outline: 0px;float: right;width: 8px;height: 3px;background-color: rgb(33, 166, 210);line-height: 0;\"><br style=\"outline: 0px;\"  \/><\/section>\n<section style=\"outline: 0px;clear: both;line-height: 0;\">\n<section style=\"outline: 0px;line-height: 0;width: 0px;\"><svg viewbox=\"0 0 1 1\" style=\"vertical-align:top;\"><\/svg><\/section>\n<\/section>\n<\/section>\n<section style=\"padding-right: 10px;padding-left: 10px;outline: 0px;border-left: 3px solid rgb(33, 166, 210);border-right: 3px solid rgb(33, 166, 210);border-top-color: rgb(33, 166, 210);border-bottom-color: rgb(33, 166, 210);font-size: 16px;color: rgb(0, 0, 0);line-height: 1.4;\">\n<p style=\"outline: 0px;\"><strong style=\"outline: 0px;font-family: mp-quote, -apple-system-font, BlinkMacSystemFont, &quot;Helvetica Neue&quot;, &quot;PingFang SC&quot;, &quot;Hiragino Sans GB&quot;, &quot;Microsoft YaHei UI&quot;, &quot;Microsoft YaHei&quot;, Arial, sans-serif;\"><strong style=\"outline: 0px;text-align: left;color: rgb(33, 166, 210);font-family: PingFangSC-light;letter-spacing: 0.544px;\">\u4e3b\u8981\u6d89\u53ca\u5230\u7684\u77e5\u8bc6\u6982\u5ff5<\/strong><\/strong><\/p>\n<\/section>\n<section style=\"margin-top: -2px;outline: 0px;\">\n<section style=\"outline: 0px;float: left;width: 8px;height: 3px;background-color: rgb(33, 166, 210);line-height: 0;\"><br style=\"outline: 0px;\"  \/><\/section>\n<section style=\"outline: 0px;float: right;width: 8px;height: 3px;background-color: rgb(33, 166, 210);line-height: 0;\"><br style=\"outline: 0px;\"  \/><\/section>\n<\/section>\n<\/section>\n<\/section>\n<\/section>\n<\/h3>\n<p style=\"margin-right: 8px;margin-bottom: 0px;margin-left: 8px;white-space: normal;outline: 0px;font-family: system-ui, -apple-system, &quot;system-ui&quot;, &quot;Helvetica Neue&quot;, &quot;PingFang SC&quot;, &quot;Hiragino Sans GB&quot;, &quot;Microsoft YaHei UI&quot;, &quot;Microsoft YaHei&quot;, Arial, sans-serif;font-size: 16px;letter-spacing: 0.544px;background-color: rgb(255, 255, 255);line-height: 1.75em;\"><span style=\"outline: 0px;color: rgb(63, 63, 63);font-size: 15px;font-family: mp-quote, -apple-system-font, BlinkMacSystemFont, &quot;Helvetica Neue&quot;, &quot;PingFang SC&quot;, &quot;Hiragino Sans GB&quot;, &quot;Microsoft YaHei UI&quot;, &quot;Microsoft YaHei&quot;, Arial, sans-serif;\">&nbsp;<\/span><\/p>\n<p style=\"margin-right: 8px;margin-left: 8px;letter-spacing: 0.578px;white-space: normal;line-height: 1.75em;margin-bottom: 8px;\"><span style=\"font-size: 15px;color: rgb(63, 63, 63);\">\u4ea4\u6362\u73af\u8bba<\/span><\/p>\n<p style=\"margin-right: 8px;margin-left: 8px;letter-spacing: 0.578px;white-space: normal;line-height: 1.75em;margin-bottom: 8px;\"><span style=\"font-size: 15px;color: rgb(63, 63, 63);\">Grobner\u57fa<\/span><\/p>\n<p style=\"margin-right: 8px;margin-left: 8px;letter-spacing: 0.578px;white-space: normal;line-height: 1.75em;margin-bottom: 8px;\"><span style=\"font-size: 15px;color: rgb(63, 63, 63);\">Buchberger\u7b97\u6cd5<\/span><\/p>\n<section style=\"margin-right: 8px;margin-bottom: 0px;margin-left: 8px;letter-spacing: 0.578px;white-space: normal;line-height: 1.75em;\"><span style=\"font-size: 15px;color: rgb(63, 63, 63);\">\u5f3a\u5316\u5b66\u4e60<\/span><\/section>\n<section style=\"margin-right: 8px;margin-bottom: 0px;margin-left: 8px;letter-spacing: 0.578px;white-space: normal;line-height: 1.75em;\"><span style=\"font-size: 15px;color: rgb(63, 63, 63);\"><\/span><\/section>\n<h3 style=\"margin-right: 8px;margin-left: 8px;letter-spacing: 0.578px;white-space: pre-wrap;line-height: 1.75em;\"><br  \/><\/h3>\n<section style=\"margin-right: 8px;margin-bottom: 0px;margin-left: 8px;outline: 0px;font-family: system-ui, -apple-system, &quot;system-ui&quot;, &quot;Helvetica Neue&quot;, &quot;PingFang SC&quot;, &quot;Hiragino Sans GB&quot;, &quot;Microsoft YaHei UI&quot;, &quot;Microsoft YaHei&quot;, Arial, sans-serif;font-size: 16px;letter-spacing: 0.544px;white-space: normal;background-color: rgb(255, 255, 255);line-height: 1.75em;\"><br  \/><\/section>\n<h3 style=\"outline: 0px;letter-spacing: 0.544px;white-space: normal;font-family: -apple-system, system-ui, &quot;Helvetica Neue&quot;, &quot;PingFang SC&quot;, &quot;Hiragino Sans GB&quot;, &quot;Microsoft YaHei UI&quot;, &quot;Microsoft YaHei&quot;, Arial, sans-serif;background-color: rgb(255, 255, 255);\">\n<section powered-by=\"xiumi.us\" style=\"outline: 0px;letter-spacing: 0.544px;font-family: PingFangSC-light;text-align: right;font-size: 13px;\">\n<section powered-by=\"xiumi.us\" style=\"margin-top: 10px;margin-bottom: 10px;outline: 0px;letter-spacing: 0.544px;font-family: -apple-system-font, system-ui, &quot;Helvetica Neue&quot;, &quot;PingFang SC&quot;, &quot;Hiragino Sans GB&quot;, &quot;Microsoft YaHei UI&quot;, &quot;Microsoft YaHei&quot;, Arial, sans-serif;text-align: center;\">\n<section style=\"outline: 0px;display: inline-block;vertical-align: middle;\">\n<section style=\"margin-bottom: -2px;outline: 0px;\">\n<section style=\"outline: 0px;float: left;width: 8px;height: 3px;background-color: rgb(33, 166, 210);line-height: 0;\"><br style=\"outline: 0px;\"  \/><\/section>\n<section style=\"outline: 0px;float: right;width: 8px;height: 3px;background-color: rgb(33, 166, 210);line-height: 0;\"><br style=\"outline: 0px;\"  \/><\/section>\n<section style=\"outline: 0px;clear: both;line-height: 0;\">\n<section style=\"outline: 0px;line-height: 0;width: 0px;\"><svg viewbox=\"0 0 1 1\" style=\"vertical-align:top;\"><\/svg><\/section>\n<\/section>\n<\/section>\n<section style=\"padding-right: 10px;padding-left: 10px;outline: 0px;border-left: 3px solid rgb(33, 166, 210);border-right: 3px solid rgb(33, 166, 210);border-top-color: rgb(33, 166, 210);border-bottom-color: rgb(33, 166, 210);font-size: 16px;color: rgb(0, 0, 0);line-height: 1.4;\">\n<p style=\"outline: 0px;\"><strong style=\"outline: 0px;font-family: mp-quote, -apple-system-font, BlinkMacSystemFont, &quot;Helvetica Neue&quot;, &quot;PingFang SC&quot;, &quot;Hiragino Sans GB&quot;, &quot;Microsoft YaHei UI&quot;, &quot;Microsoft YaHei&quot;, Arial, sans-serif;\"><strong style=\"outline: 0px;text-align: left;color: rgb(33, 166, 210);font-family: PingFangSC-light;letter-spacing: 0.544px;\">\u4e3b\u8bb2\u4eba\u4ecb\u7ecd<\/strong><\/strong><\/p>\n<\/section>\n<section style=\"margin-top: -2px;outline: 0px;\">\n<section style=\"outline: 0px;float: left;width: 8px;height: 3px;background-color: rgb(33, 166, 210);line-height: 0;\"><br style=\"outline: 0px;\"  \/><\/section>\n<section style=\"outline: 0px;float: right;width: 8px;height: 3px;background-color: rgb(33, 166, 210);line-height: 0;\"><br  \/><\/section>\n<\/section>\n<\/section>\n<\/section>\n<\/section>\n<\/h3>\n<section style=\"margin-right: 8px;margin-bottom: 0px;margin-left: 8px;letter-spacing: 0.578px;white-space: normal;line-height: 1.75em;text-align: center;\"><span style=\"letter-spacing: 0.578px;font-family: mp-quote, -apple-system-font, BlinkMacSystemFont, &quot;Helvetica Neue&quot;, &quot;PingFang SC&quot;, &quot;Hiragino Sans GB&quot;, &quot;Microsoft YaHei UI&quot;, &quot;Microsoft YaHei&quot;, Arial, sans-serif;font-size: var(--articleFontsize);\"><\/span><br  \/><\/section>\n<section style=\"margin-right: 8px;margin-bottom: 0px;margin-left: 8px;letter-spacing: 0.578px;white-space: normal;line-height: 1.75em;text-align: center;\"><img class=\"rich_pages wxw-img\" data-height=\"579\" data-ratio=\"1.4019370460048426\"  data-type=\"jpeg\" data-w=\"413\" data-width=\"413\" style=\"height: 206px;letter-spacing: 0.578px;white-space: normal;width: 147px;\" src=\"\/wp-content\/uploads\/2023\/10\/wxsync-2023-10-306d3092116a92083e8b9aa3a8adba4f.jpeg\"  \/><\/section>\n<section style=\"margin-right: 8px;margin-bottom: 0px;margin-left: 8px;letter-spacing: 0.578px;white-space: normal;line-height: 1.75em;\"><strong style=\"letter-spacing: 0.578px;font-family: mp-quote, -apple-system-font, BlinkMacSystemFont, &quot;Helvetica Neue&quot;, &quot;PingFang SC&quot;, &quot;Hiragino Sans GB&quot;, &quot;Microsoft YaHei UI&quot;, &quot;Microsoft YaHei&quot;, Arial, sans-serif;font-size: var(--articleFontsize);\"><span style=\"font-size: 15px;color: rgb(63, 63, 63);\">\u6881\u949d<\/span><\/strong><span style=\"letter-spacing: 0.578px;font-family: mp-quote, -apple-system-font, BlinkMacSystemFont, &quot;Helvetica Neue&quot;, &quot;PingFang SC&quot;, &quot;Hiragino Sans GB&quot;, &quot;Microsoft YaHei UI&quot;, &quot;Microsoft YaHei&quot;, Arial, sans-serif;font-size: 15px;color: rgb(63, 63, 63);\">\uff0c2014\u5e74\u535a\u58eb\u6bd5\u4e1a\u4e8e\u7f8e\u56fd\u8def\u6613\u65af\u5b89\u90a3\u5dde\u7acb\u5927\u5b66\uff0c2017\u5e74\u6e05\u534e\u5927\u5b66\u4e18\u6210\u6850\u6570\u5b66\u4e2d\u5fc3\u535a\u58eb\u540e\u51fa\u7ad9\uff0c2019\u5e74\u81f3\u4eca\u4e3a\u8861\u9633\u5e08\u8303\u5b66\u9662\u8bb2\u5e08\uff0c\u4e3b\u8981\u7814\u7a76\u8ba1\u7b97\u4ee3\u6570\u51e0\u4f55\uff0c\u5305\u62ec\u51e0\u4f55\u4e0d\u53d8\u91cf\u7684\u7a33\u5b9a\u6027\u3001\u53e4\u5178\u4ee3\u6570\u51e0\u4f55\u95ee\u9898\u7684\u8ba1\u7b97\u3002<\/span><\/section>\n<section style=\"margin-right: 8px;margin-bottom: 0px;margin-left: 8px;outline: 0px;font-family: system-ui, -apple-system, &quot;system-ui&quot;, &quot;Helvetica Neue&quot;, &quot;PingFang SC&quot;, &quot;Hiragino Sans GB&quot;, &quot;Microsoft YaHei UI&quot;, &quot;Microsoft YaHei&quot;, Arial, sans-serif;font-size: 16px;letter-spacing: 0.544px;white-space: normal;background-color: rgb(255, 255, 255);line-height: 1.75em;\"><span style=\"outline: 0px;font-size: 15px;color: rgb(63, 63, 63);\"><br  \/><\/span><\/section>\n<section style=\"margin-right: 8px;margin-bottom: 0px;margin-left: 8px;outline: 0px;font-family: system-ui, -apple-system, &quot;system-ui&quot;, &quot;Helvetica Neue&quot;, &quot;PingFang SC&quot;, &quot;Hiragino Sans GB&quot;, &quot;Microsoft YaHei UI&quot;, &quot;Microsoft YaHei&quot;, Arial, sans-serif;font-size: 16px;letter-spacing: 0.544px;white-space: normal;background-color: rgb(255, 255, 255);line-height: 1.75em;\"><span style=\"outline: 0px;font-size: 15px;color: rgb(63, 63, 63);\"><br  \/><\/span><\/section>\n<h3 style=\"outline: 0px;letter-spacing: 0.544px;white-space: normal;font-family: -apple-system, system-ui, &quot;Helvetica Neue&quot;, &quot;PingFang SC&quot;, &quot;Hiragino Sans GB&quot;, &quot;Microsoft YaHei UI&quot;, &quot;Microsoft YaHei&quot;, Arial, sans-serif;background-color: rgb(255, 255, 255);\">\n<section powered-by=\"xiumi.us\" style=\"outline: 0px;letter-spacing: 0.544px;font-family: PingFangSC-light;text-align: right;font-size: 13px;\">\n<section powered-by=\"xiumi.us\" style=\"margin-top: 10px;margin-bottom: 10px;outline: 0px;letter-spacing: 0.544px;font-family: -apple-system-font, system-ui, &quot;Helvetica Neue&quot;, &quot;PingFang SC&quot;, &quot;Hiragino Sans GB&quot;, &quot;Microsoft YaHei UI&quot;, &quot;Microsoft YaHei&quot;, Arial, sans-serif;text-align: center;\">\n<section style=\"outline: 0px;display: inline-block;vertical-align: middle;\">\n<section style=\"margin-bottom: -2px;outline: 0px;\">\n<section style=\"outline: 0px;float: left;width: 8px;height: 3px;background-color: rgb(33, 166, 210);line-height: 0;\"><br style=\"outline: 0px;\"  \/><\/section>\n<section style=\"outline: 0px;float: right;width: 8px;height: 3px;background-color: rgb(33, 166, 210);line-height: 0;\"><br style=\"outline: 0px;\"  \/><\/section>\n<section style=\"outline: 0px;clear: both;line-height: 0;\">\n<section style=\"outline: 0px;line-height: 0;width: 0px;\"><svg viewbox=\"0 0 1 1\" style=\"vertical-align:top;\"><\/svg><\/section>\n<\/section>\n<\/section>\n<section style=\"padding-right: 10px;padding-left: 10px;outline: 0px;border-left: 3px solid rgb(33, 166, 210);border-right: 3px solid rgb(33, 166, 210);border-top-color: rgb(33, 166, 210);border-bottom-color: rgb(33, 166, 210);font-size: 16px;color: rgb(0, 0, 0);line-height: 1.4;\">\n<p style=\"outline: 0px;\"><strong style=\"outline: 0px;font-family: mp-quote, -apple-system-font, BlinkMacSystemFont, &quot;Helvetica Neue&quot;, &quot;PingFang SC&quot;, &quot;Hiragino Sans GB&quot;, &quot;Microsoft YaHei UI&quot;, &quot;Microsoft YaHei&quot;, Arial, sans-serif;\"><strong style=\"outline: 0px;text-align: left;color: rgb(33, 166, 210);font-family: PingFangSC-light;letter-spacing: 0.544px;\">\u4e3b\u8981\u6d89\u53ca\u5230\u7684\u53c2\u8003\u6587\u732e<\/strong><\/strong><\/p>\n<\/section>\n<section style=\"margin-top: -2px;outline: 0px;\">\n<section style=\"outline: 0px;float: left;width: 8px;height: 3px;background-color: rgb(33, 166, 210);line-height: 0;\"><br style=\"outline: 0px;\"  \/><\/section>\n<section style=\"outline: 0px;float: right;width: 8px;height: 3px;background-color: rgb(33, 166, 210);line-height: 0;\"><br style=\"outline: 0px;\"  \/><\/section>\n<\/section>\n<\/section>\n<\/section>\n<\/section>\n<\/h3>\n<p style=\"margin-right: 8px;margin-bottom: 0px;margin-left: 8px;outline: 0px;font-family: system-ui, -apple-system, &quot;system-ui&quot;, &quot;Helvetica Neue&quot;, &quot;PingFang SC&quot;, &quot;Hiragino Sans GB&quot;, &quot;Microsoft YaHei UI&quot;, &quot;Microsoft YaHei&quot;, Arial, sans-serif;font-size: 16px;letter-spacing: 0.544px;white-space: normal;background-color: rgb(255, 255, 255);line-height: 1.75em;\"><br  \/><\/p>\n<h3 style=\"white-space: pre-wrap;margin-left: 8px;margin-right: 8px;margin-bottom: 0px;line-height: 1.75em;\"><\/h3>\n<section style=\"margin-right: 8px;margin-left: 8px;letter-spacing: 0.578px;white-space: normal;line-height: 1.75em;text-align: left;margin-bottom: 16px;\"><span style=\"font-size: 15px;color: rgb(63, 63, 63);\">Cox D A , Little J , O&#8217;Shea D .Ideals, Varieties, and Algorithms. Springer 2015.<\/span><\/section>\n<section style=\"margin-right: 8px;margin-left: 8px;letter-spacing: 0.578px;white-space: normal;line-height: 1.75em;text-align: left;margin-bottom: 16px;\"><span style=\"font-size: 15px;color: rgb(63, 63, 63);\">Christian Eder and Jean-Charles Faugre, A survey on signature-based Grbner basis computations.ACM Commun. Comput. Algebra 2014(49) https:\/\/arxiv.org\/pdf\/1404.1774.pdf<\/span><\/section>\n<p style=\"margin-right: 8px;margin-bottom: 8px;margin-left: 8px;letter-spacing: 0.578px;white-space: normal;line-height: 1.75em;text-align: left;\"><span style=\"font-size: 15px;color: rgb(63, 63, 63);\">D Peifer,M Stillman, D Halpern-Leistner,Learning selection strategies in Buchberger&#8217;s algorithm.ICML&#8217;20: Proceedings of the 37th International Conference on Machine LearningJuly 2020Article No.: 702Pages 7575\u20137585,https:\/\/arxiv.org\/abs\/2005.01917<\/span><\/p>\n<p style=\"margin-right: 8px;margin-left: 8px;letter-spacing: 0.578px;white-space: pre-wrap;line-height: 1.75em;margin-bottom: 0px;\"><br  \/><\/p>\n<section style=\"margin-bottom: 0px;\"><br  \/><\/section>\n<h3 style=\"outline: 0px;letter-spacing: 0.544px;white-space: normal;font-family: -apple-system, system-ui, &quot;Helvetica Neue&quot;, &quot;PingFang SC&quot;, &quot;Hiragino Sans GB&quot;, &quot;Microsoft YaHei UI&quot;, &quot;Microsoft YaHei&quot;, Arial, sans-serif;background-color: rgb(255, 255, 255);\">\n<section powered-by=\"xiumi.us\" style=\"outline: 0px;letter-spacing: 0.544px;font-family: PingFangSC-light;text-align: right;font-size: 13px;\">\n<section powered-by=\"xiumi.us\" style=\"margin-top: 10px;margin-bottom: 10px;outline: 0px;letter-spacing: 0.544px;font-family: -apple-system-font, system-ui, &quot;Helvetica Neue&quot;, &quot;PingFang SC&quot;, &quot;Hiragino Sans GB&quot;, &quot;Microsoft YaHei UI&quot;, &quot;Microsoft YaHei&quot;, Arial, sans-serif;text-align: center;\">\n<section style=\"outline: 0px;display: inline-block;vertical-align: middle;\">\n<section style=\"margin-bottom: -2px;outline: 0px;\">\n<section style=\"outline: 0px;float: left;width: 8px;height: 3px;background-color: rgb(33, 166, 210);line-height: 0;\"><br style=\"outline: 0px;\"  \/><\/section>\n<section style=\"outline: 0px;float: right;width: 8px;height: 3px;background-color: rgb(33, 166, 210);line-height: 0;\"><br style=\"outline: 0px;\"  \/><\/section>\n<section style=\"outline: 0px;clear: both;line-height: 0;\">\n<section style=\"outline: 0px;line-height: 0;width: 0px;\"><svg viewbox=\"0 0 1 1\" style=\"vertical-align:top;\"><\/svg><\/section>\n<\/section>\n<\/section>\n<section style=\"padding-right: 10px;padding-left: 10px;outline: 0px;border-left: 3px solid rgb(33, 166, 210);border-right: 3px solid rgb(33, 166, 210);border-top-color: rgb(33, 166, 210);border-bottom-color: rgb(33, 166, 210);font-size: 16px;color: rgb(0, 0, 0);line-height: 1.4;\">\n<p style=\"outline: 0px;\"><strong style=\"outline: 0px;font-family: mp-quote, -apple-system-font, BlinkMacSystemFont, &quot;Helvetica Neue&quot;, &quot;PingFang SC&quot;, &quot;Hiragino Sans GB&quot;, &quot;Microsoft YaHei UI&quot;, &quot;Microsoft YaHei&quot;, Arial, sans-serif;\"><strong style=\"outline: 0px;text-align: left;color: rgb(33, 166, 210);font-family: PingFangSC-light;letter-spacing: 0.544px;\">\u672c\u6b21\u5206\u4eab\u4e0e\u8bfb\u4e66\u4f1a\u4e3b\u9898\u4e4b\u95f4\u7684\u5173\u7cfb<\/strong><\/strong><\/p>\n<\/section>\n<section style=\"margin-top: -2px;outline: 0px;\">\n<section style=\"outline: 0px;float: left;width: 8px;height: 3px;background-color: rgb(33, 166, 210);line-height: 0;\"><br style=\"outline: 0px;\"  \/><\/section>\n<section style=\"outline: 0px;float: right;width: 8px;height: 3px;background-color: rgb(33, 166, 210);line-height: 0;\"><br style=\"outline: 0px;\"  \/><\/section>\n<\/section>\n<\/section>\n<\/section>\n<\/section>\n<\/h3>\n<p style=\"margin-right: 8px;margin-bottom: 0px;margin-left: 8px;outline: 0px;font-family: system-ui, -apple-system, &quot;system-ui&quot;, &quot;Helvetica Neue&quot;, &quot;PingFang SC&quot;, &quot;Hiragino Sans GB&quot;, &quot;Microsoft YaHei UI&quot;, &quot;Microsoft YaHei&quot;, Arial, sans-serif;font-size: 16px;letter-spacing: 0.544px;white-space: normal;background-color: rgb(255, 255, 255);line-height: 1.75em;\"><br  \/><\/p>\n<section style=\"margin-bottom: 0px;outline: 0px;font-family: system-ui, -apple-system, &quot;system-ui&quot;, &quot;Helvetica Neue&quot;, &quot;PingFang SC&quot;, &quot;Hiragino Sans GB&quot;, &quot;Microsoft YaHei UI&quot;, &quot;Microsoft YaHei&quot;, Arial, sans-serif;font-size: 16px;letter-spacing: 0.544px;white-space: normal;background-color: rgb(255, 255, 255);line-height: 1.75em;margin-left: 8px;margin-right: 8px;\">&nbsp;\u2022<strong>&nbsp;<span style=\"color: rgb(63, 63, 63);font-size: 15px;font-family: mp-quote, -apple-system-font, BlinkMacSystemFont, &quot;Helvetica Neue&quot;, &quot;PingFang SC&quot;, &quot;Hiragino Sans GB&quot;, &quot;Microsoft YaHei UI&quot;, &quot;Microsoft YaHei&quot;, Arial, sans-serif;letter-spacing: 0.034em;\">\u4e0e\u8bfb\u4e66\u4f1a\u4e4b\u95f4\u7684\u5173\u7cfb\uff1a<\/span><\/strong><\/section>\n<section style=\"margin-bottom: 0px;outline: 0px;font-family: system-ui, -apple-system, &quot;system-ui&quot;, &quot;Helvetica Neue&quot;, &quot;PingFang SC&quot;, &quot;Hiragino Sans GB&quot;, &quot;Microsoft YaHei UI&quot;, &quot;Microsoft YaHei&quot;, Arial, sans-serif;font-size: 16px;letter-spacing: 0.544px;white-space: normal;background-color: rgb(255, 255, 255);line-height: 1.75em;margin-left: 8px;margin-right: 8px;\"><span style=\"color: rgb(63, 63, 63);font-size: 15px;letter-spacing: 0.578px;white-space: pre-wrap;font-family: mp-quote, -apple-system-font, BlinkMacSystemFont, &quot;Helvetica Neue&quot;, &quot;PingFang SC&quot;, &quot;Hiragino Sans GB&quot;, &quot;Microsoft YaHei UI&quot;, &quot;Microsoft YaHei&quot;, Arial, sans-serif;\">\u7531\u4e8eBuchberger\u7b97\u6cd5\u672c\u8eab\u7684\u590d\u6742\u6027\uff0c\u56e0\u6b64\u4eba\u5de5\u6539\u8fdb\u7b97\u6cd5\u7684\u601d\u8def\u9047\u5230\u4e86\u4e00\u4e9b\u56f0\u96be\u3002M2\u7684\u4f5c\u8005Stillman\u6559\u6388\u672c\u4eba\u63d0\u51fa\u4e86\u8fd9\u79cd\u65b0\u7684\u6539\u8fdb\u7b56\u7565\u3002\u8fd9\u662f\u4e00\u4e2a\u5178\u578b\u7684\u673a\u5668\u5b66\u4e60\u89e3\u51b3\u57fa\u7840\u6570\u5b66\u95ee\u9898\u7684\u573a\u666f\u548c\u5e94\u7528\u3002<\/span><\/section>\n<section style=\"margin-bottom: 0px;outline: 0px;font-family: system-ui, -apple-system, &quot;system-ui&quot;, &quot;Helvetica Neue&quot;, &quot;PingFang SC&quot;, &quot;Hiragino Sans GB&quot;, &quot;Microsoft YaHei UI&quot;, &quot;Microsoft YaHei&quot;, Arial, sans-serif;font-size: 16px;letter-spacing: 0.544px;white-space: normal;background-color: rgb(255, 255, 255);line-height: 1.75em;margin-left: 8px;margin-right: 8px;\"><span style=\"color: rgb(63, 63, 63);font-size: 15px;letter-spacing: 0.578px;font-family: mp-quote, -apple-system-font, BlinkMacSystemFont, &quot;Helvetica Neue&quot;, &quot;PingFang SC&quot;, &quot;Hiragino Sans GB&quot;, &quot;Microsoft YaHei UI&quot;, &quot;Microsoft YaHei&quot;, Arial, sans-serif;\"><\/span><\/section>\n<section style=\"margin-bottom: 0px;outline: 0px;font-family: system-ui, -apple-system, &quot;system-ui&quot;, &quot;Helvetica Neue&quot;, &quot;PingFang SC&quot;, &quot;Hiragino Sans GB&quot;, &quot;Microsoft YaHei UI&quot;, &quot;Microsoft YaHei&quot;, Arial, sans-serif;font-size: 16px;letter-spacing: 0.544px;white-space: normal;background-color: rgb(255, 255, 255);line-height: 1.75em;margin-left: 8px;margin-right: 8px;\"><span style=\"font-family: mp-quote, -apple-system-font, BlinkMacSystemFont, &quot;Helvetica Neue&quot;, &quot;PingFang SC&quot;, &quot;Hiragino Sans GB&quot;, &quot;Microsoft YaHei UI&quot;, &quot;Microsoft YaHei&quot;, Arial, sans-serif;font-size: var(--articleFontsize);letter-spacing: 0.034em;\"><br  \/><\/span><\/section>\n<section style=\"margin-bottom: 0px;outline: 0px;font-family: system-ui, -apple-system, &quot;system-ui&quot;, &quot;Helvetica Neue&quot;, &quot;PingFang SC&quot;, &quot;Hiragino Sans GB&quot;, &quot;Microsoft YaHei UI&quot;, &quot;Microsoft YaHei&quot;, Arial, sans-serif;font-size: 16px;letter-spacing: 0.544px;white-space: normal;background-color: rgb(255, 255, 255);line-height: 1.75em;margin-left: 8px;margin-right: 8px;\"><strong><span style=\"color: rgb(63, 63, 63);font-size: 15px;font-family: mp-quote, -apple-system-font, BlinkMacSystemFont, &quot;Helvetica Neue&quot;, &quot;PingFang SC&quot;, &quot;Hiragino Sans GB&quot;, &quot;Microsoft YaHei UI&quot;, &quot;Microsoft YaHei&quot;, Arial, sans-serif;letter-spacing: 0.034em;\">&nbsp;\u2022&nbsp;\u4e0e\u590d\u6742\u7cfb\u7edf\u4e4b\u95f4\u7684\u5173\u7cfb\uff1a<\/span><\/strong><\/section>\n<section style=\"margin-right: 8px;margin-bottom: 0px;margin-left: 8px;letter-spacing: 0.578px;white-space: normal;line-height: 1.75em;\"><span style=\"color: rgb(63, 63, 63);font-size: 15px;letter-spacing: 0.578px;white-space: pre-wrap;font-family: mp-quote, -apple-system-font, BlinkMacSystemFont, &quot;Helvetica Neue&quot;, &quot;PingFang SC&quot;, &quot;Hiragino Sans GB&quot;, &quot;Microsoft YaHei UI&quot;, &quot;Microsoft YaHei&quot;, Arial, sans-serif;\">\u6570\u5b66\u7ed3\u6784\u672c\u8eab\u53ef\u4ee5\u770b\u4f5c\u4e00\u4e2a\u590d\u6742\u7cfb\u7edf\uff0c\u6570\u5b66\u5bf9\u8c61\u6784\u6210\u4e86\u76f8\u4e92\u5173\u8054\u7684\u590d\u6742\u7cfb\u7edf\u3002\u53e6\u4e00\u65b9\u9762\uff0c\u590d\u6742\u79d1\u5b66\u7684\u7814\u7a76\u4e5f\u79bb\u4e0d\u5f00\u6570\u5b66\u5de5\u5177\u3002\u6df7\u6c8c\u3001\u975e\u7ebf\u6027\u7b49\u65e2\u662f\u91cd\u8981\u7684\u6570\u5b66\u6982\u5ff5\uff0c\u4e5f\u662f\u590d\u6742\u79d1\u5b66\u7684\u57fa\u7840\u6982\u5ff5\u3002\u4eba\u5de5\u667a\u80fd\u6280\u672f\u7684\u6df1\u5165\u53d1\u5c55\uff0c\u5c06\u8fdb\u4e00\u6b65\u52a0\u5f3a\u6570\u5b66\u4e0e\u590d\u6742\u79d1\u5b66\u7684\u6df1\u523b\u8054\u7cfb\uff0c\u540c\u65f6\uff0c\u6570\u5b66\u4e0e\u590d\u6742\u79d1\u5b66\u7684\u65b9\u6cd5\u6b63\u9010\u6b65\u5728\u4eba\u5de5\u667a\u80fd\u7684\u53d1\u5c55\u7814\u7a76\u4e2d\u53d1\u6325\u91cd\u8981\u4f5c\u7528\uff0c\u5e76\u4e3a\u6784\u5efa\u795e\u7ecf\u7f51\u7edc\u4e0e\u5927\u6a21\u578b\u7684\u53ef\u89e3\u91ca\u6027\u63d0\u4f9b\u575a\u5b9e\u7684\u7406\u8bba\u57fa\u7840\uff0c\u901a\u8fc7\u4eba\u5de5\u667a\u80fd\u4e0e\u6570\u5b66\u7814\u7a76\u7ed3\u5408\u53ef\u4ee5\u4e3a\u590d\u6742\u7cfb\u7edf\u4e0e\u4eba\u5de5\u667a\u80fd\u7684\u7ed3\u5408\u5e26\u6765\u66f4\u591a\u53ef\u80fd\u6027\u3002<\/span><\/section>\n<section style=\"margin-right: 8px;margin-bottom: 0px;margin-left: 8px;letter-spacing: 0.578px;white-space: normal;line-height: 1.75em;\"><span style=\"font-size: 15px;color: rgb(63, 63, 63);\"><\/span><\/section>\n<section style=\"margin-bottom: 0px;\"><span style=\"font-size: 15px;color: rgb(63, 63, 63);\"><br  \/><\/span><\/section>\n<section style=\"margin-right: 8px;margin-bottom: 0px;margin-left: 8px;outline: 0px;font-family: system-ui, -apple-system, &quot;system-ui&quot;, &quot;Helvetica Neue&quot;, &quot;PingFang SC&quot;, &quot;Hiragino Sans GB&quot;, &quot;Microsoft YaHei UI&quot;, &quot;Microsoft YaHei&quot;, Arial, sans-serif;font-size: 16px;letter-spacing: 0.544px;white-space: normal;background-color: rgb(255, 255, 255);line-height: 1.75em;\"><span style=\"outline: 0px;font-size: 15px;color: rgb(63, 63, 63);\"><br  \/><\/span><\/section>\n<h3 style=\"outline: 0px;letter-spacing: 0.544px;white-space: normal;font-family: -apple-system, system-ui, &quot;Helvetica Neue&quot;, &quot;PingFang SC&quot;, &quot;Hiragino Sans GB&quot;, &quot;Microsoft YaHei UI&quot;, &quot;Microsoft YaHei&quot;, Arial, sans-serif;background-color: rgb(255, 255, 255);\">\n<section powered-by=\"xiumi.us\" style=\"outline: 0px;letter-spacing: 0.544px;font-family: PingFangSC-light;text-align: right;font-size: 13px;\">\n<section powered-by=\"xiumi.us\" style=\"margin-top: 10px;margin-bottom: 10px;outline: 0px;letter-spacing: 0.544px;font-family: -apple-system-font, system-ui, &quot;Helvetica Neue&quot;, &quot;PingFang SC&quot;, &quot;Hiragino Sans GB&quot;, &quot;Microsoft YaHei UI&quot;, &quot;Microsoft YaHei&quot;, Arial, sans-serif;text-align: center;\">\n<section style=\"outline: 0px;display: inline-block;vertical-align: middle;\">\n<section style=\"margin-bottom: -2px;outline: 0px;\">\n<section style=\"outline: 0px;float: left;width: 8px;height: 3px;background-color: rgb(33, 166, 210);line-height: 0;\"><br style=\"outline: 0px;\"  \/><\/section>\n<section style=\"outline: 0px;float: right;width: 8px;height: 3px;background-color: rgb(33, 166, 210);line-height: 0;\"><br style=\"outline: 0px;\"  \/><\/section>\n<section style=\"outline: 0px;clear: both;line-height: 0;\">\n<section style=\"outline: 0px;line-height: 0;width: 0px;\"><svg viewbox=\"0 0 1 1\" style=\"vertical-align:top;\"><\/svg><\/section>\n<\/section>\n<\/section>\n<section style=\"padding-right: 10px;padding-left: 10px;outline: 0px;border-left: 3px solid rgb(33, 166, 210);border-right: 3px solid rgb(33, 166, 210);border-top-color: rgb(33, 166, 210);border-bottom-color: rgb(33, 166, 210);font-size: 16px;color: rgb(0, 0, 0);line-height: 1.4;\">\n<p style=\"outline: 0px;\"><strong style=\"outline: 0px;font-family: mp-quote, -apple-system-font, BlinkMacSystemFont, &quot;Helvetica Neue&quot;, &quot;PingFang SC&quot;, &quot;Hiragino Sans GB&quot;, &quot;Microsoft YaHei UI&quot;, &quot;Microsoft YaHei&quot;, Arial, sans-serif;\"><strong style=\"outline: 0px;text-align: left;color: rgb(33, 166, 210);font-family: PingFangSC-light;letter-spacing: 0.544px;\">\u76f4\u64ad\u4fe1\u606f<\/strong><\/strong><\/p>\n<\/section>\n<section style=\"margin-top: -2px;outline: 0px;\">\n<section style=\"outline: 0px;float: left;width: 8px;height: 3px;background-color: rgb(33, 166, 210);line-height: 0;\"><br style=\"outline: 0px;\"  \/><\/section>\n<section style=\"outline: 0px;float: right;width: 8px;height: 3px;background-color: rgb(33, 166, 210);line-height: 0;\"><br style=\"outline: 0px;\"  \/><\/section>\n<\/section>\n<\/section>\n<\/section>\n<\/section>\n<\/h3>\n<p style=\"margin-right: 8px;margin-bottom: 0px;margin-left: 8px;outline: 0px;font-family: system-ui, -apple-system, &quot;system-ui&quot;, &quot;Helvetica Neue&quot;, &quot;PingFang SC&quot;, &quot;Hiragino Sans GB&quot;, &quot;Microsoft YaHei UI&quot;, &quot;Microsoft YaHei&quot;, Arial, sans-serif;font-size: 16px;letter-spacing: 0.544px;white-space: normal;background-color: rgb(255, 255, 255);line-height: 1.75em;\"><br style=\"letter-spacing: 0.544px;\"  \/><\/p>\n<section style=\"margin-left: 8px;margin-right: 8px;margin-bottom: 0px;line-height: 1.75em;\"><strong><span style=\"font-size: 15px;color: rgb(63, 63, 63);\">\u65f6\u95f4\uff1a<\/span><\/strong><\/section>\n<section style=\"margin-left: 8px;margin-right: 8px;margin-bottom: 0px;line-height: 1.75em;\"><span style=\"font-size: 15px;color: rgb(63, 63, 63);\"><span style=\"letter-spacing: 0.578px;\"><span style=\"color: rgb(63, 63, 63);font-size: 15px;letter-spacing: 0.578px;\">2023\u5e7410\u670813\u65e5\uff08\u672c\u5468\u4e94\uff09\u665a\u4e0a20:00-22:00<\/span><\/span><\/span><\/section>\n<section class=\"channels_iframe_wrp\"><mp-common-videosnap class=\"js_uneditable custom_select_card channels_live_iframe\" data-pluginname=\"mpvideosnap\" data-headimgurl=\"https:\/\/wx.qlogo.cn\/finderhead\/PdibpV1sFDHdC5AR6SqCNbOfwAEdPtWSb2Y5v1iaq3YTCocFBPFM1xzQ\/0\" data-username=\"v2_060000231003b20faec8c4e78d10c3d6cd04ef30b077c6436f3ed47f70be822497426f6452dd@finder\" data-nickname=\"\u96c6\u667a\u4ff1\u4e50\u90e8\" data-desc=\"\u5c06\u572810\u670813\u65e5 20:00 \u76f4\u64ad\" data-livewording=\"\u9884\u7ea6\" data-intro=\"AI For Math: \u57fa\u4e8e\u5f3a\u5316\u5b66\u4e60\u7684Buchberger\u7b97\u6cd5\u6539\u8fdb&lt;br&gt;\u4e3b\u8bb2\u4eba\uff1a\u6881\u949d\uff0c\u6e05\u534e\u5927\u5b66\u4e18\u6210\u6850\u6570\u5b66\u4e2d\u5fc3\u535a\u58eb\u540e\" data-type=\"live\" data-status=\"0\" data-noticeid=\"finderlivenotice-v2_060000231003b20faec8c4e78d10c3d6cd04ef30b077c6436f3ed47f70be822497426f6452dd@finder-1696908619034710-35878227\" data-isdisabled=\"0\" data-errortips=\"\"><\/mp-common-videosnap><\/section>\n<section style=\"margin-left: 8px;margin-right: 8px;margin-bottom: 0px;line-height: 1.75em;\"><span style=\"font-size: 15px;color: rgb(63, 63, 63);\"><span style=\"letter-spacing: 0.578px;\"><span style=\"color: rgb(63, 63, 63);font-size: 15px;letter-spacing: 0.578px;\"><\/span><\/span><\/span><\/section>\n<section><span style=\"color: rgb(63, 63, 63);font-size: 15px;font-family: mp-quote, -apple-system-font, BlinkMacSystemFont, &quot;Helvetica Neue&quot;, &quot;PingFang SC&quot;, &quot;Hiragino Sans GB&quot;, &quot;Microsoft YaHei UI&quot;, &quot;Microsoft YaHei&quot;, Arial, sans-serif;letter-spacing: 0.034em;text-align: justify;\"><\/span><\/section>\n<section style=\"margin-left: 8px;margin-right: 8px;margin-bottom: 0px;line-height: 1.75em;text-align: center;\"><img class=\"rich_pages wxw-img\" data-height=\"400\" data-ratio=\"1\"  data-type=\"png\" data-w=\"400\" data-width=\"400\" style=\"letter-spacing: 0.578px;white-space: normal;width: 143px;height: 143px;\" src=\"\/wp-content\/uploads\/2023\/10\/wxsync-2023-10-579495929bff0802342d2e4d34b2fb02.png\"  \/><\/section>\n<section style=\"margin-left: 8px;margin-right: 8px;margin-bottom: 0px;line-height: 1.75em;text-align: center;\"><br  \/><\/section>\n<section style=\"margin-left: 8px;margin-right: 8px;margin-bottom: 0px;line-height: 1.75em;\"><strong><span style=\"font-size: 15px;color: rgb(63, 63, 63);\">\u53c2\u4e0e\u65b9\u5f0f\uff1a<\/span><\/strong><\/section>\n<section style=\"margin-left: 8px;margin-right: 8px;margin-bottom: 0px;line-height: 1.75em;\"><span style=\"font-size: 15px;color: rgb(63, 63, 63);\">\u626b\u7801\u53c2\u4e0e<a target=\"_blank\" href=\"http:\/\/mp.weixin.qq.com\/s?__biz=MzIzMjQyNzQ5MA==&amp;mid=2247671328&amp;idx=1&amp;sn=b365e213da7c91ac8eaace128b7a1e71&amp;chksm=e89904addfee8dbbfd4f4300b875063b40728dbe054961998898575ea8ca88ce8c62e10492d6&amp;scene=21#wechat_redirect\" textvalue=\"\u4eba\u5de5\u667a\u80fd\u4e0e\u6570\u5b66\u8bfb\u4e66\u4f1a\" linktype=\"text\" imgurl=\"\" imgdata=\"null\" data-itemshowtype=\"0\" tab=\"innerlink\" data-linktype=\"2\" rel=\"noopener noreferrer\">\u4eba\u5de5\u667a\u80fd\u4e0e\u6570\u5b66\u8bfb\u4e66\u4f1a<\/a>\uff0c\u52a0\u5165\u7fa4\u804a\uff0c\u83b7\u53d6\u7cfb\u5217\u8bfb\u4e66\u4f1a\u56de\u770b\u6743\u9650\uff0c\u6210\u4e3aAI+Science\u793e\u533a\u7684\u79cd\u5b50\u7528\u6237\uff0c\u4e0e\u793e\u533a\u7684\u4e00\u7ebf\u79d1\u7814\u5de5\u4f5c\u8005\u4e0e\u4f01\u4e1a\u5b9e\u8df5\u8005\u6c9f\u901a\u4ea4\u6d41\uff0c\u5171\u540c\u63a8\u52a8AI+Science\u793e\u533a\u7684\u53d1\u5c55\u3002<\/span><\/section>\n<section style=\"margin-right: 8px;margin-bottom: 0px;margin-left: 8px;outline: 0px;font-family: system-ui, -apple-system, &quot;system-ui&quot;, &quot;Helvetica Neue&quot;, &quot;PingFang SC&quot;, &quot;Hiragino Sans GB&quot;, &quot;Microsoft YaHei UI&quot;, &quot;Microsoft YaHei&quot;, Arial, sans-serif;letter-spacing: 0.544px;white-space: normal;background-color: rgb(255, 255, 255);\"><br  \/><\/section>\n<section style=\"margin-right: 8px;margin-bottom: 0px;margin-left: 8px;outline: 0px;font-family: system-ui, -apple-system, &quot;system-ui&quot;, &quot;Helvetica Neue&quot;, &quot;PingFang SC&quot;, &quot;Hiragino Sans GB&quot;, &quot;Microsoft YaHei UI&quot;, &quot;Microsoft YaHei&quot;, Arial, sans-serif;letter-spacing: 0.544px;white-space: normal;background-color: rgb(255, 255, 255);\"><br style=\"outline: 0px;\"  \/><\/section>\n<section powered-by=\"xiumi.us\" style=\"margin-top: 10px;margin-bottom: 0px;outline: 0px;letter-spacing: 0.544px;white-space: normal;text-size-adjust: inherit;color: rgb(136, 136, 136);font-size: 14px;font-family: -apple-system-font, system-ui, &quot;Helvetica Neue&quot;, &quot;PingFang SC&quot;, &quot;Hiragino Sans GB&quot;, &quot;Microsoft YaHei UI&quot;, &quot;Microsoft YaHei&quot;, Arial, sans-serif;background-color: rgb(255, 255, 255);text-align: center;justify-content: center;\">\n<section style=\"outline: 0px;display: inline-block;width: auto;vertical-align: top;min-width: 10%;height: auto;box-shadow: rgb(0, 0, 0) 0px 0px 0px;border-bottom: 9px solid rgb(169, 215, 227);border-bottom-right-radius: 0px;\">\n<section powered-by=\"xiumi.us\" style=\"margin-bottom: -15px;outline: 0px;\">\n<section style=\"padding-right: 10px;padding-left: 10px;outline: 0px;color: rgb(12, 130, 169);font-size: 16px;line-height: 2;letter-spacing: 3px;\">\n<p style=\"outline: 0px;\"><strong style=\"outline: 0px;\">\u4eba\u5de5\u667a\u80fd\u4e0e\u6570\u5b66\u8bfb\u4e66\u4f1a\u542f\u52a8<\/strong><br style=\"outline: 0px;\"  \/><\/p>\n<\/section>\n<\/section>\n<\/section>\n<\/section>\n<section dir=\"ltr\" style=\"margin-right: 8px;margin-bottom: 0px;margin-left: 8px;outline: 0px;letter-spacing: 0.544px;white-space: normal;text-size-adjust: inherit;clear: both;min-height: 1em;color: rgb(136, 136, 136);font-size: 14px;font-family: -apple-system-font, system-ui, &quot;Helvetica Neue&quot;, &quot;PingFang SC&quot;, &quot;Hiragino Sans GB&quot;, &quot;Microsoft YaHei UI&quot;, &quot;Microsoft YaHei&quot;, Arial, sans-serif;background-color: rgb(255, 255, 255);line-height: 2em;\"><br style=\"outline: 0px;\"  \/><\/section>\n<p style=\"margin-right: 8px;margin-bottom: 0px;margin-left: 8px;outline: 0px;font-family: system-ui, -apple-system, &quot;system-ui&quot;, &quot;Helvetica Neue&quot;, &quot;PingFang SC&quot;, &quot;Hiragino Sans GB&quot;, &quot;Microsoft YaHei UI&quot;, &quot;Microsoft YaHei&quot;, Arial, sans-serif;letter-spacing: 0.544px;text-indent: 0em;white-space: normal;background-color: rgb(255, 255, 255);line-height: 1.75em;\"><span style=\"color: rgb(136, 136, 136);font-size: 15px;text-indent: 0em;letter-spacing: 0.578px;\"><a target=\"_blank\" href=\"http:\/\/mp.weixin.qq.com\/s?__biz=MzIzMjQyNzQ5MA==&amp;mid=2247671328&amp;idx=1&amp;sn=b365e213da7c91ac8eaace128b7a1e71&amp;chksm=e89904addfee8dbbfd4f4300b875063b40728dbe054961998898575ea8ca88ce8c62e10492d6&amp;scene=21#wechat_redirect\" textvalue=\"\u4eba\u5de5\u667a\u80fd\u4e0e\u6570\u5b66\u8bfb\u4e66\u4f1a\u542f\u52a8\uff1aAI for Math\uff0cMath for AI\" linktype=\"text\" imgurl=\"\" imgdata=\"null\" data-itemshowtype=\"0\" tab=\"innerlink\" data-linktype=\"2\" rel=\"noopener noreferrer\">\u4eba\u5de5\u667a\u80fd\u4e0e\u6570\u5b66\u8bfb\u4e66\u4f1a<\/a>\u4e3b\u8981\u56f4\u7ed5AI\u3000for\u3000math\uff0cmath\u3000for\u3000AI\u4e24\u4e2a\u65b9\u9762\u6df1\u5165\u63a2\u8ba8\u4eba\u5de5\u667a\u80fd\u4e0e\u6570\u5b66\u7684\u5bc6\u5207\u8054\u7cfb\u3002\u9996\u5148\uff0c\u6211\u4eec\u5c06\u6982\u8ff0\u4eba\u5de5\u667a\u80fd\u5728\u6570\u5b66\u7684\u5e94\u7528\uff0c\u5e76\u6df1\u5165\u63a2\u8ba8\u5927\u6a21\u578b\u4e0e\u6570\u5b66\u63a8\u7406\uff0c\u5b9a\u7406\u81ea\u52a8\u8bc1\u660e\uff0c AI\u53d1\u73b0\u6570\u5b66\u89c4\u5f8b\uff0c\u7b26\u53f7\u8ba1\u7b97\u7b49\u65b9\u5411\u7684\u7814\u7a76\u5de5\u4f5c\u3002\u968f\u540e\uff0c\u6211\u4eec\u5c06\u8f6c\u5411\u5927\u6a21\u578b\u4e0e\u795e\u7ecf\u7f51\u7edc\u7684\u6570\u5b66\u57fa\u7840\u3002\u6700\u540e\uff0c\u6211\u4eec\u5c06\u6df1\u5165\u63a2\u8ba8\u51e0\u4f55\u4e0e\u62d3\u6251\u5728\u673a\u5668\u5b66\u4e60\u7684\u5e94\u7528\u3002\u4eba\u5de5\u667a\u80fd\u4e0e\u6570\u5b66\u8bfb\u4e66\u4f1a\u81ea2023\u5e749\u670815\u65e5\u5f00\u59cb\uff0c\u6bcf\u5468\u4e94\u665a\u4e0a20:00-22:00\u4e3e\u529e\uff0c\u6301\u7eed\u65f6\u95f4\u9884\u8ba1 8 \u5468\u3002\u6b22\u8fce\u5bf9\u672c\u8bdd\u9898\u611f\u5174\u8da3\u7684\u670b\u53cb\u62a5\u540d\u53c2\u52a0\uff01<\/span><\/p>\n<section style=\"margin-right: 8px;margin-bottom: 0px;margin-left: 8px;outline: 0px;font-family: system-ui, -apple-system, &quot;system-ui&quot;, &quot;Helvetica Neue&quot;, &quot;PingFang SC&quot;, &quot;Hiragino Sans GB&quot;, &quot;Microsoft YaHei UI&quot;, &quot;Microsoft YaHei&quot;, Arial, sans-serif;letter-spacing: 0.544px;text-indent: 0em;white-space: normal;background-color: rgb(255, 255, 255);line-height: 2em;\"><span style=\"outline: 0px;color: rgb(136, 136, 136);font-size: 15px;letter-spacing: 0.544px;text-decoration-style: solid;text-decoration-color: rgb(136, 136, 136);\"><br style=\"outline: 0px;\"  \/><\/span><\/section>\n<section style=\"margin-right: 8px;margin-bottom: 0px;margin-left: 8px;outline: 0px;font-family: system-ui, -apple-system, &quot;system-ui&quot;, &quot;Helvetica Neue&quot;, &quot;PingFang SC&quot;, &quot;Hiragino Sans GB&quot;, &quot;Microsoft YaHei UI&quot;, &quot;Microsoft YaHei&quot;, Arial, sans-serif;letter-spacing: 0.544px;text-indent: 0em;white-space: normal;background-color: rgb(255, 255, 255);line-height: 2em;\"><span style=\"outline: 0px;color: rgb(136, 136, 136);font-size: 15px;letter-spacing: 0.544px;text-decoration-style: solid;text-decoration-color: rgb(136, 136, 136);\"><a target=\"_blank\" href=\"http:\/\/mp.weixin.qq.com\/s?__biz=MzIzMjQyNzQ5MA==&amp;mid=2247671328&amp;idx=1&amp;sn=b365e213da7c91ac8eaace128b7a1e71&amp;chksm=e89904addfee8dbbfd4f4300b875063b40728dbe054961998898575ea8ca88ce8c62e10492d6&amp;scene=21#wechat_redirect\" textvalue=\"\u4f60\u5df2\u9009\u4e2d\u4e86\u6dfb\u52a0\u94fe\u63a5\u7684\u5185\u5bb9\" linktype=\"text\" imgurl=\"\" imgdata=\"null\" data-itemshowtype=\"0\" tab=\"innerlink\" data-linktype=\"1\" hasload=\"1\" rel=\"noopener noreferrer\"><span class=\"js_jump_icon h5_image_link\" style=\"outline: 0px;vertical-align: bottom;user-select: none;\"><img class=\"rich_pages wxw-img\" data-backh=\"317\" data-backw=\"562\" data-ratio=\"0.5638888888888889\"  data-w=\"1080\" style=\"outline: 0px;border-width: 0px;border-style: initial;border-color: initial;width: 661px;visibility: visible !important;\" src=\"\/wp-content\/uploads\/2023\/10\/wxsync-2023-10-67e98d48235ff6b38252d68ccf4d1763.jpeg\"  \/><\/span><\/a><\/span><\/section>\n<section style=\"margin-right: 8px;margin-bottom: 0px;margin-left: 8px;outline: 0px;font-family: system-ui, -apple-system, &quot;system-ui&quot;, &quot;Helvetica Neue&quot;, &quot;PingFang SC&quot;, &quot;Hiragino Sans GB&quot;, &quot;Microsoft YaHei UI&quot;, &quot;Microsoft YaHei&quot;, Arial, sans-serif;letter-spacing: 0.544px;text-indent: 0em;white-space: normal;background-color: rgb(255, 255, 255);line-height: 2em;\"><span style=\"outline: 0px;color: rgb(136, 136, 136);font-size: 15px;letter-spacing: 0.544px;text-decoration-style: solid;text-decoration-color: rgb(136, 136, 136);\"><br style=\"outline: 0px;\"  \/><\/span><\/section>\n<p style=\"margin-right: 8px;margin-bottom: 0px;margin-left: 8px;outline: 0px;letter-spacing: 0.544px;white-space: normal;color: rgb(136, 136, 136);font-size: 14px;font-family: -apple-system-font, system-ui, &quot;Helvetica Neue&quot;, &quot;PingFang SC&quot;, &quot;Hiragino Sans GB&quot;, &quot;Microsoft YaHei UI&quot;, &quot;Microsoft YaHei&quot;, Arial, sans-serif;background-color: rgb(255, 255, 255);line-height: 2em;\"><span style=\"font-size: 15px;text-indent: 0em;outline: 0px;color: rgb(63, 63, 63);font-family: system-ui, -apple-system, &quot;system-ui&quot;, &quot;Helvetica Neue&quot;, &quot;PingFang SC&quot;, &quot;Hiragino Sans GB&quot;, &quot;Microsoft YaHei UI&quot;, &quot;Microsoft YaHei&quot;, Arial, sans-serif;letter-spacing: 0.544px;\">\u8be6\u60c5\u8bf7\u89c1\uff1a<\/span><\/p>\n<p style=\"margin-right: 8px;margin-bottom: 0px;margin-left: 8px;outline: 0px;letter-spacing: 0.544px;white-space: normal;color: rgb(136, 136, 136);font-size: 14px;font-family: -apple-system-font, system-ui, &quot;Helvetica Neue&quot;, &quot;PingFang SC&quot;, &quot;Hiragino Sans GB&quot;, &quot;Microsoft YaHei UI&quot;, &quot;Microsoft YaHei&quot;, Arial, sans-serif;background-color: rgb(255, 255, 255);line-height: 2em;\"><span style=\"outline: 0px;text-indent: 0em;color: rgb(63, 63, 63);font-family: system-ui, -apple-system, &quot;system-ui&quot;, &quot;Helvetica Neue&quot;, &quot;PingFang SC&quot;, &quot;Hiragino Sans GB&quot;, &quot;Microsoft YaHei UI&quot;, &quot;Microsoft YaHei&quot;, Arial, sans-serif;font-size: 15px;letter-spacing: 0.544px;text-decoration: underline;\"><a target=\"_blank\" href=\"http:\/\/mp.weixin.qq.com\/s?__biz=MzIzMjQyNzQ5MA==&amp;mid=2247671328&amp;idx=1&amp;sn=b365e213da7c91ac8eaace128b7a1e71&amp;chksm=e89904addfee8dbbfd4f4300b875063b40728dbe054961998898575ea8ca88ce8c62e10492d6&amp;scene=21#wechat_redirect\" textvalue=\"\u4eba\u5de5\u667a\u80fd\u4e0e\u6570\u5b66\u8bfb\u4e66\u4f1a\u542f\u52a8\uff1aAI for Math\uff0cMath for AI\" linktype=\"text\" imgurl=\"\" imgdata=\"null\" data-itemshowtype=\"0\" tab=\"innerlink\" data-linktype=\"2\" hasload=\"1\" style=\"outline: 0px;color: var(--weui-LINK);cursor: pointer;\" rel=\"noopener noreferrer\">\u4eba\u5de5\u667a\u80fd\u4e0e\u6570\u5b66\u8bfb\u4e66\u4f1a\u542f\u52a8\uff1aAI for Math\uff0cMath for AI<\/a><\/span><span style=\"outline: 0px;text-indent: 0em;color: rgb(63, 63, 63);font-family: system-ui, -apple-system, &quot;system-ui&quot;, &quot;Helvetica Neue&quot;, &quot;PingFang SC&quot;, &quot;Hiragino Sans GB&quot;, &quot;Microsoft YaHei UI&quot;, &quot;Microsoft YaHei&quot;, Arial, sans-serif;font-size: 15px;letter-spacing: 0.544px;\"><br style=\"outline: 0px;\"  \/><\/span><\/p>\n<p style=\"margin-right: 8px;margin-bottom: 0px;margin-left: 8px;outline: 0px;font-family: system-ui, -apple-system, &quot;system-ui&quot;, &quot;Helvetica Neue&quot;, &quot;PingFang SC&quot;, &quot;Hiragino Sans GB&quot;, &quot;Microsoft YaHei UI&quot;, &quot;Microsoft YaHei&quot;, Arial, sans-serif;letter-spacing: 0.544px;white-space: normal;background-color: rgb(255, 255, 255);line-height: 2em;\"><span style=\"color: rgb(63, 63, 63);font-family: system-ui, -apple-system, system-ui, &quot;Helvetica Neue&quot;, &quot;PingFang SC&quot;, &quot;Hiragino Sans GB&quot;, &quot;Microsoft YaHei UI&quot;, &quot;Microsoft YaHei&quot;, Arial, sans-serif;outline: 0px;font-size: 15px;\"><br  \/><\/span><\/p>\n<section style=\"margin-left: 8px;margin-right: 8px;margin-bottom: 0px;line-height: 1.75em;\"><br  \/><\/section>\n<section style=\"margin-bottom: 0px;outline: 0px;font-family: system-ui, -apple-system, &quot;system-ui&quot;, &quot;Helvetica Neue&quot;, &quot;PingFang SC&quot;, &quot;Hiragino Sans GB&quot;, &quot;Microsoft YaHei UI&quot;, &quot;Microsoft YaHei&quot;, Arial, sans-serif;letter-spacing: 0.544px;white-space: normal;background-color: rgb(255, 255, 255);line-height: 1.75em;\"><span style=\"outline: 0px;color: rgb(255, 255, 255);font-family: PingFangSC-light;font-size: 15px;font-weight: 700;letter-spacing: 0.544px;text-align: left;background-color: rgb(12, 130, 169);\">\u70b9\u51fb\u201c\u9605\u8bfb\u539f\u6587\u201d\uff0c\u62a5\u540d\u8bfb\u4e66\u4f1a<\/span><\/section>\n<p style=\"display: none;\"><mp-style-type data-value=\"3\"><\/mp-style-type><\/p>\n<\/div>\n","protected":false},"excerpt":{"rendered":"<p>\u5bfc\u8bed Buchberger\u7b97\u6cd5\u662f\u8ba1\u7b97\u4ee3\u6570\u51e0\u4f55\u4e2d\u6700\u57fa\u7840\u7684\u7b97\u6cd5\uff0c\u4f46\u662f\u5b83\u81ea\u8bde\u751f\u4e4b\u65e5\u8d77\u5c31\u5b58\u5728\u6548\u7387\u95ee\u9898\uff0c\u4e3b\u8981\u662f\u914d\u5bf9\u591a\u9879\u5f0f\u7684\u8ba1\u7b97\u91cf\u8fc7\u5927\u3002\u5728\u4e16\u7eaa\u4e4b\u4ea4\uff0c\u4eba\u4eec\u7528\u57fa\u4e8e\u7b7e\u540d\u7684\u65b9\u6cd5\u6539\u8fdb\u8fd9\u4e2a\u7b97\u6cd5\uff0c\u5e76\u5f97\u5230\u4e86\u5f88\u591a\u8fdb\u5c55\u3002\u52302020\u5e74\uff0cMike Stillman\u53ca\u5176\u56e2\u961f\u5f00\u59cb\u601d\u8003\u5229\u7528\u5f3a\u5316\u5b66\u4e60\u7684\u65b9\u6cd5\u6539\u8fdbBuchberger\u7b97\u6cd5\u3002\u8fd9\u6b21\u5206\u4eab&#8230;<\/p>\n","protected":false},"author":0,"featured_media":45724,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":[],"categories":[1],"tags":[],"special":[],"_links":{"self":[{"href":"https:\/\/swarma.org\/index.php?rest_route=\/wp\/v2\/posts\/45729"}],"collection":[{"href":"https:\/\/swarma.org\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/swarma.org\/index.php?rest_route=\/wp\/v2\/types\/post"}],"replies":[{"embeddable":true,"href":"https:\/\/swarma.org\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=45729"}],"version-history":[{"count":0,"href":"https:\/\/swarma.org\/index.php?rest_route=\/wp\/v2\/posts\/45729\/revisions"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/swarma.org\/index.php?rest_route=\/wp\/v2\/media\/45724"}],"wp:attachment":[{"href":"https:\/\/swarma.org\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=45729"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/swarma.org\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=45729"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/swarma.org\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=45729"},{"taxonomy":"special","embeddable":true,"href":"https:\/\/swarma.org\/index.php?rest_route=%2Fwp%2Fv2%2Fspecial&post=45729"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}