Matemática e Informática Aplicadas en Ciencias e Ingeniería

ÍNDICE: 1. 2. 3. 4. 5. 6.

RELACIÓN DE DOCTORES QUE COMPONEN EL GRUPO HISTORIAL DOCENTE EN DOCTORADO TESINAS Y PROYECTOS FIN DE CARRERA PUBLICACIONES PARTICIPACIÓN EN CONGRESOS PROYECTOS DE INVESTIGACIÓN FINANCIADOS EN CONVOCATORIAS PÚBLICAS

1. RELACIÓN DE DOCTORES QUE COMPONEN EL GRUPO Matemática Aplicada en Ciencias e Ingeniería Doctores: Apellidos y nombre

Departamento

Universidad

GUIL ASENSIO, FRANCISCO DE ASIS

MATEMÁTICA APLICADA MATEMÁTICA APLICADA MATEMÁTICA APLICADA MATEMÁTICA APLICADA MATEMÁTICA APLICADA MATEMÁTICA APLICADA

UMU

Tipo vinculación T.U.

UMU

T.U.

UMU

T.E.U.

UMU

AYU

UMU

COLABORADO R C.U.

MARÍN MUÑOZ, LEANDRO FÉREZ ALCANTARA, JUAN DIAZ TOCA, GEMA MARIA GONZÁLEZ FEREZ, JUAN DE LA CRUZ FERRER MARTÍNEZ, SEBASTIÁN (Inv. Principal)

1

UMU

Matemática e Informática Aplicadas en Ciencias e Ingeniería

2. HISTORIAL DOCENTE EN DOCTORADO GRUPO

PROGRAMA INTERUNIVERSITARIO: MATEMATICA APLICADA EN CIENCIAS E INGENIERÍA. BIENIO 2000-02 PERIODO DOCENTE: 2000-01 Curso: Sistemas Dinámicos Hamiltonianos. 4 créditos Tipo F Curso: Métodos Algebraicos Aplicados a la Informática. 4 créditos. Tipo F Curso Algebra Aplicada a Encriptación y Desencriptación. 4 créditos. Tipo F PERIODO INVESTIGADOR: 2001-02 Curso: Reducciones, Equilibrios Relativos y Orbitas Periódicas en Mecánica Celeste. 6 créditos Tipo: I Curso: Matemática Discreta. 6 créditos. Tipo I Curso: Criptografía. 6 créditos. Tipo I PROGRAMA INTERUNIVERSITARIO: MATEMATICA E INFORMÁTICA APLICADAS EN CIENCIAS E INGENIERÍA. BIENIO 2001-03 PERIODO DOCENTE: 2001-02 Curso: Algebra Computacional. 3 créditos Tipo F Curso: Métodos Algebraicos Aplicados a la Informática. 4 créditos. Tipo F Curso: Criptografía. 4 créditos. Tipo F Curso: Fundamentos Geométricos de la Mecánica Clásica. Aplicaciones a Mecánica Celeste. 4 créditos. Tipo F PERIODO INVESTIGADOR: 2002-03 Curso: Reducciones, Equilibrios Relativos y Orbitas Periódicas en Mecánica Celeste. 12 créditos Tipo: I Curso: Matemática Discreta. 12 créditos. Tipo I Curso: Algebra Computacional, Criptografía y Teoría de Números. 12 créditos. Tipo I

PROGRAMA INTERUNIVERSITARIO: MATEMATICA E INFORMÁTICA APLICADAS EN CIENCIAS E INGENIERÍA. BIENIO 2002-04 PERIODO DOCENTE: 2002-03 Curso: Algebra Computacional. 5 créditos Tipo F Curso: Algebra Aplicada a la Informática. 5 créditos. Tipo F Curso: Criptografía. 5 créditos. Tipo F Curso: Fundamentos Geométricos de la Mecánica Clásica. Aplicaciones a Mecánica Celeste. 3 créditos. Tipo F PERIODO INVESTIGADOR: 2003-04 Curso: Reducciones, Equilibrios Relativos y Orbitas Periódicas en Mecánica Celeste. 12 créditos Tipo: I Curso: Matemática Discreta. 12 créditos. Tipo I Curso: Algebra Computacional y Criptografía. 12 créditos. Tipo I PROGRAMA INTERUNIVERSITARIO: MATEMATICA E INFORMÁTICA APLICADAS EN CIENCIAS E INGENIERÍA. BIENIO 2003-05 PERIODO DOCENTE: 2003-04 Curso: Algebra Computacional. 5 créditos Tipo F Curso: Algebra Aplicada a la Informática. 5 créditos. Tipo F Curso: Criptografía. 5 créditos. Tipo F Curso: Fundamentos Geométricos de la Mecánica Clásica. Aplicaciones a Mecánica Celeste. 4 créditos. Tipo F PERIODO INVESTIGADOR: 2004-05 Curso: Reducciones, Equilibrios Relativos y Orbitas Periódicas en Mecánica Celeste. 12 créditos Tipo: I Curso: Matemática Discreta. 12 créditos. Tipo I Curso: Algebra Computacional y Criptografía. 12 créditos. Tipo I

PROGRAMA INTERUNIVERSITARIO: MATEMATICA E INFORMÁTICA APLICADAS EN CIENCIAS E INGENIERÍA. BIENIO 2004-06 PERIODO DOCENTE: 2004-05 Curso: Algebra Computacional. 5 créditos Tipo F Curso: Algebra Aplicada a la Informática. 5 créditos. Tipo F Curso: Criptografía. 5 créditos. Tipo F Curso: Fundamentos Geométricos de la Mecánica Clásica. Aplicaciones a Mecánica Celeste. 4 créditos. Tipo F

PALABRAS CLAVE MATEMÁTICA APLICADA SISTEMAS DINÁMICOS HAMILTONIANOS MECÁNICA CELESTE

2

Matemática e Informática Aplicadas en Ciencias e Ingeniería

ESTRUCTURAS ALGEBRAICAS ÁLGEBRA APLICADA A LA INFORMÁTICA MATEMÁTICA COMPUTACIONAL CRIPTOGRAFÍA Y CRIPTOANÁLISIS LÍNEAS DE INVESTIGACIÓN MECANICA CELESTE Áreas UNESCO asociadas MATEMATICAS >> ANALISIS Y ANALISIS FUNCIONAL >> OTRAS ASTRONOMIA Y ASTROFISICA >> ASTRONOMIA OPTICA >> ASTRONOMIA DE POSICION FISICA >> MECANICA >> MECANICA ANALITICA CIENCIAS DE LA TIERRA Y EL ESPACIO >> GEODESIA >> GEODESIA DE SATELITES ESTRUCTURAS ALGEBRAICAS Áreas UNESCO asociadas LOGICA >> LOGICA DEDUCTIVA >> ALGEBRA DE BOOLE MATEMATICAS >> ALGEBRA >> TEORIA DE CATEGORIAS MATEMATICAS >> TEORIA DE NUMEROS >> TEORIA ALGEBRAICA DE LOS NUMEROS Áreas tecnológicas asociadas TECNOLOGIAS DE LA INFORMACION, TELECOMUNICACIONES >> CODIFICACION/DECODIFICACION TECNOLOGIAS DE LA INFORMACION, TELECOMUNICACIONES >> ENCRIPTACION TECNOLOGÍAS Y SERVICIOS QUE OFERTA ALGORITMOS MATEMÁTICOS PARA CRIPTOGRAFÍA ESTRUCTURAS ALGEBRAICAS MECÁNICA CELESTE SISTEMAS DINÁMICOS HAMILTONIANOS ÁLGEBRA APLICADA A LA INFORMÁTICA

3

Matemática e Informática Aplicadas en Ciencias e Ingeniería

3. TESINAS Y PROYECTOS FIN DE CARRERA

Título: “Cuantización Algebraica del Problema de Kepler. Utilización de Ligaduras externas al grupo de simetrías” Autor: PÉREZ PÉREZ , JOSÉ MIGUEL Director/es: GUERRERO GARCÍA, JULIO Fecha de Lectura: 24/06/2002

4. PUBLICACIONES

ARTÍCULOS: DIAZ TOCA, G.M., LAUREANO, G.V., Barnett's Theorems About the Greatest Common Divisor of Several Univariate Polynomials Through Bezout-like Matrices. JOURNAL OF SYMBOLIC COMPUTATION, VOL. 34, Nº 1, 59--81 (2002) DIAZ TOCA, G.M., GONZALEZ VEGA, L. Barnett's theorems about the greatest common divisor of several univariate polynomials through Bezout-like matrices.. JOURNAL OF SYMBOLIC COMPUTATION, VOL. 34, Nº 1, 59--81 (2002) FERRER MARTINEZ, S., HANBMANN, H., PALACIÁN SUBIELA, J., YANGUAS SAYAS, P. ON THE PERTURBED OSCILLATORS IN 1-1-1 RESONANCE: THE CASE OF AXIALLY SYMMETRIC CUBIC POTENTIALS. JOURNAL OF GEOMETRY AND PHYSICS, VOL. 40, 320--369 (2002) DIAZ TOCA, G.M., GONZALEZ VEGA, L. An explicit description for the triangular decomposition of a zerodimensional ideal through trace computations.. JOURNAL OF SYMBOLIC COMPUTATION, VOL. 286, 21--35 (2001) GARCÍA HERNANDEZ, J.L., MARIN MUÑOZ, L. MORITA THEORY FOR ASSOCIATIVE RINGS. COMMUNICATIONS IN ALGEBRA, VOL. 29, Nº 12, 5835--5856 (2001) MARIN MUÑOZ, L. Watts Theorems For Associative Rings. COMMUNICATIONS IN ALGEBRA, VOL. 29, Nº 12, 5799--5834 (2001) FERRER MARTINEZ, S., PALACIÁN SUBIELA, J., YANGUAS SAYAS, P. HAMILTONIAN OSCILLATORS IN 1-1-1 RESONANCE: NORMALIZATION AND INTEGRABILITY. JOURNAL OF NONLINEAR SCIENCE, VOL. 10, 145--152 (2000) MONDEJAR ALACID, F., FERRER MARTINEZ, S. ON THE NON-INTEGRABILITY OF THE GENERALIZED VAN DER WAALS HAMILTONIAN SYSTEM. JOURNAL OF MATHEMATICAL PHYSICS, VOL. 41, Nº 8, 5445--5452 (2000)

CAPÍTULOS DE LIBROS: FERRER MARTINEZ, S. LA MÁQUINA DEL CIELO. HOMENAJE A R. CID PALACIOS., 77--114. EN: ORBITAS DE SATÉLITES ARTIFICIALES. APLICACIONES AL POSICIONAMIENTO Y LA GEODINÁMICA.. 84-7753-918-9, 2002

4

Matemática e Informática Aplicadas en Ciencias e Ingeniería

5. PARTICIPACIÓN EN CONGRESOS

Autor: Marin, Leandro Congreso : International Conference On Algebras, Modules And Rings, Lisboa (Portugal), 2003. Título:”Topologies And Functors Between Categories Of Modules For Nonunital Rings” Autor: Marin, Leandro Congreso Primer Congreso/First Join Meeting rsme-ams, SEVILLA, 2003. Título:”Nonunital Rings, categories and topology” Autor:Gema MDíaz- Toca, Laureano Gonzalez-Vega Congreso ACA 2002, GRECIA, 2002. Título:”Triangular decomposition of a zero dimensional ideal depending on one parameter” Autor:Gema MDíaz-Toca, Laureano Gonzalez-Vega, Henri Lombardi Congreso ACA 2002, GRECIA, 2002. Título:”Solving systems of linear equiations uniformly by generalizing Cramer's Rule”. Autor:Gema MDíaz-Toca, Laureano Gonzalez-Vega Congreso Casc 2002, UCRANIA, 2002. Título:”Determining Puiseux Expansions by Hensel Lemma and Dynamic Evaluation” Autor:Gema MDíaz-Toca, Laureano Gonzalez-Vega Congreso EACA 2002, VALLADOLID, 2002. Título:”Una aproximación matricial a la Teoría de las Subresultantes” Autor: Gema M.Díaz-Toca, Laureano González-Vega Congreso ISSAC 2001, ONTARIO- CANADA, 2002. Título:”Triangular decomposition trhrough trace computations. A report on a Maple implementation” Autor: Gema MDíaz-Toca, Laureano Gonzalez-Vega Congreso EACA 2001, LA RIOJA, 2001. Título:”Cálculo de los desarrollos de Puiseux mediante el Lema de Ensel y la Evaluación Dinámica”. Autor: M. Lara, S. Ferrer, J. Martínez, J.M. Pérez Congreso IV JORNADAS DE TRABAJO EN MECÁNICA CELESTE, LA MANGA DEL MAR MENOR, 2001. Título:”Osciladores Cúbicos en resonancia 1-1-1 con simetría axial. Soluciones simples y órbitas periódicas” Autor: S. Ferrer, J.M. Pérez Congreso IV JORNADAS DE TRABAJO EN MECÁNICA CELESTE, LA MANGA DEL MAR MENOR, 2001. Título:”Extensiones Canónicas y sistemas de variables redundantes”

Autor: Gema MDíaz-Toca, Laureano Gonzalez-Vega Congreso EACA 2000, BARCELONA, 2000. Título:”Descomposición en factores libres de cuadrados de polinomios univariados paramétricos. Aplicación a la integración de funciones racionales” Autor: Gema MDíaz-Toca, Laureano Gonzalez-Vega Congreso ECCAD, LONDON (ONTARIO-CANADA), 2000. Título: ”Squarefree Decomposition of univariate polynomials depending on a real parameter”

6. PROYECTOS DE INVESTIGACIÓN FINANCIADOS EN CONVOCATORIAS PÚBLICAS

PB96-0961-C02-02 Título: “Anillos de endomorfismos y propiedades homologicas de anillos y algebras” Entidad Financiadora: Direccion General De Enseñanza Superior E Investigacion Cientifica Duración:01/12/1997-30/11/2000 Investigador Principal: García Hernandez, José Luis Otros Investigadores: ManuelSaorín Castaño Juan Martinez Hernandez Jose Asensio Mayor Claudio Busque Roca Angel Del Rio Mateos Pedro Antonio Guil Asensio Juan Jacobo Simon Pinero Alberto Del Valle Robles Leandro Marin Muñoz

5

Matemática e Informática Aplicadas en Ciencias e Ingeniería

BFM2000-0346-C02-02 Título: “Propiedades Aritméticas, Categóricas y Homológicas de anillos y algebras” Entidad Financiadora: Comisión Interministerial de Ciencia y Tecnología Duración: 20/12/2000-20/12/2003 Investigador Principal:Saorín Castaño, Manuel Otros Investigadores: García Hernandez, José Luis Angel Del Rio Mateos Juan Martinez Hernandez Jose Asensio Mayor Claudio Busque Roca Pedro Antonio Guil Asensio Juan Jacobo Simon Pinero Alberto Del Valle Robles Francisco De Asis Guil Asensio Leandro Marin Muñoz TIC2000-1673-C06-02 Título: “Reuso sencillo de requisitos del software y modelado riguroso” Entidad Financiadora: Comision Interministerial de Ciencia y Tecnologia Duración:28/12/2000-27/12/2003 Investigador Principal: Toval Alvárez, José Ambrosio Otros Investigadores: Joaquin Nicolas Ros Begoña Moros Valle José Luis Fernandez Aleman Mariano Flores Gutierrez Francisco De Asis Guil Asensio Leandro Marin Muñoz Jose Antonio Rodero Rodero Jose Ramon Hoyos Barcelo Jose Saez Martinez PI-76/00515/FS/01 Título: “Propiedades categóricas y aritméticas de anillos y algebras” Entidad Financiadora: Fundación Séneca Duración:01/01/2002-31/12/2003 Investigador Principal: Saorín Castaño, Manuel Otros Investigadores: García Hernandez, José Luis Angel Del Rio Mateos Juan Martinez Hernandez Jose Asensio Mayor Claudio Busque Roca Pedro Antonio Guil Asensio Juan Jacobo Simon Pinero Alberto Del Valle Robles Francisco De Asis Guil Asensio Leandro Marin Muñoz Manuel Ruiz Marin BFM2003-07569-C02-01 Título: “Propiedades aritméticas, categóricas y homológicas de anillos y algebras” Entidad financiadora: Ministerio de Ciencia y Tecnología Duración:01/12/2003-30/11/2006 Investigador Principal: Saorín Castaño, Manuel Otros Investigadores: García Hernandez, José Luis Angel Del Rio Mateos Juan Martinez Hernandez Jose Asensio Mayor Claudio Busque Roca Pedro Antonio Guil Asensio Juan Jacobo Simon Pinero Alberto Del Valle Robles Francisco De Asis Guil Asensio Leandro Marin Muñoz Antonio Pita Lozano

TIC2003-07804-C05-05 Título: “Pressure-Precise Software Models And Requirements Reuse” Entidad Financiadora: MINISTERIO DE CIENCIA Y TECNOLOGIA Duración:01/12/2003-30/11/2006

6

Matemática e Informática Aplicadas en Ciencias e Ingeniería

Investigador Principal: Toval Alvárez, José Ambrosio Otros Investigadores: Begoña Moros Valle José Luis Fernández Alemán Joaquín Nicolás Ros José Sáez Martines Francisco De Asís Guim Asensio Leandro Marín Muñoz José Antonio Rodero Alfonso Olmos Marín PC-MC/3/00074/FS/02 Título: “Estabilidad y control de sistemas hamiltonianos roto-traslatorios” Entidad Financiadora: Fundación Séneca Duración: 01/01/2004-31/12/2006 Investigador Principal: Ferrer Martínez, Sebastián Otros Investigadores: Juan Egea García Martín Fidel Lara Coira PROYECTOS INDUSTRIALES/PROFIT FIT-150500-2003-503 Título: “Sistema basado en Tecnologías del conocimiento y de agentes para negociación comercial” Duración:01/01/2003-31/12/2003 Investigador Principal: Martín Rubio, Fernando Otros Investigadores: Gema Maria Díaz Toca Antonio Paños Álvarez Enrique Paniagua Aris Pedro José Vivancos Vicente Juana Maria Ruiz Sánchez FIT-150500-2003-505 Título: “Sistema basado en Tecnologías del conocimiento y de la voz para ayudar a la decisión en la planificación de inversiones” Duración:01/01/2003-31/12/2003 Investigador Principal: Díaz Toca, Gema María

7