Foreword. Formalization of geometry, automated and interactive geometric reasoning
scientific article