Francisco Botana

About the Author

Francisco Botana is a distinguished researcher and educator in the field of computational geometry, with a career spanning over two decades dedicated to advancing automated deduction techniques. Holding a PhD in Mathematics from the University of Santiago de Compostela, he has held academic positions at institutions across Europe, where he has mentored numerous students and collaborated on international projects exploring the intersections of geometry, algebra, and computer science. Botana's work emphasizes the development of robust software tools for geometric theorem proving and dynamic geometry environments, contributing significantly to both theoretical foundations and practical applications in education and engineering. His publications reflect a commitment to rigorous, innovative approaches that bridge classical mathematics with modern computational methods, making complex geometric problems accessible and solvable through automation.