Universidad de La Rioja  
   
 
             
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
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
 

 

 

 

pie
Política de privacidad | Sobre este web | © Universidad de La Rioja
Grupo 9 de universidades CRUE Santander Universidades Universia Santander Universidades