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

• • Presentación

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

    • Texto completo

    pág. 1

    

  • 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

    

  • Formalizing simplicial topology in Isabelle/ HOL and Coq

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

    • Texto completo

    págs. 21-41

    

  • El sistema de plantillas para navegador Yeast

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

    • Texto completo

    págs. 43-83

    

  • 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

    

  • Applications of level curves to some problems on algebraic surfaces

    Juan Gerardo Alcázar Arribas

    • Texto completo

    págs. 105-121

    

  • Tutorial to locales and locale interpretation

    Clemens Ballarin

    • Texto completo

    págs. 123-140

    

  • Convexidad pseudo-uniforme en H(p)

    Manuel Bello Hernández, Judit Mínguez Ceniceros

    • Texto completo

    págs. 141-156

    

  • 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

    

  • 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

    

  • Computer algebra and algebraic analysis

    Francisco Jesús Castro Jiménez

    • Texto completo

    págs. 179-201

    

  • 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

    

  • Constructively finite?

    Thierry Coquand, Arnaud Spiwack

    • Texto completo

    págs. 217-230

    

  • LU equivalence and signatures of Bezoutians and Hankel matrices

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

    • Texto completo

    págs. 231-241

    

  • A project-based experience in database design learning

    César Domínguez, Arturo Jaime Elizondo

    • Texto completo

    págs. 243-262

    

  • 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

    

  • Finite chain calculus in distributive lattices and elementary Krull dimension

    Luis Español González

    • Texto completo

    págs. 273-285

    

  • 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

    

  • 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

    

  • 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

    

  • ¿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

    

  • La teoría de Herstein y superálgebras

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

    • Texto completo

    págs. 345-354

    

  • 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

    

  • La historia de la conjetura de Kepler

    Pedro José Miana Sanz, Natalia Romero Álvarez

    • Texto completo

    págs. 367-374

    

  • 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

    

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

    Juan Núñez-Valdés

    • Texto completo

    págs. 403-410

    

  • TC2: una herramienta de apoyo para las pruebas del software

    Juan José Olarte Larrea

    • Texto completo

    págs. 411-415

    

  • 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

    

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

    Eugenio Roanes Macías, Eugenio Roanes Lozano

    • Texto completo

    págs. 439-449

    

  • Spectral sequences: uses, problems and computations

    Ana Romero Ibáñez

    • Texto completo

    págs. 451-469

    

  • Monomial iterated mapping cones

    Eduardo Sáenz de Cabezón Irigaray

    • Texto completo

    págs. 471-481

    

  • Brief atlas of offset curves

    Juana Sendra

    • Texto completo

    págs. 483-505

    

  • Triangulations of complex projective spaces

    Francis Sergeraert

    • Texto completo

    págs. 507-519