|
Alenchik27 |
|
|
|
помогите показать на конкретной ГЕОМЕТРИЧЕСКОЙ задаче, как работает метод Ву
|
|
|
|
 |
|
nnosipov |
|
|
|
В книге
Кокс Д., Литтл Дж., О'Ши Д. Идеалы, многообразия и алгоритмы. Введение в вычислительные аспекты алгебраической геометрии и коммутативной алгебры. М.: Мир, 2000.
есть раздел, где рассказывается про этот метод. Или вот здесь можно посмотреть:
Chou S.-C. Mechanical Geometry Theorem Proving. D. Reidel Publishing Company, Dordrecht, 1988.
Примеров там море.
|
|
|
|
|
|
Alenchik27 |
|
|
|
в каких книгах еще можно посмотреть про этот метод?
|
|
|
|
|
|
nnosipov |
|
|
в каких книгах еще можно посмотреть про этот метод? Смотрите библиографию в уже указанных.
|
|
|
|
|
