Theorem proving software systems
ทฤษฎีบทพิสูจน์ระบบซอฟต์แวร์
อ่าน 1 นาทีเมเปิล (ซอฟต์แวร์)
Computer algebra system software for LinuxMapleเป็นทั้ง สภาพแวดล้อมการคำนวณ เชิงสัญลักษณ์และเชิงตัวเลขรวมถึงเป็นภาษาโปรแกรมแบบหลายกระบวนทัศน์ครอบคลุมหลายด้านของการคำนวณทางเทคนิค เช่น คณิตศาสตร์เชิงสัญลักษณ์...
อ่าน 1 นาทีผู้เชี่ยวชาญด้านเรขาคณิต
Automated theorem provingGeometry Expert ( GEX ) เป็นซอฟต์แวร์จากประเทศจีนสำหรับวาดแผนภาพแบบไดนามิก และพิสูจน์และค้นพบทฤษฎีทางเรขาคณิตโดยอัตโนมัติ
อ่าน 1 นาทีตัววางแผน (ภาษาโปรแกรม)
Automated planning and schedulingPlanner (มักปรากฏในสิ่งพิมพ์ว่า "PLANNER" แม้ว่าจะไม่ใช่คำย่อ) เป็นภาษาโปรแกรมที่ออกแบบโดยCarl Hewittที่MITและเผยแพร่ครั้งแรกในปี 1969 ในตอนแรก มีการนำส่วนย่อยต่างๆ เช่น...
อ่าน 1 นาทีCARINE
Theorem proving software systemsCARINE (Computer Aided Reasoning Engine) is a first-orderclassical logicautomated theorem prover.
OBJ (ภาษาโปรแกรม)
Academic programming languagesOBJคือ ตระกูล ภาษาโปรแกรมที่โจเซฟ โกเกน ริเริ่มขึ้น ในปี 1976 และได้รับการพัฒนาต่อยอดโดยโฮเซ เมเซเกอร์
อ่าน 1 นาทีปีเตอร์ บี. แอนดรูว์ส
Common Lisp (programming language) softwareปีเตอร์ บรูซ แอนดรูว์ส (1 พฤศจิกายน พ.ศ. 2480 – 21 เมษายน พ.ศ. 2568) เป็นนักตรรกศาสตร์ทางคณิตศาสตร์ชาวอเมริกัน เขาเป็นผู้สร้างตรรกศาสตร์ทางคณิตศาสตร์ Q
อ่าน 1 นาทีสิบสอง
Dependently typed languagesTwelfเป็นการนำกรอบตรรกะLFที่พัฒนาโดยFrank Pfenningและ Carsten Schürmann ที่มหาวิทยาลัย Carnegie...
อ่าน 1 นาทีเอ็นคิวทีเอ็ม
CS1 maint: location missing publisherNqthmเป็นโปรแกรมพิสูจน์ทฤษฎีบทบางครั้งเรียกว่าโปรแกรมพิสูจน์ทฤษฎีบท Boyer–Mooreมันเป็นโปรแกรมต้นแบบของ ACL2
ชุดเครื่องมือวิเคราะห์แบบคงที่ของซอฟต์แวร์ MALPAS
CS1 maint: archived copy as titleMALPASเป็นชุดเครื่องมือซอฟต์แวร์ที่ใช้ในการตรวจสอบและพิสูจน์ความถูกต้องของซอฟต์แวร์โดยใช้วิธีการวิเคราะห์โปรแกรมแบบคงที่ อย่างเข้มงวด...
อ่าน 1 นาทีWolfram Mathematica
1988 softwareWolfram Mathematica (หรือที่รู้จักกันในชื่อMathematica ) เป็นระบบซอฟต์แวร์ที่มีไลบรารีในตัวสำหรับการคำนวณทางเทคนิคหลายด้าน...
อ่าน 1 นาทีนักทฤษฎีตรรกศาสตร์
History of artificial intelligenceLogic Theoristเป็นโปรแกรมคอมพิวเตอร์ที่สร้างเสร็จในปี 1956 โดยAllen Newell , Herbert A.
อ่าน 1 นาทีการจัดทำดัชนีคำศัพท์
Data structuresในวิทยาการคอมพิวเตอร์ดัชนีเทอมเป็นโครงสร้างข้อมูลเพื่ออำนวยความสะดวกในการค้นหาเทอมและข้อความในโปรแกรมตรรกะฐานข้อมูลแบบนิรนัยหรือ โปรแกรม พิสูจน์ ทฤษฎีบทอัตโนมัติอย่าง รวดเร็ว