
- Nghiên cứu phát triển hệ thống tính toán lưới để hỗ trợ giải quyết các bài toán có khối lượng tính toán lớn - Đề tài nhánh: Kết nối VNGrid với tổ chức PRAGMA và một số nước trong khu vực (WPO5)
- Sản xuất thử và ứng dụng vào sản xuất máy sấy lúa hè thu công suất 3-4 tấn/mẻ
- Ứng dụng chế phẩm Kivica điều chỉnh thời vụ chín của cam sành Hà Giang
- Nghiên cứu đề xuất giải pháp khai thác cơ hội phát triển thương mại Việt Nam trong bối cảnh xây dựng Cộng đồng kinh tế ASEAN
- Xây dựng mô hình thử nghiệm nuôi ếch Thái Lan nhằm tăng thu nhập trong kinh tế hộ ở các xã Diễn Bình Kon Đảo và thị trấn Đăk Tô
- Điều tra đánh giá thực trạng và đề xuất các biện pháp bảo tồn khai thác và phát triển bền vững chè Shan tuyết tại vườn Quốc gia Xuân Sơn tỉnh Phú Thọ
- Nghiên cứu ứng dụng công nghệ thông tin và dữ liệu vệ tinh xây dựng hệ thống thông tin thời tiết và cảnh báo thiên tai trên địa bàn các huyện phía Tây tỉnh Yên Bái
- Nghiên cứu phát triển phần mềm trong thiết bị định tuyến không dây sử dụng công nghệ thông tin di động AD-HOC
- Đánh giá và dự báo mối tương quan giữa tăng trưởng kinh tế và ô nhiễm môi trường tại Vùng kinh tế trọng điểm Bắc Bộ
- Cải tiến việc tiếp nhận và cung ứng dầu lửa đến các điểm bán lẻ ở huyện



- Kết quả thực hiện nhiệm vụ
101.04-2017.14
2019-48-1014/KQNC
Máy tính hỗ trợ các chứng minh: Một số bất biến của đa tạp và một số vấn đề về đơn hữu tỷ
Viện Toán học
Viện Hàn lâm Khoa học và Công nghệ Việt Nam
Quốc gia
TS. Hoàng Lê Trường
TS. Trần Nguyên An, PGS.TS. Nguyễn Thị Dung, ThS. Hoàng Ngọc Yến;
Toán học cơ bản
01/12/2017
01/12/2019
2019
Hà Nội
11 tr. + phụ lục
Đa tạp bốn chiều; Đơn hữu tỷ; Ma trận nhân tử; Chỉ số Castelnuovo-Mumford; Hàm Hilbert
24 Lý Thường Kiệt, Hà Nội
16574