Automated practical reasoning. Algebraic approaches. With a foreword by Jim Cunningham (Q1346892)

The articles of this volume will be reviewed individually. Indexed articles: \textit{Kalkbrener, Michael}, An algorithm for solving systems of algebraic equations in three variables, 7-37 [Zbl 0837.68108] \textit{Pfalzgraf, Jochen}, On a general notion of a hull, 39-51 [Zbl 0837.68112] \textit{Pfalzgraf, Jochen; Stokkermans, Karel}, On robotics scenarios and modeling with fibered structures, 53-80 [Zbl 0939.68867] \textit{Schicho, Josef}, On algorithmic parametrization methods in algebraic geometry, 81-89 [Zbl 0853.14029] \textit{Stokkermans, Karel}, Towards a categorical calculus for critical-pair/completion, 91-124 [Zbl 0837.68041] \textit{Wall, Bernhard}, CASA: Computer algebra software for computing with algebraic sets, 125-146 [Zbl 0939.68972] \textit{Wang, Dongming}, Reasoning about geometric problems using an elimination method, 147-185 [Zbl 0855.68086] \textit{Wang, Dongming}, An implementation of the characteristic set method in maple, 187-201 [Zbl 0837.68110] \textit{Weigert, Thomas J.}, A nonmonotonic extension to Horn-clause logic, 203-220 [Zbl 0837.68113]