[問題] 請問有哪種程式語言能做到數學的自動證明
看板C_and_CPP (C/C++)作者allenlinli (allen)時間14年前 (2012/03/27 13:57)推噓5(5推 0噓 8→)留言13則, 10人參與討論串1/2 (看更多)
不好意思在這邊問這個問題不知道適不適當^^"
請問哪種程式語言可以做到"數學的自動證明"嗎? 或者是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
推
03/27 14:04, , 1F
03/27 14:04, 1F
推
03/27 14:08, , 2F
03/27 14:08, 2F
→
03/27 14:50, , 3F
03/27 14:50, 3F
推
03/27 14:55, , 4F
03/27 14:55, 4F
推
03/27 16:02, , 5F
03/27 16:02, 5F
→
03/27 16:03, , 6F
03/27 16:03, 6F
→
03/27 16:04, , 7F
03/27 16:04, 7F
→
03/27 16:38, , 8F
03/27 16:38, 8F
→
03/27 17:27, , 9F
03/27 17:27, 9F
→
03/27 17:57, , 10F
03/27 17:57, 10F
→
03/27 18:44, , 11F
03/27 18:44, 11F
→
03/27 22:38, , 12F
03/27 22:38, 12F
推
04/02 04:26, , 13F
04/02 04:26, 13F
討論串 (同標題文章)
完整討論串 (本文為第 1 之 2 篇)：
C_and_CPP 近期熱門文章
PTT數位生活區 即時熱門文章