Universidad de La RiojaCampus Iberus    
 
 
Principal Correo-web Directorio Mapa web Contacto
Información para
Estudiantes
Foreign students
Antiguos alumnos
Empresas
Visitantes
PDI/PAS
Información sobre
Universidad de La Rioja
Estudios
Campus Virtual
Investigación
Facultades y Escuelas
Departamentos
Administración y Servicios
Biblioteca
Fundación de la UR
Dialnet
Actualidad
Noticias
Agenda
Congresos y jornadas
Nuevas plazas PDI/PAS
Perfil del contratante
Boletines y publicaciones
Servicio de Publicaciones

CONTRIBUCIONES CIENTÍFICAS EN HONOR DE MIRIAN ANDRÉS GÓMEZ

 
Editores: Laureano Lambán, Ana Romero y Julio Rubio
ISBN ed. electrónica: 978-84-693-3033-3
Edición:
Número de páginas: 520

INDICE

Presentación

Laureano Lambán Pardo, F.J. Martín Mateos, José Luis Ruiz Reina. Topología Simplicial en ACL2

Jesús María Aransay Azofra, Cesar Domínguez. Formalizing simplicial topology in Isabelle/ HOL and Coq

Francisco José García Izquierdo, Victor Dorado Asensio. El sistema de plantillas para navegador Yeast

Jónathan Heras, María Vico Pascual Martínez Losa. Mediated access to Symbolic Computation systems: an Openmath approach

Juan Gerardo Alcázar Arribas. Applications of level curves to some problems on algebraic surfaces

Clemens Ballarin. Tutorial to locales and locale interpretation

Manuel Bello Hernández, Judit Mínguez Ceniceros. Convexidad pseudo-uniforme en H(p)

María del Pilar Benito Clavijo, Clara Jiménez Gestal, Sara Madariaga Merino, José María Pérez Izquierdo. Acerca de una caracterización algebraica de la torsión de una conexión afín plana

A. Berciano, M.J Jiménez, R. Umble. Open questions related to A-structures in a Computational Framework

Francisco Jesús Castro Jiménez. Computer algebra and algebraic analysis

Oscar Ciaurri Ramírez, Luz Roncal Gómez, José Luis Torrea Hernández, Juan Luis Varona Malumbres. How to define the Riesz transform for Fourier-Neumann expansions?

Thierry Coquand, Arnaud Spiwack. Constructively Finite?

Gema M. Díaz Toca, Nadia Ben Atti. LU equivalence and Signatures of Bezoutians and Hankel matrices

Cesar Domínguez, Arturo Jaime Elizondo. A Project-based experience in database design learning

Eladio Domínguez Murillo, Jorge Lloret, Beatriz Pérez, Áurea Rodríguez, Angel Luis Rubio García, María Antonia Zapata. Metamodelizando para evolucionar: dos décadas de grupo nóesis

Luis Español González. Finite chain calculus in distributive lattices and elementary Krull dimension

Luis Español González, María Ángeles Martínez. Ecos matemáticos en la revista Madrid Científico a finales del siglo XIX

José Ignacio Extremiana Aldana, Luis Javier Hernández Paricio, María Teresa Rivas Rodríguez. An Approach to Dynamical Systems using Exterior Spaces

José Antonio Ezquerro Fernández, J.M. Gutiérrez, Miguel Angel Hernández Verón, Natalia Romero Álvarez, M.J. Rubio. Relaciones de recurrencia en el método de Newton-Kantorovich

Elsa García. ¿Se preserva la topología en la simplificación estadística de poblaciones de objetos 3D?

Jesús Antonio Laliena Clemente, Sara Sacristán Tobías. La teoría de Herstein y superálgebras

Víctor Lanchares Barrasa, A.I. Pascual, J.F. San Juan. Resonances and stability for a two degrees of freedom hamiltonian system from a geometric point of view

Pedro José Miana Sanz, Natalia Romero Álvarez. La historia de la conjetura de Kepler

Jesús Murillo Ramón, Petra María Arnal Gil, Guillermina Marcos Lorenzón. Competencias en matemáticas y entornos interactivos

Juan Núñez Valdés. El problema de la derivación en álgebras de Lie filiformes

Juan José Olarte Larrea. TC2: una herramienta de apoyo para las pruebas del software

Juan Rafael Sendra Pons, Luis Felipe Tabera, Carlos Villarino Cabellos, T. Recio. Manual de Hipercírculos

Eugenio Roanes Macías, Eugenio Roanes Lozano. Una invitación a analizar problemas geométricos ejecutando seudodivisiones

Ana Romero. Spectral sequences: uses, problems and computations

Eduardo Sáenz de Cabezón Irigaray. Monomial iterated mapping cones

Juana Sendra. Brief Atlas of offset curves

Francis Sergeraert. Triangulations of complex projective spaces

Servicio de publicaciones
publicaciones@adm.unirioja.es

Última modificación: 19-07-2017 11:14
¿Quiénes somos?
¿Qué hacemos?
Datos de contacto
Novedades
Catálogo de publicaciones
· Biblioteca de Investigación
· Biblioteca de Textos Latinos
· Colección de Textos Riojanos
· Colección Jurídica
· Colección Universidad-IER
· Material Didáctico
· Monografías I+D
· Tesis (microficha)
· Fuera de colección
Publicaciones digitales
Revistas
Tesis Doctorales
Distribuidores
Intercambios
Solicitud de publicación
Comisión de Publicaciones
Comentarios y Sugerencias
Sobre este web | © Universidad de La Rioja