Información General

• Autores: Juan Rafael Sendra Pons (ed. lit.), Carlos Villarino Cabellos (ed. lit.)
• Editores: Universidad de Alcalá, Editorial Universidad de Alcalá
• Año de publicación: 2012
• País: España
• Idioma: español
• ISBN: 978-84-8138-770-4
• Recoge los contenidos presentados a: Encuentro de Algebra Computacional y Aplicaciones (13. 2012. Alcalá de Henares).
• Texto completo no disponible (Saber más ...)

Resumen

• Los encuentros EACA tienen como objetivo principal el proporcionar un marco de encuentro para investigadores en los campos del Álgebra Computacional y del Cálculo Simbólico, y para aquellos que utilizan estas técnicas de modo esencial en su investigación. Esta edición es la decimotercera, desde que en 1995 se iniciaron los encuentros (a partir de 2022 con carácter bianual). Este libro es la recopilación de los resúmenes de los trabajos presentados, en forma de conferencia, por los participantes. Se incluyen también los resúmenes de las conferencias invitadas.

Otros catálogos

• Red de Bibliotecas Universitarias (REBIUN)

Listado de artículos

• • Conferencias plenarias/Plenary Talks

    • Gröbner bases: quick updates and extended snapshots

      David A. Cox

      págs. 15-16

      

    • Computational algebraic geometry and biochemical reaction networks

      Alicia Dickenstein

      págs. 17-20

      

    • Some computational problems in noncommutative polynomials

      José Gómez Torrecillas

      págs. 21-24

      

    • Private set intersection: the problem, some solutions, and what to do if size matters

      María Isabel González Vasco

      págs. 25-28

      

    • Computing with algebraic groups

      Willem A. De Graaf

      págs. 29-32

      

    • The role of symbolic computation in mathematics

      F. Winkler

      págs. 33-34

      

    • An ACL2 formalization of algebraic structures

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

      págs. 103-106

      

    • Symbolic manipulation and biomedical images

      Jónathan Heras Vicente, Gadea Mata Martínez, María Poza López de Echazarreta, Julio Rubio García

      págs. 107-110

      

    • Path lifting methods and solutions of univariate polynomial equations

      Luis Javier Hernández Paricio, Miguel Marañon Grandes, María Teresa Rivas Rodríguez

      págs. 111-114

      

    • Quadratically parametrized surfaces

      Jerome William Hoffman, Haohao Wang

      págs. 115-118

      

    • Computing parametrizations of the bisector of two surfaces

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

      págs. 119-122

      

    • Implementing theorem proving in GeoGebra by exact check o a statement in a bounded number of test cases

      Zoltán Kovács, Tomás Jesús Recio Muñiz, Simon Weitzhofer

      págs. 123-126

      

    • Efficient computation of the set of codewords of minimal support

      Irene Márquez Corbella, Edgar Martínez Moro

      págs. 127-130

      

    • Construcciones minimales asociadas a códigos concatenados generalizados

      Irene Márquez Corbella, Edgar Martínez Moro, E. M. Suárez

      págs. 131-134

      

    • Using Kapur-Sun-Wang algorithm for the Gröbner cover

      Anton Montes Lozano

      págs. 135-138

      

    • On the height of a rational parametrization of a plane algebraic curve

      Marta Narvaez Clauss

      págs. 139-142

      

    • On the singular locus of rational surface parametrizations

      Sonia Pérez Díaz, Juan Rafael Sendra Pons, Carlos Villarino Cabellos

      págs. 143-146

      

    • Rational conchoidal surface construction

      Martín Peternell, David Gruber, Juana Sendra

      págs. 147-150

      

    • The Frobenius problem in dimension three

      Aureliano M. Robles-Pérez, José Carlos Rosales González

      págs. 151-154

      

    • Differential resultants of super essential systems of linear OD-polynomials

      Sonia L. Rueda

      págs. 155-158

      

    • Algebraic analysis of two-terminal networks

      Eduardo Sáenz de Cabezón Irigaray, Henry P. Wynn

      págs. 159-163

      

    • Toward multilingual mechanized mathematics assistants

      Jordi Saludes i Closa, Sebastián Xambó Descamps

      págs. 163-166

      

    • On the separation of tropically convex sets

      Francisco Santos, Luis Felipe Tabera Alonso, Thorsten Theobald

      págs. 167-170

      

    • F4 algorithm with the F5´s criteria

      Celia Tonelli

      págs. 171-174

      

  • Comunicaciones/Contributions

    • On the shape of curves which are rational in polar coordinates

      Juan Gerardo Alcázar Arribas, Gema María Díaz Toca

      págs. 35-38

      

    • Monodromía geométrica en familias de curva de género 4

      Jaume Amorós Torrent, Isabel Silvana Berna Sepulveda

      págs. 39-42

      

    • Overdetermined systems of lacunary polynomial equations

      Francesco Amoroso, Louis Leroux, Martín Sombra

      págs. 43-45

      

    • Formalizing an abstract algebra textbook in Isabelle/HOL

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

      págs. 47-50

      

    • On two open problems in Hadamard matrices

      José Andrés Armario Sampalo

      págs. 51-54

      

    • Complete intersection toric ideals associated to graphs

      María Isabel Bermejo Díaz, Ignacio García Marco, María Encarnación Reyes Iglesias

      págs. 55-57

      

    • Castelnouvo-Mumford regularity of projective monomial curves asociated to arithmetic sequences

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

      págs. 59-61

      

    • A demo on using the GröbnerCover algorithm for dynamic geometry tasks

      Francisco Botana Ferreiro, Miguel A. Abánades Astudillo

      págs. 63-66

      

    • Implementing theorem proving in GeoGebra by using a Singular webservice

      Francisco Botana Ferreiro, Zoltán Kovács, Simon Weitzhofer

      págs. 67-69

      

    • On non-homogeneous patterns on numerical semigroups

      Maria Bras Amorós, Albert Vico-Otón

      págs. 71-74

      

    • Antena Margarita y hodografos pitagóricos planos nodales

      Jorge Caravantes Tortajada

      págs. 75-78

      

    • Effective computation of Hom-Leibniz homology

      José María Casas Sabata, Manuel A. Insua, Manuel Ladra González, Susana Ladra

      págs. 79-82

      

    • New advances in the description of filiform Lie algebras

      Manuel Ceballos González, Juan Núñez-Valdés, Ángel Francisco Tenorio Villalón

      págs. 83-86

      

    • Prime fuzzy ideals over noncommutative rings

      Óscar Cortadellas Izquierdo, F.J. Lobillo Borrero, Gabriel Navarro Ortega

      págs. 87-90

      

    • Border bases for ideals in the ring of difference operators respecting orthant decompsitions

      Christian Donch

      págs. 91-94

      

    • The compressed shape of a partial latin rectangle

      R.M. Falcón

      págs. 95-98

      

    • On a family of A-hypergeometric systems with exponential rank jump

      María Cruz Fernández Fernández

      págs. 99-102