Chương trình theo instigate-acl.sf.net

C++ Thư viện các khái niệm đại số trừu tượng và thuật toán số học được xác định theo các khái niệm này, sử dụng Phương pháp lập trình chung instigate. Dựa trên thư viện này, chúng tôi có kế hoạch phát triển các khái niệm và