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
