El método de Wu es poderoso para la prueba de teoremas completos en geometría elemental y proporciona un proceso de decisión mecánico para ciertas clases de problemas.
El método de Wu es poderoso para la prueba completa de teoremas en geometría elemental y proporciona un proceso de decisión mecánico para ciertas clases de problemas.