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 pqr-analysic đc viết trên nền Maple