Open AccessOn Geometrical Methods that Provide a Short Proof of Four Color Theorem
Author(s) -
Bahman Mashood
Publication year - 2015
Publication title -
american journal of mathematical analysis
Language(s) - English
Resource type - Journals
eISSN - 2333-8490
pISSN - 2333-8431
DOI - 10.12691/ajma-3-3-2
Subject(s) - de bruijn sequence , computer assisted proof , analytic proof , mathematics , fundamental theorem , discrete mathematics , proofs of fermat's little theorem , computer science , calculus (dental) , automated theorem proving , compactness theorem , mathematical proof , algorithm , geometry , fixed point theorem , medicine , dentistry