Substantiable evaluations by electronic computers and their application to one problem in combinatorial geometry

DOI10.1016/0020-0190(79)90024-3zbMath0408.68082OpenAlexW1995715596MaRDI QIDQ1258611

P. S. Pankov, S. L. Dolmatov

Publication date: 1979

Published in: Information Processing Letters (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0020-0190(79)90024-3

zbMATH Keywords

Theorem ProvingCombinatorial GeometrySubstantiable Evaluation

Mathematics Subject Classification ID

Enumerative combinatorics (05A99) Discrete mathematics in relation to computer science (68R99)

Related Items (1)

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

Cites Work

• Die Newtonsche Zahl von regelmäßigen Fünfecken
• Über die Newtonsche Zahl regulärer Vielecke. (The Newtonian number of regular polygons)
• Unnamed Item

This page was built for publication: Substantiable evaluations by electronic computers and their application to one problem in combinatorial geometry