Application of IT in mathematical proofs and in checking of results of pupils’ research
2013
Cernenoks, J., University of Latvia, Riga (Latvia). Faculty of Physics and Mathematics | Cibulis, A., University of Latvia, Riga (Latvia). Faculty of Physics and Mathematics
In this paper attention is paid to several aspects of IT applications. Two main aspects: pupils’ scientific research in mathematics and computer checking of the results obtained in them. The second aspect is the following one, namely sometimes with the help of a computer in the data generated purposefully it is possible to succeed in seeing a key for nontrivial mathematical proofs. The number of new results having been obtained by a computer researching combinatorial geometry shapes – polyominoes and tetrads have been given. In 2012 several computer programmes for designing of tetrads were developed and, thanks to those results, we managed to find an elegant proof, namely for every n 11 there is a full polyomino tetrad made of n-omino.
显示更多 [+] 显示较少 [-]