Foreword - Formalization of geometry, automated and interactive geometric reasoning