江苏大学主页平台管理系统荆瑞娟--中文主页--论文成果

English

论文成果

中文主页 > 科学研究 > 论文成果

[1] Counting the Integer Points of Parametric Polytopes: A Maple Implementation.COMPUTER ALGEBRA IN SCIENTIFIC COMPUTING, CASC 2024
[2] Efficient detection of redundancies in systems of linear inequalities.PROCEEDINGS OF THE 2024 INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND ALGEBRAIC COMPUTATION, ISSAC 2024
[3] 基于强化学习的柱形代数分解变元择序.系统科学与数学
[4] Complexity Estimates for Fourier-Motzkin Elimination.22nd International Workshop on Computer Algebra in Scientific Computing, CASC 2020, September 14, 2020 - September 18, 2020

共4条 1/1

首页上页下页尾页

访问量：次 | 最后更新时间：-- | 开通时间：-- |手机版