2,931 followers
Division by zeroというタイトルだけど示していることはDiophantine satisfiability problem over Robinson's Qがdecidable、更にNP-completeなことですね https://t.co/8R9gg4SmnC
Division by zeroというタイトルだけど示していることはDiophantine satisfiability problem over Robinson's Qがdecidable、更にNP-completeなことですね https://t.co/8R9gg4SmnC
#arXiv #math_LO "Division by zero. (arXiv:1604.07309v3 [math.LO] UPDATED)" https://t.co/eBWFXtUyiA
#arXiv #cs_LO "Division by zero. (arXiv:1604.07309v3 [math.LO] UPDATED)" https://t.co/eBWFXtUyiA
Division by zero. (arXiv:1604.07309v2 [math.LO] UPDATED) https://t.co/hXmEBJyZ4P