Numerical theorem proving by electronic computers and its application in various branches of mathematics

DOI10.1007/BF01069169zbMath0506.68074MaRDI QIDQ4743763

S. A. Yugaj, P. S. Pankov, Batjigul D. Bayachorova

Publication date: 1982

Published in: Cybernetics (Search for Journal in Brave)

Mathematics Subject Classification ID

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Substantiable evaluations by electronic computers and their application to one problem in combinatorial geometry
• Nonoscillation and Disconjugacy in the Complex Domain
• Löwnersche Differentialgleichung und quasikonform fortsetzbare schlichte Funktionen.
• Some problems in the theories of automata and artificial intelligence

This page was built for publication: Numerical theorem proving by electronic computers and its application in various branches of mathematics