Phân tích bình phương S.O.S bằng mapple

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