The following pages link to Hai-Ping Ko (Q752129):
Displaying 9 items.
- A decision method for certain algebraic geometry problems (Q752130) (← links)
- Geometry theorem proving by decomposition of quasi-algebraic sets: An application of the Ritt-Wu principle (Q1118424) (← links)
- Supplement to multiplier theorems (Q1148319) (← links)
- Multiplier theorems (Q1161523) (← links)
- Intersection theorems for group divisible difference sets (Q1163557) (← links)
- (Q3772181) (← links)
- (Q3859779) (← links)
- Group Divisible Difference Sets and Their Multtplers (Q3909060) (← links)
- Lower bounds for the lengths of refutations (Q4272508) (← links)
