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

P000074

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


*升荣 张 (电子科技大学数学科学学院)
俊伟 资 (电子科技大学数学科学学院)
孟煜 骆 (电子科技大学数学科学学院)
永彬 李 (电子科技大学数学科学学院)


Math formula preview: