能不能，会不会存在不等式证明机器像平面几何的证明机器一样
这种问题最好请教宁波大学的陈计老师。
■网友
Hilbert第十七问题了解一下。
【能不能，会不会存在不等式证明机器像平面几何的证明机器一样】
■网友
我不是研究这个的，简单说一点自己懂的。首先一次的不等式组是有解法的，我们称这类问题为差分约束系统，用图论方法建模可以得到代数解(无实数解的也可以被确定)。高次的呢？特定问题可以化简为上面所述的一次不等式组求解。至于是不是都可以我等数学渣渣就不知道了=_=。目测非线性的不等式组用这种方法建模会比较困难。定理推导是一个研究历史非常悠久的课题了，基于基本公理和推导方法可以产生新的定理，也有一些启发式的方法来优化这一过程(退化成穷举就完蛋了→_→)。这两者我也只略有了解，题主可以看看两者能否结合来做一些新尝试。
推荐阅读
- 广东警方曝光38款存在超范围收集用户信息违规行为App
- 王者荣耀李白能不能出肉
- |PHEV车款没比较环保，新能源是否存在谎言呢？
- 是否该停止密码掩饰了
- 行业投资阶段服务类的B2B项目，两个产品方向，但联动，在商业计划书中两个产品并存会不会不聚焦
- 阿喵汽车|车子一直用S档，开运动模式会不会伤车？喵哥一次给你讲清楚
- 这几年平地而起的互联网医疗平台，存在哪些隐患是真正的行业热，还是浮光掠影行业热
- 全网通的mate8能不能插美国手机卡，在美国使用
- 光明网|兰州：不介绍新学员 就不让你练车 ？驾校：确实存在管理漏洞，会监督教练处理退费问题
- 未来十年之内，自动驾驶能不能普及