<kbd id="mmh6i"></kbd>
    <p id="mmh6i"><noscript id="mmh6i"></noscript></p>
  1. <p id="mmh6i"><noscript id="mmh6i"></noscript></p>
  2. <bdo id="mmh6i"><tt id="mmh6i"></tt></bdo>

        <mark id="mmh6i"><acronym id="mmh6i"><nobr id="mmh6i"></nobr></acronym></mark>
          <p id="mmh6i"><noscript id="mmh6i"></noscript></p>
        1. <ins id="mmh6i"></ins>
          <p id="mmh6i"><noscript id="mmh6i"></noscript></p>
          内蒙快三内蒙快三官网内蒙快三网址内蒙快三注册内蒙快三app内蒙快三平台内蒙快三邀请码内蒙快三网登录内蒙快三开户内蒙快三手机版内蒙快三app下载内蒙快三ios内蒙快三可靠吗
          學術交流
          學術講座
          當前位置: 首頁 >> 科學研究 >> 學術交流 >> 學術講座 >> 正文
          關于學術講座的通知——點幾何的基本運算與應用
          發布時間:2019-10-15閱讀次數:

          各學院、部門:

          為了營造學術氛圍,拓展學術領域,學校邀請廣州大學鄒宇教師到我校講學,現將有關事宜通知如下:

          一、講座題目:點幾何的基本運算與應用

          二、講 人:廣州大學   鄒宇

          三、時    間:2019年6月28日上午10:00—11:00

          四、地    點:學校演播廳

          五、學術講座人簡介:

          鄒宇, 湖南邵陽人, 博士研究生, 主要研究方向: 自動推理廣州大學教師。主持國家級青年課題項目,發表了多篇EI與核心期刊文章。

          六、學術講座主要內容:

          自吳法發表至今三十余年間,幾何定理機器證明的研究和實踐有了很大的進展對無序幾何命題而言,代數方法、數值并行方法均能有效地判定其真假,消點法、搜索法更能生成可讀的證明就幾何定理可讀機器證明而言,在面積法之后,又有了向量法、全角法并發展為幾何代數方法和高級不變量方法這些方法處理的主要是幾何不變量而非基本的幾何點,故不易于擴展和融合且除面積法外,均尚未見形成具有完全性的算法質點幾何為發展基于幾何點的幾何證明方法提供了可操作的模型,其基本思想是建立幾何點而不僅是坐標或不變量之間的代數運算質點幾何支持對點直接進行線性組合運算,也能表達向量和面積,其運算表達式有明顯的幾何意義和物理意義,是一種基本的“幾何代數”討論并發展了能自動證明幾何定理的質點幾何方法, 建立了能處理希爾伯特交點類命題的仿射幾何機器證明算法, 并實現為Maple程序。對上百個非平凡命題運行的結果顯示, 這種方法不僅效率高, 多數證明的可讀性也令人滿意。

          請參加講座的師生提前10分鐘達到會場,并將手機調到靜音或震動狀態。

           

          數學與大數據學院  科研處

          2019年6月26

           

          網站糾錯】  【打印網頁】  【關閉窗口

          0
          内蒙快三{{转码主词}官网{{转码主词}网址