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 ítMình đang làm một cuốn sách về các phần mềm hỗ trợ chứng minh BĐTHiệ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- Bottema2015Ngoà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ấtSau đây là video về tool sos-analysic đc viết trên nền Maple
cho em hỏi phần mềm maple 17 có phân tích được ko ạ