[問題] 可以做"數學自動證明"的程式語言?
請問哪種程式語言可以做到"數學的自動證明"嗎?
像做到以下的事
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:54, , 1F
03/27 14:54, 1F
推
03/27 19:32, , 2F
03/27 19:32, 2F
→
03/27 19:33, , 3F
03/27 19:33, 3F
討論串 (同標題文章)
以下文章回應了本文 (最舊先)：
完整討論串 (本文為第 1 之 4 篇)：
Programming 近期熱門文章
PTT數位生活區 即時熱門文章
