Hola,
¿eres nuevo aquí?

Regístrate gratis y conecta tu empresa con financiación pública, partners y proyectos.

Tengo cuenta

Regístrate

Ver video

MTM2017-88796-P

Financiado

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

01/01/2017

UNICAN

74K€

Presupuesto del proyecto: 74K€

Líder del proyecto

UNIVERSIDAD DE CANTABRIA No se ha especificado una descripción o un objeto social para esta compañía.

Total investigadores 471

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%

Participantes

UNICAN

Lider

Conecta tu I+D

¿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

MTM2008-04699-C03-01 VARIEDADES PARAMETRICAS: ALGORITMOS Y APLICACIONES 74K€ Cerrado

10000 DIGITS Foundations of transcendental methods in computational nonli... 1M€ Cerrado

MTM2014-54151-P FORMALIZACION DE LAS MATEMATICAS: APLICACIONES EN CALCULO SI... 22K€ Cerrado

MTM2015-63791-R GRAFOS Y GEOMETRIA: INTERACCIONES Y APLICACIONES 137K€ Cerrado

MTM2010-16051 FUNDAMENTOS DE MATEMATICAS COMPUTACIONALES: ADAPTABILIDAD, C... 59K€ Cerrado

MTM2012-31544 ANALISIS DE LA REPRESENTACION DE CURVAS Y SUPERFICIES, MATRI... 89K€ Cerrado

Líder del proyecto

UNIVERSIDAD DE CANTABRIA No se ha especificado una descripción o un objeto social para esta compañía.

Total investigadores 471

Presupuesto del proyecto 74K€

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

Conecta tu I+D

Entra hoy

¿Olvidé mi contraseña?

Financiación

Empresas

CTIs/Universidades

Proyectos

Investigadores