Automated Practical Reasoning - Texts and Monographs in Symbolic Computation
Latest Publications

TOTAL DOCUMENTS

10

(FIVE YEARS 0)

H-INDEX

3

(FIVE YEARS 0)

Published By Springer Vienna

9783211826003, 9783709166048

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

An Implementation of the Characteristic Set Method in Maple

Automated Practical Reasoning - Texts and Monographs in Symbolic Computation ◽

10.1007/978-3-7091-6604-8_9 ◽

1995 ◽

pp. 187-201 ◽

Author(s):

Dongming Wang

Keyword(s):

Characteristic Set ◽

Characteristic Set Method

Download Full-text

Reasoning about Geometric Problems using an Elimination Method

Automated Practical Reasoning - Texts and Monographs in Symbolic Computation ◽

10.1007/978-3-7091-6604-8_8 ◽

1995 ◽

pp. 147-185 ◽

Author(s):

Dongming Wang

Keyword(s):

Elimination Method ◽

Geometric Problems

Download Full-text

Towards a Categorical Calculus for Critical-Pair/Completion

Automated Practical Reasoning - Texts and Monographs in Symbolic Computation ◽

10.1007/978-3-7091-6604-8_6 ◽

1995 ◽

pp. 91-124 ◽

Author(s):

Karel Stokkermans

Keyword(s):

Download Full-text

On a General Notion of a Hull

Automated Practical Reasoning - Texts and Monographs in Symbolic Computation ◽

10.1007/978-3-7091-6604-8_3 ◽

1995 ◽

pp. 39-51

Author(s):

Jochen Pfalzgraf

Keyword(s):

Download Full-text

Introduction

Automated Practical Reasoning - Texts and Monographs in Symbolic Computation ◽

10.1007/978-3-7091-6604-8_1 ◽

1995 ◽

pp. 1-5

Author(s):

Jochen Pfalzgraf ◽

Dongming Wang

Download Full-text

On Algorithmic Parametrization Methods in Algebraic Geometry

Automated Practical Reasoning - Texts and Monographs in Symbolic Computation ◽

10.1007/978-3-7091-6604-8_5 ◽

1995 ◽

pp. 81-89 ◽

Author(s):

Josef Schicho

Keyword(s):

Algebraic Geometry

Download Full-text

A Nonmonotonic Extension to Horn-Clause Logic

Automated Practical Reasoning - Texts and Monographs in Symbolic Computation ◽

10.1007/978-3-7091-6604-8_10 ◽

1995 ◽

pp. 203-220

Author(s):

Thomas J. Weigert

Keyword(s):

Download Full-text

CASA: Computer Algebra Software for Computing with Algebraic Sets

Automated Practical Reasoning - Texts and Monographs in Symbolic Computation ◽

10.1007/978-3-7091-6604-8_7 ◽

1995 ◽

pp. 125-146

Author(s):

Bernhard Wall

Keyword(s):

Computer Algebra ◽

Algebraic Sets ◽

Computer Algebra Software

Download Full-text

An Algorithm for Solving Systems of Algebraic Equations in Three Variables

Automated Practical Reasoning - Texts and Monographs in Symbolic Computation ◽

10.1007/978-3-7091-6604-8_2 ◽

1995 ◽

pp. 7-37

Author(s):

Michael Kalkbrener

Keyword(s):

Algebraic Equations

Download Full-text

On Robotics Scenarios and Modeling with Fibered Structures

Automated Practical Reasoning - Texts and Monographs in Symbolic Computation ◽

10.1007/978-3-7091-6604-8_4 ◽

1995 ◽

pp. 53-80 ◽

Author(s):

Jochen Pfalzgraf ◽

Karel Stokkermans

Download Full-text