Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия, Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки
помогите показать на конкретной ГЕОМЕТРИЧЕСКОЙ задаче, как работает метод Ву
svv
Re: метод Ву
20.03.2014, 16:24
А что это?
nnosipov
Re: метод Ву
20.03.2014, 16:28
В книге Кокс Д., Литтл Дж., О'Ши Д. Идеалы, многообразия и алгоритмы. Введение в вычислительные аспекты алгебраической геометрии и коммутативной алгебры. М.: Мир, 2000. есть раздел, где рассказывается про этот метод. Или вот здесь можно посмотреть: Chou S.-C. Mechanical Geometry Theorem Proving. D. Reidel Publishing Company, Dordrecht, 1988. Примеров там море.
Alenchik27
Re: метод Ву
20.03.2014, 16:50
в каких книгах еще можно посмотреть про этот метод?