Introduction

GeoData focuses on research topics of creating and managing an amount of geometric knowledge data, including

- analysis of the structure of geometric knowledge data;
- identification of meta-knowledge;
- design of geometric knowledge bases;
- retrieval of knowledge data.

GeoData is a website to help you find geometry theorems. Just input the keywords of these theorems, you can obtain the detail. Name, statement both in English and Chinese, and picture of each theorem are presented.

For example, you can input 'butterfly' to find the butterfly theorem or input 'circle line' and 'midpoint' to shorten the range.

If you are not sure how to use, please click the Advance Search. And also you can click Example to see all the theorems we collect.