Mình rất muốn tìm hiểu những gì ẩn sau một trương trình hình học như Cabri tại www.cabri.com họ đã dùng ngôn ngữ nào để viết < và tại sao họ có những thuật toán có thể kiểm tra chính xác hoàn toàn những bài toán khó của hình học phẳng, như vấn đề kiểm tra 4 điểm nằm trên đường tròn..., mặt khác nó cũng có một công cụ tính toán rất chính xác có thể tính đúng đến 20 chữ thập phân sau dấu phẩy? Lúc đầu mình đã nghĩ việc tính toán của họ dựa hoàn toàn trên hình học giải tích xong mình nghĩ để làm chính xác đến vậy có thể họ cần có một thuật toán chính xác hơn?