Descripción del proyecto
EL OBJETIVO DE ESTE PROYECTO ES ESTUDIAR LA VIABILIDAD DE UN PAQUETE DE SOFTWARE EFICIENTE PARA EL TRATAMIENTO DE PROBLEMAS MODELIZADOS POR SISTEMAS DE ECUACIONES Y DESIGUALDADES POLINOMIALES (GEOMETRIA ALGEBRAICA EFECTIVA), LAS DESVENTAJAS HISTORICAS DE ESTA MODELIZACION SE BASAN EN LA AUSENCIA DE ALGORITMOS EFICIENTES (EN TERMINOS DE COMPLEJIDAD COMPUTACIONAL) PARA RESOLVER Y MANEJAR POLINOMIOS MULTIVARIADOS, LOS RESULTADOS RECIENTES DE ESTE EQUIPO DE INVESTIGACION HAN DEMOSTRADO QUE LOS ALGORITMOS NUMERICOS EFICIENTES EXISTEN (CF, [BP09A] Y LA SOLUCION AL PROBLEMA DECIMOSEPTIMO DE SMALE), AQUI, SE PROPONE UN DOBLE ENFOQUE, POR UNA PARTE, NOS PROPONEMOS CONTINUAR Y PROFUNDIZAR EL CONOCIMIENTO DE ESTE METODO NUMERICO, ESTUDIAREMOS LA ADAPTABILIDAD DE LOS METODOS EFICIENTES A DIVERSAS ESTRUCTURAS DE DATOS EN LA CODIFICACION DE LA ENTRADA, PROFUNDIZAR EL CONOCIMIENTO DEL NUMERO DE CONDICIONAMIENTO (MEDIANTE EL ESTUDIO DE LA VIABILIDAD DE ALGORITMOS DETERMINISTAS EFICIENTES O DE LAS GEODEISICAS EN LA METRICA DEL CONDICIONAMIENTO) Y ESTUDIAR SU APLICABILIDAD A TEORIA DE ELIMINACION APROXIMADA, POR OTRA PARTE, SE PROPONE UN NUEVO ENFOQUE CON METODOS SIMBOLICO-GEOMETRICOS BASADO EN LA IDEOLOGIA DE LA INGENIERIA DE SOFTWARE,