This book reports recent major advances in automated reasoning in geometry. The authors
have developed a method and implemented a computer program which, for the first time …

The Handbook of Conceptual Modeling: Theory, Practice, and Research Challenges is
about the challenges faced by conceptual-modeling researchers and their successes in …

With a software library included, this book provides an elementary introduction to polynomial
elimination in practice. The library Epsilon, implemented in Maple and Java, contains more …

The parametrization problem asks for a parametrization of an implicitly given surface, in
terms of rational functions in two variables. We give an algorithm that decides if such a …

Computational methods for manipulating sets of polynomial equations are becoming of
greater importance due to the use of polynomial equations in various applications. In some …

With the introductory paragraph, we explain the fundamental concepts and basic notions of
this section. For you, the analyst, who has the difficult task to deal with measurements …

This dissertation investigates algebraic and numeric techniques to manipulate polynomial
equations and to demonstrate their application to problems in modeling and robotics. The …

The aim of mathematics mechanization is to develop symbolic algorithms for manipulating
mathematical objects, proving and discovering theorems in a mechanical way. This paper …

This paper reviews three main techniques for automated geometry diagram construction:
synthetic methods, numerical computation methods, and symbolic computation methods. We …

A rational parametrization of an algebraic curve establishes a rational correspondence of
this curve with the affine or projective line. This correspondence is a birational equivalence if …