An improved projection operation for cylindrical algebraic decomposition

Scott McCallum*

*Corresponding author for this work

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

4 Citations (Scopus)
Original languageEnglish
Title of host publicationEUROCAL 1985 - European Conference on Computer Algebra, Proceedings
EditorsBob F. Caviness
PublisherSpringer-VDI-Verlag GmbH & Co. KG
Pages277-278
Number of pages2
ISBN (Print)9783540159841
DOIs
Publication statusPublished - 1 Jan 1985
Externally publishedYes
EventEuropean Conference on Computer Algebra, EUROCAL 1985 - Linz, Austria
Duration: 1 Apr 19853 Apr 1985

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume204 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

ConferenceEuropean Conference on Computer Algebra, EUROCAL 1985
CountryAustria
CityLinz
Period1/04/853/04/85

Cite this

McCallum, S. (1985). An improved projection operation for cylindrical algebraic decomposition. In B. F. Caviness (Ed.), EUROCAL 1985 - European Conference on Computer Algebra, Proceedings (pp. 277-278). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 204 LNCS). Springer-VDI-Verlag GmbH & Co. KG. https://doi.org/10.1007/3-540-15984-3_277