暂无内容
荆瑞娟.Counting the Integer Points of Parametric Polytopes: A Maple Implementation.COMPUTER ALGEBRA ...
荆瑞娟.基于强化学习的柱形代数分解变元择序.系统科学与数学
荆瑞娟.Efficient detection of redundancies in systems of linear inequalities.PROCEEDINGS OF TH...
荆瑞娟.Complexity Estimates for Fourier-Motzkin Elimination.22nd Internationa...
第十六届中国数学会计算机数学大会, 2026/01/01
基于Fourier-Motzkin消去法的线性运算及其应用, 2020/07/01-2023/06/30
参数多面体的格点求解及其在多面体优化中的应用, 2022/01/01-2024/12/31
 中国科学院大学 > 应用数学 >  理学博士学位 > 博士研究生毕业 
 河南大学 > 应用数学(师范) >  理学学士学位 > 大学本科毕业 
加拿大西安大略大学
江苏大学