Mechanical Proving for ERD™S-SZEKERES Problem

DOI

10.2991/icaset-16.2016.9How to use a DOI?

Keywords

Erd”s-Szekeres problem, Automated deduction, Mechanical proving

Abstract

The Erd”s-Szekeres problem was an open unsolved problem in computational geometry and related fields from 1935. Many results about it have been shown. The main concern of this paper is not only show how to prove this problem with automated deduction methods and tools but also contribute to the significance of automated theorem proving in mathematics using advanced computing technology. The present case is engaged in contributing to prove or disprove this conjecture and then solve this problem. The key advantage of our method is to utilize the mechanical proving instead of the traditional proof and this method could improve the arithmetic efficiency.

Copyright

© 2016, the Authors. Published by Atlantis Press.

Open Access

This is an open access article distributed under the CC BY-NC license (http://creativecommons.org/licenses/by-nc/4.0/).

Download article (PDF)

TY  - CONF
AU  - Meijing Shan
PY  - 2016/05
DA  - 2016/05
TI  - Mechanical Proving for ERD™S-SZEKERES Problem
BT  - Proceedings of the 2016 6th International Conference on Applied Science, Engineering and Technology
PB  - Atlantis Press
SP  - 49
EP  - 53
SN  - 2352-5401
UR  - https://doi.org/10.2991/icaset-16.2016.9
DO  - 10.2991/icaset-16.2016.9
ID  - Shan2016/05
ER  -