HLM เป็นผู้ช่วยพิสูจน์สําหรับคณิตศาสตร์ในชีวิตประจําวันซึ่งกําลังได้รับการพัฒนาอยู่ มันมีจุดมุ่งหมายเพื่อประสบการณ์ของผู้ใช้ให้ใกล้เคียงกับการปฏิบัติทางคณิตศาสตร์เป็นประจําและหลักฐานที่มนุษย์เข้าใจได้ด้วยความพยายามพิเศษเพียงเล็กน้อย
ประวัติรุ่น
- เวอร์ชัน Prototype โพสต์เมื่อ 2011-02-08
การแก้ไขและการอัปเดตหลายรายการ - เวอร์ชัน N/A โพสต์เมื่อ 2011-02-08
รายละเอียดหลักสูตร
- ประเภท: ศึกษา > อื่นๆ
- Publisher: hlm.sf.net
- ใบ อนุญาต: ฟรี
- ราคา: N/A
- เวอร์ชัน: Array
- แพ ลตฟอร์ม: windows