机构:
Chinese Acad Sci, Acad Math & Syst Sci, Key Lab Math Mechanizat, Beijing, Peoples R ChinaChinese Acad Sci, Acad Math & Syst Sci, Key Lab Math Mechanizat, Beijing, Peoples R China
Cheng, Yihang
Feng, Yansong
论文数: 0引用数: 0
h-index: 0
机构:Chinese Acad Sci, Acad Math & Syst Sci, Key Lab Math Mechanizat, Beijing, Peoples R China
Feng, Yansong
Pan, Yanbin
论文数: 0引用数: 0
h-index: 0
机构:Chinese Acad Sci, Acad Math & Syst Sci, Key Lab Math Mechanizat, Beijing, Peoples R China
Pan, Yanbin
PROCEEDINGS OF THE 2024 INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND ALGEBRAIC COMPUTATION, ISSAC 2024,
2024,
: 170
-
179