第十二届中国数学会计算机数学大会 (CM2021)

2021年 6月4日 ~ 7日
P000074

有限集上偏序关系的符号计算

*张升荣 (电子科技大学数学科学学院)
资俊伟 (电子科技大学数学科学学院)
骆孟煜 (电子科技大学数学科学学院)
李永彬 (电子科技大学数学科学学院)
Math formula preview:
Supported by SmartChair