Recent progress in characteristic set computation: Complexty & open problems

Bhubaneswar Mishra, Gloria Gallo

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageEnglish (US)
Title of host publicationProceedings of the international workshop on mathematics mechanization, Institute of Science Systems, Academia Science, Beijing, P.R. China, July 16-18, 1992
EditorsWu Wen Tsun, Cheng Min-DE
PublisherInternational Academic Publishers
Pages28-37
StatePublished - 1992

Cite this

Mishra, B., & Gallo, G. (1992). Recent progress in characteristic set computation: Complexty & open problems. In W. W. Tsun, & C. Min-DE (Eds.), Proceedings of the international workshop on mathematics mechanization, Institute of Science Systems, Academia Science, Beijing, P.R. China, July 16-18, 1992 (pp. 28-37). International Academic Publishers.