22 citations · 29 across the 5 of their papers we have counts for
5 papers
Formalizing Wu-Ritt Method in Lean 4
Yuxuan Xiao, Hao Shen, Junyu Guo +2
We formalize the Wu-Ritt characteristic set method for the triangular decomposition of polynomial systems in the Lean 4 theorem prover. Our development includes the core algebraic…
How to find G-admissible abelian coverings of a graph?
Haimiao Chen, Hao Shen
Given a finite connected simple graph , and a subgroup of its automorphism group, a general method for finding all finite abelian regular coverings of that admit a lift…
The Hamilton-Waterloo problem for Hamilton cycles and C4k-factors
Hongchuan Lei, Hung-lin Fu, Hao Shen
In this paper we give a complete solution to the Hamilton-Waterloo problem for the case of Hamilton cycles and C4k-factors for all positive integers k.
The fine intersection problem for Steiner triple systems
Yeow Meng Chee, Alan C. H. Ling, Hao Shen
The intersection of two Steiner triple systems (X,A) and (X,B) is the set A intersect B. The fine intersection problem for Steiner triple systems is to determine for each v, the se…
The PBD-Closure of Constant-Composition Codes
Yeow Meng Chee, Alan C. H. Ling, San Ling +1
We show an interesting PBD-closure result for the set of lengths of constant-composition codes whose distance and size meet certain conditions. A consequence of this PBD-closure re…