Cơ sở Groebner và chứng minh định lý hình học bằng máy tính

➤ Gửi thông báo lỗi ⚠️ Báo cáo tài liệu vi phạm

Loại tài liệu: PDF

Số trang: 61 Trang

Tài liệu: ✅ ĐÃ ĐƯỢC PHÊ DUYỆT

TẢI VỀ

Nội dung chi tiết: Cơ sở Groebner và chứng minh định lý hình học bằng máy tính

Cơ sở Groebner và chứng minh định lý hình học bằng máy tính

DẠI HỌC THÁI NGUYÊNTRƯỜNG ĐẠI HỌC KHOA HỌCBÙI ĐỨC THẢNGCơ SỜ GROEBNER VÀ CHỨNG MINH ĐỊNH LÝ HỈNH HỌC BẰNG MÁY TÍNHLUẬN VĂN THẠC sĩ TOÁN HỌCTHÁI NGUYÊN

Cơ sở Groebner và chứng minh định lý hình học bằng máy tính N - 2015DẠI HỌC THẢI NGUYÊNTRƯỜNG DẠI HỌC KHOA HỌCBÙI ĐỨC THÁNGCơ SỜ GROEBNER VÀ CHỦNG MINH ĐỊNH LÝ HỈNH HỌC BẢNG MÁY TÍNHc huyên ngành: Phương pháp T

oán sơ cấp Mà số: 60.46.01.13LUẬN VĂN THẠC sĩ TOÁN HỌCNgười hướng dẫn khoa học: TS. Nguyễn Danh NamTHÁI NGUYÊN - 2015Công trình được hoàn thành tạiTrư Cơ sở Groebner và chứng minh định lý hình học bằng máy tính

ờng Đại học Khoa học - Đại học Thái NguyênNgưòi hướng dần khoa học: 1 s. Nguyền Danh NamPhân biện 1: PGS.TS. Nguyễn Việt ỉ lảiPhan biện 2: PGS.TS. Trị

Cơ sở Groebner và chứng minh định lý hình học bằng máy tính

nh Thanh HaiI .uận vãn sê dược bảo vệ tnrởc hội dồng chấm luận văn họp tại:ITường Dại học Khoa học - Dại học Thái Nguyên ” • • • • ♦ “ ♦Ngày 3 ì tháng

Cơ sở Groebner và chứng minh định lý hình học bằng máy tính ...............................1MỞ ĐÂU.....................................................2CHUÔNG 1: co SÒGROEBNER..........................41.1.Thứ

tự lừ.............................................51.2.Idêan khởi dầu vả cơ sở Groebner......................ố1.3.Định lý Hilbert VCkhống điếm........ Cơ sở Groebner và chứng minh định lý hình học bằng máy tính

................10CHƯƠNG 2: PHÀN MỀM MAPLE VÀ GÓI LỆNH GEOPROV ER............122.1.Phần niềm Maple......................................12