This system, AUTOBAYES, can be loos

This system, AUTOBAYES, can be loosely thought of as “part theorem prover, part
Mathematica, part learning textbook, and part Numerical Recipes.” It provides much more
flexibility than a fixed code repository such as a Matlab toolbox, and allows the creation
of efficient algorithms which have never before been implemented, or even written down

ผลลัพธ์ (ไทย) 1:

ระบบนี้ AUTOBAYES สามารถซึ่งคิดเป็น "ส่วนทฤษฎีบท prover ส่วนMathematica หนังสือเรียนส่วนหนึ่ง และส่วนเลขสูตร" มีมากมายความยืดหยุ่นมากกว่าเก็บรหัสถาวรเช่น Matlab ทูล และอนุญาตให้สร้างของอัลกอริทึมที่มีประสิทธิภาพ ที่ไม่ว่าจะถูกดำเนินการ หรือแม้กระทั่งเขียนลง

ผลลัพธ์ (ไทย) 2:

ระบบนี้ AUTOBAYES สามารถคิดอย่างหลวม ๆ ว่าเป็น "prover ส่วนทฤษฎีบทส่วน
Mathematica ส่วนตำราการเรียนรู้และเป็นส่วนหนึ่งสูตรตัวเลข."
มันมีมากขึ้นความยืดหยุ่นกว่าที่เก็บรหัสคงที่เช่นกล่องเครื่องมือMatlab
และช่วยให้การสร้างของขั้นตอนวิธีการที่มีประสิทธิภาพที่ไม่เคยได้รับก่อนที่จะดำเนินการหรือแม้กระทั่งเขียนลง

ผลลัพธ์ (ไทย) 3:

นี้ระบบ autobayes สามารถ loosely คิดเป็น " ส่วนหนึ่งของโพรเวอร์ ส่วน
แบบ ส่วนการเรียนตำรา และส่วนสูตรการคำนวณ และมีความยืดหยุ่นมากขึ้น
กว่าการแก้ไขโค้ดข้อมูล เช่น โปรแกรมกล่องเครื่องมือ และช่วยสร้าง
ของขั้นตอนวิธีที่มีประสิทธิภาพซึ่งไม่เคยมีมาก่อนที่ใช้ หรือแม้แต่ เขียนลง