matitmui

Hình như anh chính là tác giả của code sos-analysic.txt phải không ạ?. Hình như anh từng thông báo sẽ cho ra mắt một cuốn sách về các phần mềm hỗ trợ chứng minh BĐT. Tức là nó có kèm theo các file txt tích hợp với maple k, và bao giờ thì anh cho ra mắt ạ? Em rất mong anh rep cmt của em :)