Skip to main content
SpringerLink
Log in

Automated Practical Reasoning

Algebraic Approaches

  • Book
  • © 1995

Overview

Editors:
  1. Jochen Pfalzgraf

    1. Research Institute for Symbolic Computation, Johannes-Kepler-University Linz, Linz, Austria

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Dongming Wang

    1. Laboratoire d’Informatique Fondamentale et d’Intelligence Artificielle, Institut National Polytechnique de Grenoble, Grenoble, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Texts & Monographs in Symbolic Computation (TEXTSMONOGR)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 74.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (10 chapters)

  1. Front Matter

    Pages i-xi
    Download chapter PDF

  2. Introduction

    • Jochen Pfalzgraf, Dongming Wang
    Pages 1-5

  3. An Algorithm for Solving Systems of Algebraic Equations in Three Variables

    • Michael Kalkbrener
    Pages 7-37

  4. On a General Notion of a Hull

    • Jochen Pfalzgraf
    Pages 39-51

  5. On Robotics Scenarios and Modeling with Fibered Structures

    • Jochen Pfalzgraf, Karel Stokkermans
    Pages 53-80

  6. On Algorithmic Parametrization Methods in Algebraic Geometry

    • Josef Schicho
    Pages 81-89

  7. Towards a Categorical Calculus for Critical-Pair/Completion

    • Karel Stokkermans
    Pages 91-124

  8. CASA: Computer Algebra Software for Computing with Algebraic Sets

    • Bernhard Wall
    Pages 125-146

  9. Reasoning about Geometric Problems using an Elimination Method

    • Dongming Wang
    Pages 147-185

  10. An Implementation of the Characteristic Set Method in Maple

    • Dongming Wang
    Pages 187-201

  11. A Nonmonotonic Extension to Horn-Clause Logic

    • Thomas J. Weigert
    Pages 203-220

  12. Back Matter

    Pages 221-227
    Download chapter PDF
Back to top

Keywords

About this book

This book is a collection of selected papers written by researchers qf our "RISC" institute (Research Institute for Symbolic Computation) along with the ESPRIT MEDLAR Project (Mechanizing Deduction in the Logics of Practical Reason­ ing). Naturally, the MEDLAR Project was and is the focal point for our institute whose main objective is the combination of foundational research in the area of symbolic computation and possible applications thereof for high-tech industrial projects. I am grateful to the director of the MEDLAR project, Jim Cunningham, for his enthusiasm, profound expertise, and continuous effort to manage a fruitful cooperation between various European working groups in the area of the project and for giving us the opportunity to be part of this challenging endeavor. I also acknowledge and feel indebted to Jochen Pfalzgraf for managing the RISC part of the MEDLAR project and to both him and Dongming Wang for editing this volume and organizing the refereeing process.

Editors and Affiliations

  • Research Institute for Symbolic Computation, Johannes-Kepler-University Linz, Linz, Austria

    Jochen Pfalzgraf

  • Laboratoire d’Informatique Fondamentale et d’Intelligence Artificielle, Institut National Polytechnique de Grenoble, Grenoble, France

    Dongming Wang

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation