Login / Signup
Rui-Juan Jing
ORCID
Publication Activity (10 Years)
Years Active: 2016-2024
Publications (10 Years): 16
Top Topics
Integer Points
Convex Hull
Normal Form
Davis Putnam Logemann Loveland
Top Venues
CASC
CoRR
ACM Commun. Comput. Algebra
ISSAC
</>
Publications
</>