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

Lưu vào:

Hiển thị chi tiết
Đồng tác giả:	Bùi Đức Thắng
Định dạng:	Luận án
Ngôn ngữ:	vie
Thông tin xuất bản:	Trường Đại học Khoa học 2016
Chủ đề:	Cơ sở groebner Định lý hình học
Truy cập trực tuyến:	http://tailieudientu.lrc.tnu.edu.vn/Chi-tiet/co-so-groebner-va-chung-minh-dinh-ly-hinh-hoc-bang-may-tinh-51752.html
Từ khóa:	Thêm từ khóa bạn đọc Không có từ khóa, Hãy là người đầu tiên gắn từ khóa cho biểu ghi này!

Tài liệu tương tự

Cơ sở Groebner và hệ phương trình đa thức
Thông tin tác giả:: Nguyễn, Thị Thanh Vân
Thông tin xuất bản: (2018)

Sử dụng cơ sở Groebner giải hệ phương trình đa thức bằng phương pháp khử biến
Thông tin xuất bản: (2016)

Cơ sở Groebner và ứng dụng trong chứng minh định lí hình học / Phan Viết Bắc
Thông tin tác giả:: Phan, Viết BắcTác giả, và những người khác

Cơ sở Groebner và định lý không điểm của Hilbert
Thông tin tác giả:: Đinh, Minh Giang
Thông tin xuất bản: (2022)

Cơ sở Groebner, lý thuyết khử biến và định lý không điểm Hilbert : Chuyên ngành: Đại số /

Cơ sở groebner và một áp dụng cho phân tích nguyên sơ
Thông tin xuất bản: (2014)

Vài ứng dụng của lý thuyết cơ sở Groebner / Nguyễn Thị Thúy Hằng
Thông tin tác giả:: Nguyễn, Thị Thúy HằngTác giả, và những người khác

Về cơ sở Groebner và ứng dụng trong vành đa thức / Hoàng Đình Sơn
Thông tin tác giả:: Hoàng, Đình SơnTác giả, và những người khác

Cơ sở Groebner và một áp dụng cho phân tích nguyên sơ Đại số và lý thuyết số

Ứng dụng cơ sở GROEBNER vào lý thuyết mã Đại số và lí thuyết số

Mô hình chứng minh định lý hình học bằng máy tính Hình học

CƠ SỞ GROEBNER VÀ MỘT ÁP DỤNG CHO PHÂN TÍCH NGUYÊN SƠ

Các định lý cổ điển và ứng dụng trong hình học sơ cấp
Thông tin tác giả:: Nguyễn, Thị Nở
Thông tin xuất bản: (2014)

Chứng minh đại số và hình học của định lý Jung :Khóa luận tốt nghiệp Đại học /Đỗ Thị Thủy Tiên ; Đinh Thị Kim Thúy (Hướng dẫn khoa học)
Thông tin tác giả:: Đỗ, Thị Thủy Tiên, và những người khác

Thiết kế máy uốn định hình xà gồ thép
Thông tin tác giả:: Huỳnh, Đình Khải
Thông tin xuất bản: (2024)

Định lý phân tích nguyên sơ Noether và ý nghĩa hình học
Thông tin xuất bản: (2015)

Business statistics : a decision-making approach / David F. Groebner, Boise State University, Professor Emeritus of Production Management, Patrick W. Shannon, Boise State University, Professor Emeritus of Supply Chain Management, Phillip C. Fry, Boise State University, Professor of Supply Chain Management
Thông tin tác giả:: Groebner, David F., và những người khác

Kế toán tài sản cố định vô hình trong các doanh nghiệp ở Việt Nam: Thực trạng và giải pháp
Thông tin tác giả:: Nguyễn, Thanh Hiếu
Thông tin xuất bản: (2022)

Hình lồi và các định lý tách trong hình học lồi : Khoá luận tốt nghiệp đại học / Chu Thị Bích Thảo ; PGS.TS. Nguyễn Năng Tâm (Hướng dẫn khoa học)
Thông tin tác giả:: Chu, Thị Bích Thảo, và những người khác

Xây dựng mô hình dự báo cơ cấu gia đình Việt Nam dựa trên hệ thống thông tin quản lý chuyên ngành dân số - kế hoạch hóa gia đình / Đinh Hồng Quang: tác giả; Lại Mạnh Dũng: người hướng dẫn
Thông tin tác giả:: Đinh Hồng Quang, và những người khác

Mô hình hóa các cơ cấu định vị, ghép hình trong đồ gá
Thông tin tác giả:: Hoàng, Minh Phúc
Thông tin xuất bản: (2024)

Giáo trình cơ sở tạo hình
Thông tin tác giả:: LÊ, MINH SƠN
Thông tin xuất bản: (2014)

Ứng dụng cơ sở Grobner vào chứng minh định lý hình học
Thông tin tác giả:: Lê Ngọc Sơn

Kế toán tài sản cố định hữu hình tại các công ty sản xuất và kinh doanh thiết bị bếp công nghiệp trên địa bàn Hà Nội
Thông tin tác giả:: Nguyễn, Thành Nam
Thông tin xuất bản: (2023)

Chế độ kế toán tài sản cố định hữu hình trong các doanh nghiệp tại Việt Nam: Thực trạng và giải pháp
Thông tin tác giả:: Đỗ, Thị Hương Thanh
Thông tin xuất bản: (2022)

Một số định lý chọn lọc và ứng dụng trong giải toán hình học phẳng : Khoá luận tốt nghiệp đại học / Đỗ Ngọc Ánh ; THS. Nguyễn Thị Trà (Hướng dẫn khoa học)
Thông tin tác giả:: Đỗ, Ngọc Ánh, và những người khác

Vận dụng số phức vào chứng minh một số kết quả hình học
Thông tin xuất bản: (2014)

Định lý cơ bản thứ hai cho đường cong chỉnh hình P-Adic
Thông tin xuất bản: (2014)

Một số định lý thác triển của hàm chỉnh hình tách
Thông tin xuất bản: (2012)

Ứng dụng lý thuyết Idean trong việc chứng minh các định lý số học và đại số sơ cấp.
Thông tin tác giả:: Phạm Thị Lan Anh
Thông tin xuất bản: (2022)

Ứng dụng lý thuyết Idean trong việc chứng minh các định lý số học và đại số sơ cấp.
Thông tin tác giả:: Phạm Thị Lan Anh
Thông tin xuất bản: (2022)

Nghiên cứu điều khiển cho đối tượng với mô hình tuyến tính có thông số bất định
Thông tin xuất bản: (2016)

Định lý Sard : Luận văn tốt nghiệp
Thông tin tác giả:: Lê Thanh Quang
Thông tin xuất bản: (2018)

Máy ép định hình khuôn nhựa chân không
Thông tin tác giả:: Lê, Văn Tuấn, và những người khác
Thông tin xuất bản: (2024)

Vận dụng một số định lý hình học cổ điển vào giải một số bài toán hình học phổ thông.
Thông tin tác giả:: Nguyễn, Thanh Thảo
Thông tin xuất bản: (2014)

Nhận xét một số đặc điểm lâm sàng của bệnh nhân được chỉ định phục hình răng tại Bệnh viện Răng Hàm Mặt Trung ương Hà Nội/ Chu Thị Quỳnh Hương
Thông tin tác giả:: Chu, Thị Quỳnh Hương
Thông tin xuất bản: (2023)

Một vài cách chứng minh Định lý cơ bản của Đại số bằng công cụ đại số và một số ứng dụng của định lý : Khoá luận tốt nghiệp đại học / Tạ Thanh Tâm ; Ths. Đỗ Văn Kiên (Hướng dẫn khoa học)
Thông tin tác giả:: Tạ, Thanh Tâm, và những người khác

Sử dụng mô hình số liệu mảng đánh giá hiệu quả đầu tư trong các doanh nghiệp thời kỳ 2005-2011, trường hợp địa bàn tỉnh Nam Định
Thông tin tác giả:: Đặng, Thanh Hà
Thông tin xuất bản: (2022)

Ánh xạ chỉnh hình chuẩn tắc và một số định lý cổ điển của lý thuyết hàm
Thông tin xuất bản: (2016)

Định lí liểu Marty về họ chuẩn tắc của các hàm phân hình
Thông tin xuất bản: (2020)