Journal
Scientific and technical journal of information technologies, mechanics and optics
UDK517.98+517.11
Issue:10 (55)
Download PDF0 Kbyte
Formalized theory of hyperrational numbers is stated in the paper. The theory is used for modeling of the real and complex analysis elements in the framework of formalized number theory. The idea of such modeling comes from A. Dragalin. The result functions modeling the real and complex functions are given as an application.