Rui-Juan Jing

23 papers B 7C 1Journal 12Unranked 3
YearRankTypeTitle / Venue / Authors
2026 J jnl
Breaking the Data Barrier in Learning Symbolic Computation: A Case Study on Variable Ordering Suggestion for Cylindrical Algebraic Decomposition.
CoRR
Rui-Juan Jing, Yuegang Zhao, Changbo Chen
2026 J jnl
Efficient detection of redundancies in systems of linear inequalities.
J. Symb. Comput.
Rui-Juan Jing, Marc Moreno Maza, Chirantan Mukherjee, Yan-Feng Xie, Chun-Ming Yuan
2025 J jnl
A Sampling-Based Method to Estimate the Volume of Solution Space for Linear Arithmetic Constraints.
J. Syst. Sci. Complex.
Yan-Feng Xie, Chun-Ming Yuan, Rui-Juan Jing
2025 J jnl
Counting the number of integer points of non-parametric and parametric polytopes with the PolyhedralSets in Maple.
Maple Trans.
Yuzhuo Lei, Marc Moreno Maza, Christopher F. S. Maligec, Rui-Juan Jing, Linxiao Wang
2025 J jnl
Integer Hulls, Z-Polyhedra and Presburger Arithmetic in Action.
ACM Commun. Comput. Algebra
Rui-Juan Jing, Yuzhuo Lei, Christopher F. S. Maligec, Marc Moreno Maza, Chirantan Mukherjee
2025 B conf
Quantifier Elimination Over the Integers.
ISSAC
Rui-Juan Jing, Yuzhuo Lei, Christopher Frank Stephan Maligec, Marc Moreno Maza, Chirantan Mukherjee
2025 C conf
Synthesizing Loops from Linear Ranking Functions.
ICFEM
Rui-Juan Jing, Yaru Yuan, Yuxing Cai, Yi Li, Changbo Chen
2024 B conf
A Dataset for Suggesting Variable Orderings for Cylindrical Algebraic Decompositions.
CASC
Changbo Chen, Rui-Juan Jing, Chengrong Qian, Yaru Yuan, Yuegang Zhao
2024 B conf
Counting the Integer Points of Parametric Polytopes: A Maple Implementation.
CASC
Rui-Juan Jing, Yuzhuo Lei, Christopher F. S. Maligec, Marc Moreno Maza
2024 B conf
Efficient detection of redundancies in systems of linear inequalities✱.
ISSAC
Rui-Juan Jing, Marc Moreno Maza, Yan-Feng Xie, Chun-Ming Yuan
2023 J jnl
Distributed Algorithms for Boolean Equations Over Networks.
IEEE Trans. Autom. Control.
Hongsheng Qi, Bo Li, Rui-Juan Jing, Lei Wang, Alexandre Proutière, Guodong Shi
2020 B conf
Complexity Estimates for Fourier-Motzkin Elimination.
CASC
Rui-Juan Jing, Marc Moreno Maza, Delaram Talaashrafi
2020 — conf
Distributedly Solving Boolean Equations over Networks.
CDC
Hongsheng Qi, Bo Li, Rui-Juan Jing, Alexandre Proutière, Guodong Shi
2019 J jnl
A polynomial-time algorithm to compute generalized Hermite normal forms of matrices over Z[x].
Theor. Comput. Sci.
Rui-Juan Jing, Chun-Ming Yuan, Xiao-Shan Gao
2019 — conf
The Z_Polyhedra Library in Maple.
MC
Rui-Juan Jing, Marc Moreno Maza
2018 J jnl
Complexity Estimates for Fourier-Motzkin Elimination.
CoRR
Rui-Juan Jing, Marc Moreno Maza, Delaram Talaashrafi
2018 J jnl
Computing the integer points of a polyhedron.
ACM Commun. Comput. Algebra
Rui-Juan Jing, Marc Moreno Maza
2017 J jnl
A modular algorithm to compute the generalized Hermite normal form for Z[x]-lattices.
J. Symb. Comput.
Rui-Juan Jing, Chun-Ming Yuan
2017 B conf
Computing the Integer Points of a Polyhedron, I: Algorithm.
CASC
Rui-Juan Jing, Marc Moreno Maza
2017 B conf
Computing the Integer Points of a Polyhedron, II: Complexity Estimates.
CASC
Rui-Juan Jing, Marc Moreno Maza
2017 — conf
Computing the Integer Points of a Polyhedron.
SC²@ISSAC
Rui-Juan Jing, Marc Moreno Maza
2017 J jnl
The polyhedra library in maple.
ACM Commun. Comput. Algebra
Rui-Juan Jing, Marc Moreno Maza
2016 J jnl
A Polynomial-time Algorithm to Compute Generalized Hermite Normal Form of Matrices over Z[x].
CoRR
Rui-Juan Jing, Chun-Ming Yuan, Xiao-Shan Gao