Información General

• Autores: Jónathan Heras Vicente (coord.), Ana Romero Ibáñez (coord.)
• Editores: Universidad de La Rioja : Real Sociedad Matemática Española
• Año de publicación: 2016
• País: España
• Idioma: español
• ISBN: 978-84-608-9024-9
• Recoge los contenidos presentados a: Encuentro de Algebra Computacional y Aplicaciones (15. 2016. Logroño).
• Enlaces
  • Texto Completo Libro (pdf)

Otros catálogos

• Red de Bibliotecas Universitarias (REBIUN)

Listado de artículos

• • Foreword

    Jónathan Heras Vicente (pr.), Ana Romero Ibáñez (pr.)

    • Texto Completo Libro

    págs. 7-8

    

  • Plenary talks

    • Elimination Theory in positive characteristic

      Carlos D'Andrea

      • Texto Completo Libro

      págs. 11-12

      

    • Computational methods in the topology of algebraic varieties

      Enrique Artal Bartolo

      • Texto Completo Libro

      págs. 13-14

      

    • How to implement a category on the computer and why?

      Mohamed Barakat

      • Texto Completo Libro

      págs. 15-16

      

    • The Future of Formalised Mathematics

      Lawrence C. Paulson

      • Texto Completo Libro

      págs. 17-18

      

    • Rewriting processes, projective resolutions and ambiguities

      Andrea Solotar

      • Texto Completo Libro

      págs. 19-20

      

  • Contributed talks

    • Descubrimiento Automático en GeoGebra: primeros pasos

      Miguel A. Abánades Astudillo, Francisco Botana Ferreiro, Tomás Jesús Recio Muñiz

      • Texto Completo Libro

      págs. 23-26

      

    • Computing the medial axis for closed planar domains bounded by finitely many segments and conic arcs

      Ibrahim Adamou, Mario Alfredo Fioravanti Villanueva, Laureano González Vega

      • Texto Completo Libro

      págs. 27-30

      

    • A constructive approach to the real rank of a binary form

      Macarena Ansola, Antonio Díaz-Cano Ocaña, María Ángeles Zurro Moro

      • Texto Completo Libro

      págs. 31-34

      

    • Verified Computer Linear Algebra

      Jesús María Aransay Azofra, Jose Divasón Mallagaray

      • Texto Completo Libro

      págs. 35-38

      

    • Computing jumping numbers in higher dimensions

      Hans Baumers, Ferrán Dachs Cadefau

      • Texto Completo Libro

      págs. 39-42

      

    • Computing in Lie algebras with small number of ideals

      María del Pilar Benito Clavijo, Iván Pérez-Aradros Martínez

      • Texto Completo Libro

      págs. 43-46

      

    • Algebraic invariants of projective monomial curves associated to generalized arithmetic sequences

      María Isabel Bermejo Díaz, Eva García Llorente, Ignacio García Marco

      • Texto Completo Libro

      págs. 47-50

      

    • Noether resolutions in dimension 2

      María Isabel Bermejo Díaz, Eva García Llorente, Ignacio García Marco, Marcel Morales

      • Texto Completo Libro

      págs. 51-54

      

    • An algorithm for constructing certain differential operators in positive characteristic

      Alberto F. Boix, Alessandro De Stefani, Davide Vanzo

      • Texto Completo Libro

      págs. 55-58

      

    • Canonical Representation of Constructible Sets

      Josep Maria Brunat i Blay, Antón Montes Lozano

      • Texto Completo Libro

      págs. 59-62

      

    • A GCD algorithm by values

      Jorge Caravantes Tortajada, Gema María Díaz Toca, Henri Lombardi

      • Texto Completo Libro

      págs. 63-66

      

    • A refined algorithm for testing the Leibniz n-algebra structure

      José Manuel Casas Mirás, Manuel A. Insua, Manuel Ladra González, Susana Ladra González

      • Texto Completo Libro

      págs. 67-70

      

    • On Algebraic properties of the human ABO-Blood Group Inheritance Pattern

      José Manuel Casas Mirás, Manuel Ladra González, Bakhrom A. Omirov, Rustam Turdibaev

      • Texto Completo Libro

      págs. 71-74

      

    • On the resolution of fan algebras of principal ideals over Noetherian rings

      Teresa Cortadellas Benítez, Carlos D'Andrea, Florian Enescu

      • Texto Completo Libro

      págs. 75-78

      

    • The formalism of Rational Interpolation

      Teresa Cortadellas Benítez, Carlos D'Andrea, Mª Eulalia Montoro López

      • Texto Completo Libro

      págs. 79-82

      

    • A pseudo-matrix approach to Prüfer domains

      Gema María Díaz Toca, Henri Lombardi

      • Texto Completo Libro

      págs. 83-86

      

    • The condition number of polynomials and its relationship with a set of points on the sphere

      Ujué Etayo Rodríguez

      • Texto Completo Libro

      págs. 87-90

      

    • On the universal enveloping algebra of an n-Lie algebra

      Xabier García Martínez, Rustam Turdibaev, Tim Van der Linden

      • Texto Completo Libro

      págs. 91-92

      

    • Separability test and cyclic convolutional codes

      José Gómez Torrecillas, F.J. Lobillo Borrero, Gabriel Navarro Ortega

      • Texto Completo Libro

      págs. 93-96

      

    • Resultants and Subresultants through evaluation

      Laureano González Vega

      • Texto Completo Libro

      págs. 97-100

      

    • A Decision Algorithm for Rational General Solutions of First-Order Algebraic ODEs

      Georg Grasegger, N. Thieu Vo, F. Winkler

      • Texto Completo Libro

      págs. 101-104

      

    • Self-overlays and shape of the Julia set of a rational map

      Luis Javier Hernández Paricio, María Teresa Rivas Rodríguez

      • Texto Completo Libro

      págs. 105-108

      

    • Recent Developments in the RUBI Integration Project

      David J. Jeffrey, Albert D. Rich

      • Texto Completo Libro

      págs. 109-112

      

    • Towards a verifiable Topology of Data

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

      • Texto Completo Libro

      págs. 113-116

      

    • A numeric-symbolic algorithm for computing the Liouvillian solutions of dierential equations and systems

      Alberto Llorente Mediavilla, Jorge Mozo-Fernández

      • Resumen
      • Texto Completo Libro

      págs. 117-120

      

    • Generators of multiple failure ideals of k-out-of-n and consecutive k-out-of-n systems

      Fatemeh Mohammadi, Eduardo Sáenz de Cabezón Irigaray, James L. Wynn

      • Texto Completo Libro

      págs. 121-124

      

    • A note on Burchnall-Chaundy polynomials and differential resultants

      Juan José Morales Ruiz, Sonia L. Rueda, María Ángeles Zurro Moro

      • Texto Completo Libro

      págs. 125-128

      

    • Are all Secant Varieties of Segre Products Arithmetically Cohen-Macaulay?

      Luke Oeding

      • Texto Completo Libro

      págs. 129-132

      

    • Generating (Co)Homological Interactions within AT-model context

      Pedro Real Jurado

      • Texto Completo Libro

      págs. 133-136

      

    • Numerical semigroups: suitable sets of pseudo-Frobenius numbers

      Aureliano Matías Robles Pérez

      • Texto Completo Libro

      págs. 137-140

      

    • Simplicial Effective Homotopy

      Ana Romero Ibáñez, Francis Sergeraert

      • Texto Completo Libro

      págs. 141-144

      

    • Verificación de la eficiencia de códigos DS-LDPC aplicados a la protección de memorias de alta velocidad

      María del Rosario Rubio San Miguel, María Pilar Vélez Melón

      • Texto Completo Libro

      págs. 145-148

      

    • Gröbner bases for I1(XY)

      Joudip Saha, Indranath Sengupta, Gaurab Tripathi

      • Texto Completo Libro

      págs. 149-152

      

    • Algebraic aspects of radical parametrizations

      Juan Rafael Sendra Pons, David Sevilla González, Carlos Villarino Cabellos

      • Texto Completo Libro

      págs. 153-156