CASA - A System for Computer Aided Constructive Algebraic Geometry

Michael Mnuk; Franz Winkler

doi:10.1007/3-540-61697-7_31

CASA - A System for Computer Aided Constructive Algebraic Geometry

Research Institute for Symbolic Computation

Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review

Original language	English
Title of host publication	Proc. International Symposium on Design and Implementation of Symbolic Computation Systems (DISCO'96)
Editors	Jacques Calmet, Carla Limongelli
Publisher	Springer Verlag
Pages	297-307
Number of pages	11
ISBN (Print)	3540616977, 9783540616979
DOIs	https://doi.org/10.1007/3-540-61697-7_31
Publication status	Published - 1996

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	1128
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Fields of science

101 Mathematics
101001 Algebra
101005 Computer algebra
101009 Geometry
101012 Combinatorics
101013 Mathematical logic
101020 Technical mathematics

Access to Document

10.1007/3-540-61697-7_31

Cite this

Mnuk, M., & Winkler, F. (1996). CASA - A System for Computer Aided Constructive Algebraic Geometry. In J. Calmet, & C. Limongelli (Eds.), Proc. International Symposium on Design and Implementation of Symbolic Computation Systems (DISCO'96) (pp. 297-307). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1128). Springer Verlag. https://doi.org/10.1007/3-540-61697-7_31

Mnuk, Michael ; Winkler, Franz. / CASA - A System for Computer Aided Constructive Algebraic Geometry. Proc. International Symposium on Design and Implementation of Symbolic Computation Systems (DISCO'96). editor / Jacques Calmet ; Carla Limongelli. Springer Verlag, 1996. pp. 297-307 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{093b063a466c4f24bb038e1781e2de96,

title = "CASA - A System for Computer Aided Constructive Algebraic Geometry",

author = "Michael Mnuk and Franz Winkler",

year = "1996",

doi = "10.1007/3-540-61697-7\_31",

language = "English",

isbn = "3540616977",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "297--307",

editor = "Jacques Calmet and Carla Limongelli",

booktitle = "Proc. International Symposium on Design and Implementation of Symbolic Computation Systems (DISCO'96)",

}

Mnuk, M & Winkler, F 1996, CASA - A System for Computer Aided Constructive Algebraic Geometry. in J Calmet & C Limongelli (eds), Proc. International Symposium on Design and Implementation of Symbolic Computation Systems (DISCO'96). Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 1128, Springer Verlag, pp. 297-307. https://doi.org/10.1007/3-540-61697-7_31

CASA - A System for Computer Aided Constructive Algebraic Geometry. / Mnuk, Michael; Winkler, Franz.
Proc. International Symposium on Design and Implementation of Symbolic Computation Systems (DISCO'96). ed. / Jacques Calmet; Carla Limongelli. Springer Verlag, 1996. p. 297-307 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1128).

Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review

TY - GEN

T1 - CASA - A System for Computer Aided Constructive Algebraic Geometry

AU - Mnuk, Michael

AU - Winkler, Franz

PY - 1996

Y1 - 1996

UR - https://www.scopus.com/pages/publications/84947447421

U2 - 10.1007/3-540-61697-7_31

DO - 10.1007/3-540-61697-7_31

M3 - Conference proceedings

SN - 3540616977

SN - 9783540616979

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 297

EP - 307

BT - Proc. International Symposium on Design and Implementation of Symbolic Computation Systems (DISCO'96)

A2 - Calmet, Jacques

A2 - Limongelli, Carla

PB - Springer Verlag

ER -

Mnuk M, Winkler F. CASA - A System for Computer Aided Constructive Algebraic Geometry. In Calmet J, Limongelli C, editors, Proc. International Symposium on Design and Implementation of Symbolic Computation Systems (DISCO'96). Springer Verlag. 1996. p. 297-307. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/3-540-61697-7_31

CASA - A System for Computer Aided Constructive Algebraic Geometry

Publication series

Fields of science

Access to Document

Other files and links

Cite this