Hai-Ping Ko

Available identifiers

zbMath Open ko.hai-pingMaRDI QIDQ752129

List of research outcomes

Publication	Date of Publication	Type
Lower bounds for the lengths of refutations	1993-12-06	Paper
A decision method for certain algebraic geometry problems	1989-01-01	Paper
Geometry theorem proving by decomposition of quasi-algebraic sets: An application of the Ritt-Wu principle	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3772181	1985-01-01	Paper
Intersection theorems for group divisible difference sets	1982-01-01	Paper
Multiplier theorems	1981-01-01	Paper
Supplement to multiplier theorems	1981-01-01	Paper
Group Divisible Difference Sets and Their Multtplers	1980-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3859779	1979-01-01	Paper

Research outcomes over time

This page was built for person: Hai-Ping Ko