Anzeige
Erschienen in:
1995 | OriginalPaper | Buchkapitel
CASA: Computer Algebra Software for Computing with Algebraic Sets
verfasst von : Bernhard Wall
Erschienen in: Automated Practical Reasoning
Verlag: Springer Vienna
Enthalten in: Professional Book Archive
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
In this report we want to illustrate with two examples how the program package “Computer Algebra Software for Constructive Algebraic Geometry” (CASA) (see Gebauer et al. 1991) can be used in order to reason about geometric objects defined by algebraic equations.