Rui-Juan Jing

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
A sampling-based method to estimate the volume of solution space for linear arithmetic constraints Journal of Systems Science and Complexity	2026-01-30	Paper
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 ACM Communications in Computer Algebra	2023-03-03	Paper
Complexity estimates for Fourier-Motzkin elimination (available as arXiv preprint)	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\)] Theoretical Computer Science	2019-02-14	Paper
The \texttt{Polyhedra} library in \textsc{Maple} ACM Communications in Computer Algebra	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] Journal of Symbolic Computation	2017-01-16	Paper

Research outcomes over time

This page was built for person: Rui-Juan Jing