Ter_Sex là một gói lệnh trên Maple, được phát triển bởi Fangjian Huang, Shengli Chen và Yi Li.
Có thể chứng minh các bất đẳng thức bậc 6 với ba biến $x,y,z$ không âm.
Tải file (kèm hướng dẫn) về tại đây.
Hoặc chỉ riêng file mpl.
No comments:
Post a Comment