Mở rộng định lý Bézout cho trường hợp hệ phương trình siêu việt thực - Lê, Thanh Trúc (Trường Đại học Đà Lạt, 2010)