| ชื่อเรื่อง | : | Automatic Concept Formation in Pure Mathematics |
| นักวิจัย | : | Colton, Simon , Bundy, Alan , Walsh, Toby |
| คำค้น | : | - |
| หน่วยงาน | : | Edinburgh Research Archive, United Kingdom |
| ผู้ร่วมงาน | : | - |
| ปีพิมพ์ | : | 2542 |
| อ้างอิง | : | 1-55860-613-0 , http://hdl.handle.net/1842/4570 |
| ที่มา | : | - |
| ความเชี่ยวชาญ | : | - |
| ความสัมพันธ์ | : | - |
| ขอบเขตของเนื้อหา | : | - |
| บทคัดย่อ/คำอธิบาย | : | The HR program forms concepts and makes conjectures in domains of pure mathematics and uses theorem prover OTTER and model generator MACE to prove or disprove the conjectures. HR measures properties of concepts and assesses the theorems and proofs involving them to estimate the interestingness of each concept and employ a best first search. This approach has led HR to the discovery of interesting new mathematics and enables it to build theories from just the axioms of finite algebras. |
| บรรณานุกรม | : |
Colton, Simon , Bundy, Alan , Walsh, Toby . (2542). Automatic Concept Formation in Pure Mathematics.
กรุงเทพมหานคร : Edinburgh Research Archive, United Kingdom . Colton, Simon , Bundy, Alan , Walsh, Toby . 2542. "Automatic Concept Formation in Pure Mathematics".
กรุงเทพมหานคร : Edinburgh Research Archive, United Kingdom . Colton, Simon , Bundy, Alan , Walsh, Toby . "Automatic Concept Formation in Pure Mathematics."
กรุงเทพมหานคร : Edinburgh Research Archive, United Kingdom , 2542. Print. Colton, Simon , Bundy, Alan , Walsh, Toby . Automatic Concept Formation in Pure Mathematics. กรุงเทพมหานคร : Edinburgh Research Archive, United Kingdom ; 2542.
|
ridm@nrct.go.th ระบบคลังข้อมูลงานวิจัยไทย รายการโปรดที่คุณเลือกไว้
