COMPUTACION SIMBOLICA: NUEVOS RETOS EN ALGEBRA Y GEOMETRIA Y SUS APLICACIONES
EN ESTE PROYECTO, PARTIENDO DE DIFERENTES TECNICAS DE COMPUTACION SIMBOLICA (EXISTENTES O DESARROLLADAS AD-HOC), SE ANALIZARAN DIFERENTES PROBLEMAS EN ALGEBRA Y GEOMETRIA JUNTO CON SUS APLICACIONES DENTRO Y FUERA DE LAS MATEMATICA...
ver más
Fecha límite participación
Sin fecha límite de participación.
Financiación
concedida
El organismo AGENCIA ESTATAL DE INVESTIGACIÓN notifico la concesión del proyecto
el día 2017-01-01
No tenemos la información de la convocatoria
0%
100%
Información adicional privada
No hay información privada compartida para este proyecto. Habla con el coordinador.
¿Tienes un proyecto y buscas un partner? Gracias a nuestro motor inteligente podemos recomendarte los mejores socios y ponerte en contacto con ellos. Te lo explicamos en este video
Proyectos interesantes
A3
Algebraic Algorithms and Applications
100K€
Cerrado
MTM2010-16051
FUNDAMENTOS DE MATEMATICAS COMPUTACIONALES: ADAPTABILIDAD, C...
59K€
Cerrado
10000 DIGITS
Foundations of transcendental methods in computational nonli...
1M€
Cerrado
Fecha límite de participación
Sin fecha límite de participación.
Descripción del proyecto
EN ESTE PROYECTO, PARTIENDO DE DIFERENTES TECNICAS DE COMPUTACION SIMBOLICA (EXISTENTES O DESARROLLADAS AD-HOC), SE ANALIZARAN DIFERENTES PROBLEMAS EN ALGEBRA Y GEOMETRIA JUNTO CON SUS APLICACIONES DENTRO Y FUERA DE LAS MATEMATICAS, EN ALGEBRA, Y BAJO LA PERSPECTIVA DE LA COMPUTACION SIMBOLICA, SE ANALIZARAN DIVERSOS PROBLEMAS EN EL AMBITO DEL ALGEBRA LINEAL SIMBOLICA (LINEARIZACION DE MATRICES POLINOMIALES, (B,C)-INVERSAS GENERALIZADAS Y MAXIMO COMUN DIVISOR DE POLINOMIOS CON COEFICIENTES APROXIMADOS), SE ESTUDIARAN CUESTIONES EN ALGEBRA TROPICAL (DISCRIMINANTES TROPICALES EN CARACTERISTICA POSITIVA Y EN EL CASO P-ADICO) Y SE DESARROLLARAN NUEVAS TECNICAS QUE PERMITAN UNA MAS EFICAZ MANIPULACION DE LAS ECUACIONES CUYA RESOLUCION ES LA BASE DE LOS SISTEMAS DE GEOMETRIA DINAMICA (EN PARTICULAR, GEOGEBRA),EN GEOMETRIA, Y BAJO LA PERSPECTIVA DE LA COMPUTACION SIMBOLICA, SE REALIZARA UN ANALISIS DETALLADO DE LAS POSIBLES MEJORAS COMPUTACIONALES QUE PUEDEN AÑADIRSE A LA REPRESENTACION PARAMETRICA DE UN CONJUNTO ALGEBRAICO BIEN POR SIMPLIFICAR LA PARAMETRIZACION RACIONAL DADA BIEN POR INTRODUCIR NUEVAS FUNCIONES ELEMENTALES EN LA PARAMETRIZACION (COMO FUNCIONES ALGEBRAICAS), SE BUSCARAN ALGORITMOS PARA DETERMINAR LAS TRANSFORMACIONES QUE DEJAN INVARIANTE UN CONJUNTO ALGEBRAICO Y SE DESARROLLARAN TECNICAS QUE PERMITAN DETERMINAR LA TOPOLOGIA DE DISTINTAS CONFIGURACIONES, TANTO ESTATICAS COMO DINAMICAS, DE CURVAS Y SUPERFICIES REALES,FINALMENTE, Y COMO APLICACION DE TODO LO ANTERIOR, SE CENTRARA LA ATENCION EN EL TRATAMIENTO DE IMAGENES EN VISION POR ORDENADOR, EN EL ANALISIS DEL DENOMINADO POINT POSITIONING PROBLEM EN EL CONTEXTO DEL MODELADO DE SISTEMAS GLOBALES DE NAVEGACION POR SATELITE, EN EL DESARROLLO DE NUEVAS HERRAMIENTAS PARA EL RAZONAMIENTO AUTOMATICO EN GEOMETRIA Y EN LA DEFINICION DE NUEVOS ESQUEMAS DE MECANIZADO CNC (COMPUTER NUMERICALLY CONTROLLED) PARA LA DEFINICION DE TRAYECTORIAS BASADAS EN LA ACTUACION DE HERRAMIENTAS DE TIPO CONICO, MATRICES POLINOMIALES\CURVAS Y SUPERFICIES ALGEBRAICAS\PARAMETRIZACIONES\VISIÓN\RAZONAMIENTO AUTOMÁTICO EN GEOMETRÍA\GPS