Rui-Juan Jing

According to our database, Rui-Juan Jing authored at least 21 papers between 2016 and 2026.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2026

Breaking the Data Barrier in Learning Symbolic Computation: A Case Study on Variable Ordering Suggestion for Cylindrical Algebraic Decomposition.

Rui-Juan Jing, Yuegang Zhao, Changbo Chen

CoRR, January, 2026

Efficient detection of redundancies in systems of linear inequalities.

Rui-Juan Jing, Marc Moreno Maza, Chirantan Mukherjee, Yan-Feng Xie, Chun-Ming Yuan

J. Symb. Comput., 2026

2025

A Sampling-Based Method to Estimate the Volume of Solution Space for Linear Arithmetic Constraints.

Yan-Feng Xie, Chun-Ming Yuan, Rui-Juan Jing

J. Syst. Sci. Complex., December, 2025

Integer Hulls, Z-Polyhedra and Presburger Arithmetic in Action.

Rui-Juan Jing, Yuzhuo Lei, Christopher F. S. Maligec, Marc Moreno Maza, Chirantan Mukherjee

ACM Commun. Comput. Algebra, September, 2025

Counting the number of integer points of non-parametric and parametric polytopes with the PolyhedralSets in Maple.

Yuzhuo Lei, Marc Moreno Maza, Christopher F. S. Maligec, Rui-Juan Jing, Linxiao Wang

Maple Trans., 2025

Quantifier Elimination Over the Integers.

Rui-Juan Jing, Yuzhuo Lei, Christopher Frank Stephan Maligec, Marc Moreno Maza, Chirantan Mukherjee

Proceedings of the 2025 International Symposium on Symbolic and Algebraic Computation, 2025

Synthesizing Loops from Linear Ranking Functions.

Rui-Juan Jing, Yaru Yuan, Yuxing Cai, Yi Li, Changbo Chen

Proceedings of the Formal Methods and Software Engineering, 2025

2024

Efficient detection of redundancies in systems of linear inequalities✱.

Rui-Juan Jing, Marc Moreno Maza, Yan-Feng Xie, Chun-Ming Yuan

Proceedings of the 2024 International Symposium on Symbolic and Algebraic Computation, 2024

Counting the Integer Points of Parametric Polytopes: A Maple Implementation.

Rui-Juan Jing, Yuzhuo Lei, Christopher F. S. Maligec, Marc Moreno Maza

Proceedings of the Computer Algebra in Scientific Computing - 26th International Workshop, 2024

A Dataset for Suggesting Variable Orderings for Cylindrical Algebraic Decompositions.

Changbo Chen, Rui-Juan Jing, Chengrong Qian, Yaru Yuan, Yuegang Zhao

Proceedings of the Computer Algebra in Scientific Computing - 26th International Workshop, 2024

2023

Distributed Algorithms for Boolean Equations Over Networks.

Hongsheng Qi, Bo Li, Rui-Juan Jing, Lei Wang, Alexandre Proutière, Guodong Shi

IEEE Trans. Autom. Control., November, 2023

2020

Distributedly Solving Boolean Equations over Networks.

Hongsheng Qi, Bo Li, Rui-Juan Jing, Alexandre Proutière, Guodong Shi

Proceedings of the 59th IEEE Conference on Decision and Control, 2020

Complexity Estimates for Fourier-Motzkin Elimination.

Rui-Juan Jing, Marc Moreno Maza, Delaram Talaashrafi

Proceedings of the Computer Algebra in Scientific Computing - 22nd International Workshop, 2020

2019

A polynomial-time algorithm to compute generalized Hermite normal forms of matrices over Z[x].

Rui-Juan Jing, Chun-Ming Yuan, Xiao-Shan Gao

Theor. Comput. Sci., 2019

The Z_Polyhedra Library in Maple.

Rui-Juan Jing, Marc Moreno Maza

Proceedings of the Maple in Mathematics Education and Research - Third Maple Conference, 2019

2017

A modular algorithm to compute the generalized Hermite normal form for Z[x]-lattices.

Rui-Juan Jing, Chun-Ming Yuan

J. Symb. Comput., 2017

The polyhedra library in maple.

Rui-Juan Jing, Marc Moreno Maza

ACM Commun. Comput. Algebra, 2017

Computing the Integer Points of a Polyhedron.

Rui-Juan Jing, Marc Moreno Maza

Proceedings of the 2nd International Workshop on Satisfiability Checking and Symbolic Computation co-located with the 42nd International Symposium on Symbolic and Algebraic Computation (ISSAC 2017), 2017

Computing the Integer Points of a Polyhedron, II: Complexity Estimates.

Rui-Juan Jing, Marc Moreno Maza

Proceedings of the Computer Algebra in Scientific Computing - 19th International Workshop, 2017

Computing the Integer Points of a Polyhedron, I: Algorithm.

Rui-Juan Jing, Marc Moreno Maza

Proceedings of the Computer Algebra in Scientific Computing - 19th International Workshop, 2017

2016

A Polynomial-time Algorithm to Compute Generalized Hermite Normal Form of Matrices over Z[x].

Rui-Juan Jing, Chun-Ming Yuan, Xiao-Shan Gao

CoRR, 2016