Pech (mathematics, U. of South Bohemia) gives readers the basic theories of automatic theorem proving as well as computational methods as he explains topics of elementary geometry. He describes automatic theorem proving, derivation and discovery, then... Zobraziť viac
