Yuzhuo Lei

According to our database, Yuzhuo Lei authored at least 4 papers between 2024 and 2025.

Collaborative distances:

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

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

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