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

DOI10.1007/BF01069169MaRDI QIDQ4743763zbMATH OpenFDO

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

Publication date 1982

Published in Cybernetics (Search for Journal in Brave)

Mathematics Subject Classification ID

Cites work

• scientific article; zbMATH DE number 3871350 (Why is no real title available?)
• scientific article; zbMATH DE number 3707668 (Why is no real title available?)
• scientific article; zbMATH DE number 3597909 (Why is no real title available?)
• Löwnersche Differentialgleichung und quasikonform fortsetzbare schlichte Funktionen.
• Nonoscillation and Disconjugacy in the Complex Domain
• Some problems in the theories of automata and artificial intelligence
• Substantiable evaluations by electronic computers and their application to one problem in combinatorial geometry

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4743763)