The latter will be fed to a theorem

The latter will be fed to a theorem prover (see [10, 11]), based on the Grbner bases technique, that will automatically establish inner properties of the model. Moreover, once a particular mathematical model is created and then checked for accuracy, it will serve as a basis for logical deduction of various geometrical statements that might follow. Lastly, a detailed step-by-step exposition of the proving process will be provided.

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

หลังจะสามารถติดตาม prover ทฤษฎีบท (ดู [10, 11]), Gr bner ฐานเทคนิคการ ที่โดยอัตโนมัติจะกำหนดคุณสมบัติภายในรุ่นที่ใช้ นอกจากนี้ เมื่อแบบจำลองทางคณิตศาสตร์ใดจะถูกสร้าง และจากนั้น ตรวจสอบความถูกต้อง มันจะทำหน้าที่เป็นพื้นฐานสำหรับหัก geometrical งบต่าง ๆ ที่อาจตามตรรกะ สุดท้ายนี้ นิทรรศการขั้นตอนรายละเอียดการ proving จะสามารถให้

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

หลังจะได้รับการเลี้ยง Prover ทฤษฎีบท (ดู [10, 11]) ขึ้นอยู่กับ Gr? bner เทคนิคฐานที่จะสร้างคุณสมบัติภายในของรูปแบบ นอกจากนี้ครั้งหนึ่งเคยเป็นแบบจำลองทางคณิตศาสตร์โดยเฉพาะอย่างยิ่งถูกสร้างขึ้นและการตรวจสอบความถูกต้องแล้วก็จะใช้เป็นพื้นฐานสำหรับการหักตรรกะของงบเรขาคณิตต่างๆที่อาจจะทำตาม สุดท้ายการแสดงออกขั้นตอนโดยขั้นตอนในรายละเอียดของกระบวนการพิสูจน์จะมีการจัด

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

หลังจะเป็นอาหารให้ทฤษฎีบทโพรเวอร์ ( ดู [ 11 ] 10 ) ตาม  bner GR ฐานเทคนิคที่โดยอัตโนมัติจะสร้างคุณสมบัติภายในของแบบจำลอง นอกจากนี้ เมื่อโดยแบบจำลองทางคณิตศาสตร์จะถูกสร้างขึ้นและจากนั้นตรวจสอบความถูกต้อง มันจะใช้เป็นพื้นฐานสำหรับการหักตรรกะเรขาคณิตต่าง ๆงบที่อาจจะตามมา ท้ายนี้นิทรรศการทีละขั้นตอนโดยละเอียดของกระบวนการพิสูจน์จะจัดให้