Rui-Juan Jing

Available identifiers

zbMath Open jing.rui-juanMaRDI QIDQ504417

List of research outcomes

Publication	Date of Publication	Type
A dataset for suggesting variable orderings for cylindrical algebraic decompositions	2025-01-10	Paper
Counting the integer points of parametric polytopes: a Maple implementation	2025-01-10	Paper
Computing the integer points of a polyhedron	2023-03-03	Paper
Complexity estimates for Fourier-Motzkin elimination	2022-12-21	Paper
Distributed Algorithms that Solve Boolean Equations with Local and Differential Privacies	2020-02-19	Paper
A polynomial-time algorithm to compute generalized Hermite normal forms of matrices over \(\mathbb{Z} [x]\)	2019-02-14	Paper
The polyhedra library in m <scp>aple</scp>	2018-08-03	Paper
Computing the integer points of a polyhedron. I: Algorithm	2018-02-23	Paper
Computing the integer points of a polyhedron. II: Complexity estimates	2018-02-23	Paper
A modular algorithm to compute the generalized Hermite normal form for \(\mathbb{Z}[x]\)-lattices	2017-01-16	Paper

Research outcomes over time

This page was built for person: Rui-Juan Jing