English
首页
科学研究
研究领域
论文成果
专利
著作成果
科研项目
教学研究
教学资源
授课信息
教学成果
获奖信息
招生信息
学生信息
我的相册
教师博客
更多
荆瑞娟
副教授
暂无内容
科学研究
中文主页
>
科学研究
研究领域
暂无内容
论文成果
荆瑞娟. Counting the Integer Points of Parametric Polytopes: A Maple Implementation .COMPUTER ALGEBRA IN SCIENTIFIC COMPUTING, CASC 2024
荆瑞娟. Efficient detection of redundancies in systems of linear inequalities .PROCEEDINGS OF THE 2024 INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND ALGEBRAIC COMPUTATION, ISSAC 2024
荆瑞娟. 基于强化学习的柱形代数分解变元择序 .系统科学与数学
荆瑞娟. Complexity Estimates for Fourier-Motzkin Elimination .22nd International Workshop on Computer Algebra in Scientific Computing, CASC 2020, September 14, 2020 - September 18, 2020
专利
暂无内容
著作成果
暂无内容
科研项目
第十六届中国数学会计算机数学大会 , 2026-01-01
参数多面体的格点求解及其在多面体优化中的应用 , 2022-01-01 -2024-12-31
基于Fourier-Motzkin消去法的线性运算及其应用 , 2020-07-01 -2023-06-30
访问量：
次
|
最后更新时间：
-
-
|
开通时间：
-
-
|
手机版
