|
การพิสูจน์ทฤษฎีบทด้วยคอมพิวเตอร์ เป็นส่วนหนึ่งของโครงการวิกิคณิตศาสตร์และสถานีย่อย โดยมีจุดมุ่งหมายเพื่อรวบรวมเรื่องราวทุกอย่างเกี่ยวกับคณิตศาสตร์ ทุกคนสามารถมีส่วนร่วมในโครงการนี้ได้ด้วยการช่วยกันพัฒนาบทความ การพิสูจน์ทฤษฎีบทด้วยคอมพิวเตอร์ หรือแวะไปที่หน้าโครงการหรือหน้าสถานีย่อยเพื่อดูข้อมูลเพิ่มเติม
|