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

    • Seleccionado

      Gröbner bases: quick updates and extended snapshots

      David A. Cox

      págs. 15-16

      
    • Seleccionado

      Computational algebraic geometry and biochemical reaction networks

      Alicia Dickenstein

      págs. 17-20

      
    • Seleccionado

      Some computational problems in noncommutative polynomials

      José Gómez Torrecillas

      págs. 21-24

      
    • Seleccionado

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

      María Isabel González Vasco

      págs. 25-28

      
    • Seleccionado

      Computing with algebraic groups

      Willem A. de Graaf

      págs. 29-32

      
    • Seleccionado

      The role of symbolic computation in mathematics

      F. Winkler

      págs. 33-34

      
    • Seleccionado

      An ACL2 formalization of algebraic structures

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

      págs. 103-106

      
    • Seleccionado

      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

      
    • Seleccionado

      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

      
    • Seleccionado

      Quadratically parametrized surfaces

      Jerome William Hoffman, Haohao Wang

      págs. 115-118

      
    • Seleccionado

      Computing parametrizations of the bisector of two surfaces

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

      págs. 119-122

      
    • Seleccionado

      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

      
    • Seleccionado

      Efficient computation of the set of codewords of minimal support

      Irene Márquez Corbella , Edgar Martínez Moro

      págs. 127-130

      
    • Seleccionado

      Construcciones minimales asociadas a códigos concatenados generalizados

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

      págs. 131-134

      
    • Seleccionado

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

      Antón Montes Lozano

      págs. 135-138

      
    • Seleccionado

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

      Marta Narvaez Clauss

      págs. 139-142

      
    • Seleccionado

      On the singular locus of rational surface parametrizations

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

      págs. 143-146

      
    • Seleccionado

      Rational conchoidal surface construction

      Martín Peternell, David Gruber, Juana Sendra

      págs. 147-150

      
    • Seleccionado

      The Frobenius problem in dimension three

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

      págs. 151-154

      
    • Seleccionado

      Differential resultants of super essential systems of linear OD-polynomials

      Sonia L. Rueda

      págs. 155-158

      
    • Seleccionado

      Algebraic analysis of two-terminal networks

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

      págs. 159-163

      
    • Seleccionado

      Toward multilingual mechanized mathematics assistants

      Jordi Saludes i Closa , Sebastián Xambó Descamps

      págs. 163-166

      
    • Seleccionado

      On the separation of tropically convex sets

      Francisco Santos , Luis Felipe Tabera Alonso , Thorsten Theobald

      págs. 167-170

      
    • Seleccionado

      F4 algorithm with the F5´s criteria

      Celia Tonelli

      págs. 171-174

      

  • Comunicaciones/Contributions

    • Seleccionado

      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

      
    • Seleccionado

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

      Jaume Amorós Torrent , Isabel Silvana Berna Sepulveda

      págs. 39-42

      
    • Seleccionado

      Overdetermined systems of lacunary polynomial equations

      Francesco Amoroso, Louis Leroux, Martín Sombra

      págs. 43-45

      
    • Seleccionado

      Formalizing an abstract algebra textbook in Isabelle/HOL

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

      págs. 47-50

      
    • Seleccionado

      On two open problems in Hadamard matrices

      José Andrés Armario Sampalo

      págs. 51-54

      
    • Seleccionado

      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

      
    • Seleccionado

      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

      
    • Seleccionado

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

      Francisco Botana Ferreiro , Miguel A. Abánades Astudillo

      págs. 63-66

      
    • Seleccionado

      Implementing theorem proving in GeoGebra by using a Singular webservice

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

      págs. 67-69

      
    • Seleccionado

      On non-homogeneous patterns on numerical semigroups

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

      págs. 71-74

      
    • Seleccionado

      Antena Margarita y hodografos pitagóricos planos nodales

      Jorge Caravantes Tortajada

      págs. 75-78

      
    • Seleccionado

      Effective computation of Hom-Leibniz homology

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

      págs. 79-82

      
    • Seleccionado

      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

      
    • Seleccionado

      Prime fuzzy ideals over noncommutative rings

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

      págs. 87-90

      
    • Seleccionado

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

      Christian Donch

      págs. 91-94

      
    • Seleccionado

      The compressed shape of a partial latin rectangle

      R.M. Falcón

      págs. 95-98

      
    • Seleccionado

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

      María Cruz Fernández Fernández

      págs. 99-102