Rui-Juan Jing

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

Collaborative distances:

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

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

2018

Computing the integer points of a polyhedron.

Rui-Juan Jing, Marc Moreno Maza

ACM Commun. Comput. Algebra, 2018

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, 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