Información General

• Autores: Laureano Lambán Pardo (coord.) , Ana Romero Ibáñez (coord.) , Julio Rubio García (coord.) , Mirian Andrés Gómez (hom.)
• Editores: Universidad de La Rioja
• Año de publicación: 2010
• País: España
• Idioma: español
• ISBN: 978-84-96487-50-5, 978-84-693-3033-3
• Texto completo no disponible (Saber más ...)

Otros catálogos

• Red de Bibliotecas Universitarias (REBIUN)

Listado de artículos

• • Seleccionado

    Presentación

    Laureano Lambán Pardo , Ana Romero Ibáñez , Julio Rubio García

    • Texto completo

    pág. 1

    
  • Seleccionado

    Topología simplicial en ACL2

    Laureano Lambán Pardo , Francisco Jesús Martín Mateos , José Luis Ruiz Reina

    • Texto completo

    págs. 1-19

    
  • Seleccionado

    Formalizing simplicial topology in Isabelle/ HOL and Coq

    Jesús María Aransay Azofra , César Domínguez

    • Texto completo

    págs. 21-41

    
  • Seleccionado

    El sistema de plantillas para navegador Yeast

    Francisco José García Izquierdo , Víctor Dorado Asensio

    • Texto completo

    págs. 43-83

    
  • Seleccionado

    Mediated access to Symbolic Computation systems: an Openmath approach

    Jónathan Heras Vicente , María Vico Pascual Martínez-Losa

    • Texto completo

    págs. 85-104

    
  • Seleccionado

    Applications of level curves to some problems on algebraic surfaces

    Juan Gerardo Alcázar Arribas

    • Texto completo

    págs. 105-121

    
  • Seleccionado

    Tutorial to locales and locale interpretation

    Clemens Ballarin

    • Texto completo

    págs. 123-140

    
  • Seleccionado

    Convexidad pseudo-uniforme en H(p)

    Manuel Bello Hernández , Judit Mínguez Ceniceros

    • Texto completo

    págs. 141-156

    
  • Seleccionado

    Acerca de una caracterización algebraica de la torsión de una conexión afín plana

    María del Pilar Benito Clavijo , Clara Jiménez Gestal , Sara Madariaga Merino, José María Pérez Izquierdo

    • Texto completo

    págs. 157-169

    
  • Seleccionado

    Open questions related to A-structures in a Computational Framework

    Ainhoa Berciano Alcaraz , María José Jiménez Rodríguez , Ronald N. Umble

    • Texto completo

    págs. 171-177

    
  • Seleccionado

    Computer algebra and algebraic analysis

    Francisco Jesús Castro Jiménez

    • Texto completo

    págs. 179-201

    
  • Seleccionado

    How to define the Riesz transform for Fourier-Neumann expansions?

    Óscar Ciaurri Ramírez , Luz Roncal Gómez , José Luis Torrea Hernández , Juan Luis Varona Malumbres

    • Texto completo

    págs. 203-215

    
  • Seleccionado

    Constructively finite?

    Thierry Coquand, Arnaud Spiwack

    • Texto completo

    págs. 217-230

    
  • Seleccionado

    LU equivalence and signatures of Bezoutians and Hankel matrices

    Gema María Díaz Toca , Nadia Ben Atti

    • Texto completo

    págs. 231-241

    
  • Seleccionado

    A project-based experience in database design learning

    César Domínguez , Arturo Jaime Elizondo

    • Texto completo

    págs. 243-262

    
  • Seleccionado

    Metamodelizando para evolucionar: dos décadas de grupo nóesis

    Eladio Domínguez Murillo , Jorge Lloret Gazo , Beatriz Pérez Valle , Aurea Rodríguez Villanueva, Ángel Luis Rubio García , Maria Antonia Zapata Abad

    • Texto completo

    págs. 263-272

    
  • Seleccionado

    Finite chain calculus in distributive lattices and elementary Krull dimension

    Luis Español González

    • Texto completo

    págs. 273-285

    
  • Seleccionado

    Ecos matemáticos en la revista Madrid Científico a finales del siglo XIX

    Luis Español González , María Ángeles Martínez García

    • Texto completo

    págs. 287-306

    
  • Seleccionado

    An approach to dynamical systems using exterior spaces

    José Ignacio Extremiana Aldana , Luis Javier Hernández Paricio , María Teresa Rivas Rodríguez

    • Texto completo

    págs. 307-318

    
  • Seleccionado

    Relaciones de recurrencia en el método de Newton-Kantorovich

    José Antonio Ezquerro Fernández , José Manuel Gutiérrez Jiménez , Miguel Angel Hernández Verón , Natalia Romero Álvarez , María Jesús Rubio

    • Texto completo

    págs. 319-333

    
  • Seleccionado

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

    Elsa García Ibáñez

    • Texto completo

    págs. 335-344

    
  • Seleccionado

    La teoría de Herstein y superálgebras

    Jesús Antonio Laliena Clemente , Sara Sacristán Tobías

    • Texto completo

    págs. 345-354

    
  • Seleccionado

    Resonances and stability for a two degrees of freedom hamiltonian system from a geometric point of view

    Víctor Lanchares Barrasa , Ana Isabel Pascual Lería , Juan Félix San Juan Díaz

    • Texto completo

    págs. 355-366

    
  • Seleccionado

    La historia de la conjetura de Kepler

    Pedro José Miana Sanz , Natalia Romero Álvarez

    • Texto completo

    págs. 367-374

    
  • Seleccionado

    Competencias en matemáticas y entornos interactivos

    Jesús Murillo Ramón , Petra María Arnal Gil, Guillermina Marcos Lorenzón

    • Texto completo

    págs. 375-401

    
  • Seleccionado

    El problema de la derivación en álgebras de Lie filiformes

    Juan Núñez-Valdés

    • Texto completo

    págs. 403-410

    
  • Seleccionado

    TC2: una herramienta de apoyo para las pruebas del software

    Juan José Olarte Larrea

    • Texto completo

    págs. 411-415

    
  • Seleccionado

    Manual de hipercírculos

    Tomás Jesús Recio Muñiz , Juan Rafael Sendra Pons , Luis Felipe Tabera Alonso , Carlos Villarino Cabellos

    • Texto completo

    págs. 417-437

    
  • Seleccionado

    Una invitación a analizar problemas geométricos ejecutando seudodivisiones

    Eugenio Roanes Macías , Eugenio Roanes Lozano

    • Texto completo

    págs. 439-449

    
  • Seleccionado

    Spectral sequences: uses, problems and computations

    Ana Romero Ibáñez

    • Texto completo

    págs. 451-469

    
  • Seleccionado

    Monomial iterated mapping cones

    Eduardo Sáenz de Cabezón Irigaray

    • Texto completo

    págs. 471-481

    
  • Seleccionado

    Brief atlas of offset curves

    Juana Sendra

    • Texto completo

    págs. 483-505

    
  • Seleccionado

    Triangulations of complex projective spaces

    Francis Sergeraert

    • Texto completo

    págs. 507-519