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

DOI10.1007/BF01069169zbMATH Open0506.68074MaRDI QIDQ4743763FDOQ4743763

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

• Löwnersche Differentialgleichung und quasikonform fortsetzbare schlichte Funktionen.
• Some problems in the theories of automata and artificial intelligence
• Title not available (Why is that?)
• Nonoscillation and Disconjugacy in the Complex Domain
• Title not available (Why is that?)
• Substantiable evaluations by electronic computers and their application to one problem in combinatorial geometry
• Title not available (Why is that?)

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)