Projective geometry, toric algebra and tropical computations 代数幾何は連立多項式の零点集合を扱う、求解の話 トーリック幾何・多様体は代数多様体の特別な部分クラスであって、離散データや凸多面体と関係が深い トロピカル幾何は埋め込まれた多様体の…

www.nature.com arxiv.org 具体的な課題として、素数p,qの積がMになるかどうかの判定問題を扱っている 自然数p,qを二進法で表すことで、{0,1}の二値制約のある変数のセットによって、満足すべき式を書き下している その変数セットをとすると、それらに対して…

https://arxiv.org/pdf/1903.08270.pdf pythonのsympyを使うとグレブナー基底が計算できる sagemath on pythonでもできる from sympy import * x,y,z = symbols('x y z') eqs =[x**2 + y**2 + z**2 - 4, x**2 + 2 * y**2 - 5, x*z-1] result = groebner(eqs,…