Hiện nay hầu như các mảng khác của toán học hầu như đều có phần mềm hỗ trợ riêng BĐT thì rất ít
Mình đang làm một cuốn sách về các phần mềm hỗ trợ chứng minh BĐT
Hiện nay một số công cụ đã được viết như
- Phân tích bình phương SOS
- Bán SOS bán Schur SOS-Schur
- Kĩ thuật pqr pqr-analysic
- Dốn biến MV-calculate
- Giải BĐT bậc 4 proving4
- Bottema2015
Ngoài ra còn hỗ trợ việc tìm giá trị tốt nhất của k và chứng minh các BĐT hình học và đại số...
Rất mong nhận dc sự góp ý của các bạn .


Hy vọng cuốn sách sẽ đến tay bạn đọc trong thời gian sớm nhất
Sau đây là video về tool sos-analysic đc viết trên nền Maple