› 看板 C_and_CPP 關於我們 聯絡資訊
作者allenlinli (allen)
看板C_and_CPP
標題[問題] 請問有哪種程式語言能做到數學的自動證明
時間Tue Mar 27 13:57:56 2012
不好意思在這邊問這個問題不知道適不適當^^" 請問哪種程式語言可以做到"數學的自動證明"嗎? 或者是C,C++的特殊函式庫 可以做到? 像做到以下的事 1. 6x>5x , if x>0 2. 5x+6y=a+2b , given a=5x, b=3y 3. if a>b, then a+c>b+c 因為我要做一段數學證明，它的證明的邏輯(或說原則)都 一樣，因此照理說應該可以用程式自動證明才對。除了用C 硬將數學規則寫去之外，希望可以有本身有推裡(如prolog )或甚至進一步數學運算的程式語言 請問有沒有人有用過可自動證明的程式語言? 謝謝 -- ※ 發信站: 批踢踢實業坊(ptt.cc) ◆ From: 60.245.65.164
推 tropical72:c 有函式庫做出來的話就威了.. 03/27 14:04
推 stupid0319:也許問siri,他會知道 03/27 14:08
→ damody:c:你會嗎 c++:我不會 c#:請找F++++聽說他會 03/27 14:50
推 BlazarArc:感覺跟SMT solver有關? 03/27 14:55
推 freef1y3:不過SMT solver似乎用來做程式驗證比較多 03/27 16:02
→ freef1y3:他的變數值有上限, a>0, b>0不一定得到a+b>0 03/27 16:03
→ freef1y3:因為有可能overflow~ 03/27 16:04
→ MOONRAKER:你要用LISP。其他imperative language能做也是靠外掛。 03/27 16:38
→ Chikei:Mathematica 03/27 17:27
→ MOONRAKER:或者PROLOG。 03/27 17:57
→ allenlinli:謝謝大大們 我再從prolog,lisp,Mathematica調查看看 03/27 18:44
→ NEWG5:Mathematica 符式運算 03/27 22:38
推 Favonia:原來這文章在這也有出現... 我在 Programming 版回你了 xD 04/02 04:26