Mechanical Theorem Proving in Geometries
Basic Principles
Übersetzer: Wang, D.; Jin, X.
PAYBACK Punkte
20 °P sammeln!
Dieses Buch ist eine Übersetzung des epochemachenden Werkes über maschinelles geometrisches Beweisen von Professor Wu, das 1984 auf Chinesisch erschienen ist. Inzwischen ist Wus Methode für das maschinelle geometrische Beweisen, die auf dem Konzept der charakteristischen Mengen basiert, eine der fundamentalen, auch praktisch erfolgreichen Methoden in diesem Gebiet geworden. In der Tat hat diese Methode den Bereich dessen, was automatisch bewiesen werden kann, drastisch erweitert.
Andere Kunden interessierten sich für
