[代數] 版上有人研究過Real Polynomial System嗎

[alfadick (悟道修行者)]

http://ppt.cc/0WA9

好像是利用電腦來計算方程式或不等式的解的一種學科

好像包含柱型代數分解那些東西

我想知道利用這種東西能解哪些東西、為什麼能解那些東西，

以及解超越函數有辦法嗎？

這東西在大學部數學系絕對不會出現= =


基於興趣，想涉獵一下

版上有人知道這個嗎？學這個要有什麼先備知識？

數學或資工的研究所會教嘛？

--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 61.228.135.79
※ 文章網址: http://www.ptt.cc/bbs/Math/M.1408296713.A.B8C.html
※ 編輯: alfadick (61.228.135.79), 08/18/2014 01:33:16
推 kerwinhui   : 數學系研究院很可能沒有教，除非有研究這一門的老師
→ kerwinhui   : 看你想要那一方面，algorithm的話，first-order
→ kerwinhui   : theory 是必須的(畢竟是decision theory,quantifier
→ kerwinhui   : elimination problem)
→ kerwinhui   : 當然，代數方面，ring theory是必須的，
→ kerwinhui   : 如groebner bases等等都是主要的工具
→ kerwinhui   : (沒辦法，現代代數幾何就是需要有一大堆先備知識)
→ kerwinhui   : 這些先備知識應該博士前都稍稍有教，不過不會太深入
  這領域是叫做代數幾何嗎？

  我的邏輯方面的知識頂多到大學邏輯通識的程度而已，這樣夠嗎？

  (快速瞄起來，"好像"?只有用到簡單的量詞知識)

  代數我今年好好學！
※ 編輯: alfadick (61.228.135.79), 08/18/2014 11:10:29
→ kerwinhui   : 應該叫作computational real algebraic geometry
→ kerwinhui   : 可先看看www.math.purdue.edu/~sbasu 的免費書…