Đến nội dung


Chú ý

Nếu các bạn đăng kí thành viên mà không nhận được email kích hoạt thì hãy kiểm tra thùng thư rác (spam). Nếu không biết cách truy cập vào thùng thư rác thì các bạn chịu khó Google hoặc đăng câu hỏi vào mục Hướng dẫn - Trợ giúp để thành viên khác có thể hỗ trợ.


Hình ảnh

INEQTOOL - Công cụ hỗ trợ chứng minh BĐT trên Maple

maple bất đẳng thức ineqtool sos pqr ineq-finding cyclic-ineq

  • Please log in to reply
Chưa có bài trả lời

#1 tthnew

tthnew

    Sĩ quan

  • Điều hành viên THCS
  • 435 Bài viết
  • Giới tính:Nam
  • Đến từ:Nơi cần đến.
  • Sở thích:Viết blog, viết SOS .v.v.. etc.

Đã gửi 24-08-2020 - 13:42

Giới thiệu.

Chương trình INEQTOOL do mình viết$,$ tham khảo$,$ tổng hợp và nâng cấp từ các chương trình khác. Hoạt động trên Maple.

 

Đây là công cụ hỗ trợ chứng minh bất đẳng thức và đang trong quá trình phát triển.

 

Hiện nay chương trình đã có thể:

 

$+)$ Kiểm tra bất đẳng thức và tạo ra bất đẳng thức mới (Stronger version) (chủ yếu là dùng bottema2009 đã post trong bài trước).

 

$+)$ Viết bất đẳng thức với biến dương về dạng tổng bình phương theo một dạng nhất định (Công cụ này vẫn còn rất yếu, vì không thể tự tạo ra nhân tử mà ta phải cho chương trình trước một loạt các nhân tử để chương trình thực hiện đồng nhất hệ số)

 

$+)$ Đồng nhất hệ số các đa thức nhiều biến.

 

$+)$ Bất đẳng thức hoán vị (Rearrangement) (chương trình này do mình và BestChoice123(AoPS) tức Peteroldar cùng viết)

 

$+)$ Tìm hằng số tốt nhất.

 

$+)$ Đổi biến.

 

$+)$ Chứng minh các đa thức bậc $4$ hoán vị có đẳng thức xảy ra tại $a=b=c.$

 

$+)$ Phân tích SS cho bất đẳng thức.

 

File demo sức mạnh chương trình: https://drive.google.com/file/d/1cxmvIEIZW6-cgDvgT89M1laiIm-iJ9LF/view

Hiện tại tool có tổng cộng $7472$ dòng code :D Trong đó chương trình Bottema chiếm $6675$ dòng.


Bài viết đã được chỉnh sửa nội dung bởi tthnew: 25-08-2020 - 16:38






Được gắn nhãn với một hoặc nhiều trong số những từ khóa sau: maple, bất đẳng thức, ineqtool, sos, pqr, ineq-finding, cyclic-ineq

1 người đang xem chủ đề

0 thành viên, 1 khách, 0 thành viên ẩn danh