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

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

Cơ sở groebner và chứng minh định lý hình học bằng máy tính NGUYÊN - 2015ĐẠI HỌC THÁI NGUYÊN TRƯỜNG DẠI HỌC KHOA HỌCBÙI Đức THÁNGCơ SỠ GROEBNER VÀ CHÚNG MINHĐỊNH LÝ HÌNH HỌC BANG MÁY TÍNHChuyên ngành: Phương p

háp Toá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 Cơ sở groebner và chứng minh định lý hình học bằng máy tính

ạiTrườ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

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

. Trị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 ì

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