Texts & Monographs in Symbolic Computation

Automated Practical Reasoning

Algebraic Approaches

Editors: Pfalzgraf, Jochen, Wang, Dongming (Eds.)

Buy this book

eBook $69.99
price for USA (gross)
valid through November 5, 2017
  • ISBN 978-3-7091-6604-8
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
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.

Table of contents (10 chapters)

  • Introduction

    Pfalzgraf, Jochen (et al.)

    Pages 1-5

  • An Algorithm for Solving Systems of Algebraic Equations in Three Variables

    Kalkbrener, Michael

    Pages 7-37

  • On a General Notion of a Hull

    Pfalzgraf, Jochen

    Pages 39-51

  • On Robotics Scenarios and Modeling with Fibered Structures

    Pfalzgraf, Jochen (et al.)

    Pages 53-80

  • On Algorithmic Parametrization Methods in Algebraic Geometry

    Schicho, Josef

    Pages 81-89

Buy this book

eBook $69.99
price for USA (gross)
valid through November 5, 2017
  • ISBN 978-3-7091-6604-8
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Automated Practical Reasoning
Book Subtitle
Algebraic Approaches
Editors
  • Jochen Pfalzgraf
  • Dongming Wang
Series Title
Texts & Monographs in Symbolic Computation
Copyright
1995
Publisher
Springer-Verlag Wien
Copyright Holder
Springer-Verlag Wien
eBook ISBN
978-3-7091-6604-8
DOI
10.1007/978-3-7091-6604-8
Series ISSN
0943-853X
Edition Number
1
Number of Pages
XI, 223
Number of Illustrations and Tables
1 b/w illustrations
Topics