EACA 2012

XIII   Encuentro de Álgebra Computacional y Aplicaciones

Del 13–15 de Junio de 2012. Alcalá de Henares (Madrid), España.

Paraninfo de la UAH
Versión en español English version

Conferenciantes Invitados

DAVID A. COX. AMHERST COLLEGE, USA
Abstract GRÖBNER BASES: QUICK UPDATES AND EXTENDED SNAPSHOTS
ALICIA DICKENSTEIN. UNIVERSITY OF BUENOS AIRES, ARGENTINA
Abstract COMPUTATIONAL ALGEBRAIC GEOMETRY AND BIOCHEMICAL REACTION NETWORKS
JOSÉ GÓMEZ-TORRECILLAS. UNIVERSITY OF GRANADA, SPAIN
Abstract SOME COMPUTATIONAL PROBLEMS IN NONCOMMUTATIVE POLYNOMIALS
MARÍA ISABEL GONZÁLEZ. UNIVERSITY REY JUAN CARLOS, SPAIN
Abstract PRIVATE SET INTERSECTION: THE PROBLEM, SOME SOLUTIONS, AND WHAT TO DO IF SIZE MATTERS
WILLEM A. DE GRAAF. UNIVERSITY OF TRENTO, ITALY
AbstractCOMPUTING WITH ALGEBRAIC GROUPS
FRANZ WINKLER. RISC-LINZ, JOHANNES KEPLER UNIVERSITÄT, AUSTRIA
Abstract THE ROLE OF SYMBOLIC COMPUTATION IN MATHEMATICS
Regresar al inicio

Trabajos Aceptados

JUAN G. ALCÁZAR AND GEMA M. DÍAZ TOCA
Abstract ON THE SHAPE OF CURVES WHICH ARE RATIONAL IN POLAR COORDINATES
JAUME AMORÓS AND ISABEL BERNA SEPÚLVEDA
Abstract MONODROMÍA GEOMÉTRICA EN FAMILIAS DE CURVAS DE GÉNERO 4
FRANCESCO AMOROSO, LOUIS LEROUX, AND MARTÍN SOMBRA
Abstract OVERDETERMINED SYSTEMS OF LACUNARY POLYNOMIAL EQUATIONS
J. ARANSAY AND J. DIVASÓN
Abstract FORMALIZING AN ABSTRACT ALGEBRA TEXTBOOK IN ISABELLE/HOL
J. A. ARMARIO
Abstract ON TWO OPEN PROBLEMS IN HADAMARD MATRICES
I. BERMEJO, I. GARCÍA MARCO, AND E. REYES
Abstract COMPLETE INTERSECTION TORIC IDEALS ASSOCIATED TO GRAPHS
I. BERMEJO AND E. GARCÍA-LLORENTE
AbstractCASTELNUOVO-MUMFORD REGULARITY OF PROJECTIVE MONOMIAL CURVES ASSOCIATED TO ARITHMETIC SEQUENCES
FRANCISCO BOTANA AND MIGUEL A. ABÁNADES
Abstract A DEMO ON USING THE GRÖBNERCOVER ALGORITHM FOR DYNAMIC GEOMETRY TASKS
FRANCISCO BOTANA, ZOLTÁN KOVÁCS, AND SIMON WEITZHOFER
Abstract IMPLEMENTING THEOREM PROVING IN GEOGEBRA BY USING A SINGULAR WEBSERVICE (Also the auxiliary files are included in the directory "src")
MARIA BRAS-AMORÓS AND ALBERT VICO-OTON
Abstract ON NON-HOMOGENEOUS PATTERNS ON NUMERICAL SEMIGROUPS
JORGE CARAVANTES
Abstract ANTENA MARGARITA Y HODOGRAFOS PITAGÓRICOS PLANOS NODALES
J. M. CASAS, M. A. INSUA, M. LADRA, AND S. LADRA
Abstract EFFECTIVE COMPUTATION OF HOM-LEIBNIZ HOMOLOGY
MANUEL CEBALLOS, JUAN NÚÑEZ, AND ÁNGEL F. TENORIO
Abstract NEW ADVANCES IN THE DESCRIPTION OF FILIFORM LIE ALGEBRAS
OSCAR CORTADELLAS, F. J. LOBILLO, AND GABRIEL NAVARRO
Abstract PRIME FUZZY IDEALS OVER NONCOMMUTATIVE RINGS
CHRISTIAN DÖNCH
AbstractBORDER BASES FOR IDEALS IN THE RING OF DIFFERENCE OPERATORS RESPECTING ORTHANT DECOMPOSITIONS
R.M. FALCÓN
Abstract THE COMPRESSED SHAPE OF A PARTIAL LATIN RECTANGLE
MARÍA-CRUZ FERNÁNDEZ-FERNÁNDEZ
Abstract ON A FAMILY OF A_HYPERGEOMETRIC SYSTEMS WITH EXPONENTIAL RANK JUMP
JÓNATHAN HERAS, FRANCISCO-JESÚS MARTÍN-MATEOS, AND VICO PASCUAL
Abstract AN ACL2 FORMALIZATION OF ALGEBRAIC STRUCTURES
JÓNATHAN HERAS, GADEA MATA, MARÍA POZA, AND JULIO RUBIO
Abstract SYMBOLIC MANIPULATION AND BIOMEDICAL IMAGES
L. J. HERNÁNDEZ PARICIO, M. MARAÑÓN GRANDES AND M. T. RIVAS RODRÍGUEZ
AbstractPATH LIFTING METHODS AND SOLUTIONS OF UNIVARIATE POLYNOMIAL EQUATIONS
J. WILLIAM HOFFMAN AND HAOHAO WANG
Abstract QUADRATICALLY PARAMETRIZED SURFACES
A. IBRAHIM, M. FIORAVANTI, AND L. GONZALEZ-VEGA
Abstract COMPUTING PARAMETRIZATIONS OF THE BISECTOR OF TWO SURFACES
ZOLTÁN KOVÁCS, TOMÁS RECIO, AND SIMON WEITZHOFER
Abstract IMPLEMENTING THEOREM PROVING IN GEOGEBRA BY EXACT CHECK OF A STATEMENT IN A BOUNDED NUMBER OF TEST CASES (Also the auxiliary files are included in the directory "src")
IRENE MÁRQUEZ-CORBELLA AND EDGAR MARTÍNEZ-MORO
Abstract EFFICIENT COMPUTATION OF THE SET OF CODEWORDS OF MINIMAL SUPPORT
I. MÁRQUEZ-CORBELLA, E. MARTÍNEZ-MORO, AND E. SUÁREZ-CANEDO
Abstract CONSTRUCCIONES MINIMALES ASOCIADAS A CÓDIGOS CONCATENADOS GENERALIZADOS
ANTONIO MONTES
Abstract USING KAPUR-SUN-WANG ALGORITHM FOR THE GRÖBNER COVER
MARTA NARVÁEZ CLAUSS
Abstract ON THE HEIGHT OF A RATIONAL PARAMETRIZATION OF A PLANE ALGEBRAIC CURVE
SONIA PEREZ-DÍAZ, J. RAFAEL SENDRA, AND CARLOS VILLARINO
Abstract ON THE SINGULAR LOCUS OF RATIONAL SURFACE PARAMETRIZATIONS
MARTIN PETERNELL, DAVID GRUBER, AND JUANA SENDRA
Abstract RATIONAL CONCHOIDAL SURFACE CONSTRUCTION
AURELIANO M. ROBLES-PÉREZ AND JOSÉ CARLOS ROSALES
AbstractTHE FROBENIUS PROBLEM IN DIMENSION THREE
SONIA L. RUEDA
Abstract DIFFERENTIAL RESULTANTS OF SUPER ESSENTIAL SYSTEMS OF LINEAR OD-POLYNOMIALS
EDUARDO SÁENZ-DE-CABEZÓN AND HENRY P. WYNN
Abstract ALGEBRAIC ANALYSIS OF TWO-TERMINAL NETWORKS
JORDI SALUDES AND SEBASTIAN XAMBÓ
Abstract TOWARD MULTILINGUAL MECHANIZED MATHEMATICS ASSISTANTS
FRANCISCO SANTOS, LUIS FELIPE TABERA, AND THORSTEN THEOBALD
Abstract ON THE SEPARATION OF TROPICALLY CONVEX SETS
CECILIA TONELLI
AbstractF4 ALGORITHM WITH THE F5'S CRITERIA
Regresar al inicio

Programa del Martes

  Martes 12 de junio
19:00-20:30 Entrega de documentación
En el segundo patio del Rectorado de la Universidad, que es el edificio donde tendrá lugar el congreso
19:15 Vino Español
En el mismo sitio (i.e. en el segundo patio del Rectorado de la Universidad)
Regresar al inicio

Programa del Miércoles

  Miércoles 13 de junio
8:30-9:25 Registro
9:30-9:50 Ceremonia de Apertura en el Paraninfo de la Universidad
10:00-10:55
Sala A
Chair: I.Bermejo
ALICIA DICKENSTEIN. UNIVERSITY OF BUENOS AIRES, ARGENTINA
Abstract COMPUTATIONAL ALGEBRAIC GEOMETRY AND BIOCHEMICAL REACTION NETWORKS
11:00-11:25 Café
  Sala A (Chair: I.Bermejo) Sala B (Chair: M.E.Alonso)
11:30-11:55 J. Caravantes
AbstractAntena margarita y hodografos pitagóricos planos nodales
J. Heras, G. Mata, M. Poza, and J. Rubio
AbstractSymbolic manipulation and biomedical images
12:00-12:25 J. M. Casas, M. A. Insua, M. Ladra, and S. Ladra
AbstractEffective computation of Hom-Leibniz homology
L.J. Hernández, M. Marañón and M.T. Rivas
AbstractPath lifting methods and solutions of univariate polynomial equations
12:30-12:55 M. Ceballos, J. Núñez, and A. F. Tenorio
AbstractNew advances in the description of filiform Lie Algebras
F. Amoroso, L. Leroux, and M. Sombra
AbstractOverdetermined systems of lacunary polynomial equations
13:00-15:00 Comida
15:00-15:55
Sala A
Chair: J.Rubio
MARÍA ISABEL GONZÁLEZ. UNIVERSITY REY JUAN CARLOS, SPAIN
Abstract PRIVATE SET INTERSECTION: THE PROBLEM, SOME SOLUTIONS, AND WHAT TO DO IF SIZE MATTERS
  Sala A (Chair: J.Rubio) Sala B (Chair: S.Rueda)
16:00-16:25 J. Saludes and S. Xambó
AbstractToward multilingual mechanized mathematics assistants
I. Márquez-Corbella and E. Martínez-Moro
AbstractEfficient computation of the set of codewords of minimal support
16:30-16:55 Café
17:00-17:25 F. Botana and M. A. Abánades
AbstractA demo on using the GröbnerCover algorithm for dynamic geometry tasks
I. Márquez-Corbella, E. Martínez-Moro, and E. Suárez-Canedo
AbstractConstrucciones minimales asociadas a códigos concatenados generalizados
17:30-17:55 A. Montes
AbstractUsing Kapur-Sun-Wang algorithm for the Gröbner Cover
J. A. Armario
AbstractOn two open problems in Hadamard matrices
18:00-18:25 F. Botana, Z. Kovács, and S. Weitzhofer
IAbstractmplementing theorem proving in Geogebra by using a Singular webservice
Z. Kovács, T. Recio, and S. Weitzhofer
AbstractImplementing theorem proving in Geogebra by exact check of a statement in a bounded number of test cases
R.M. Falcón
AbstractThe compressed shape of a partial latin rectangle
19:00-20:00 Visita guiada a la Capilla de San Ildefonso (Capilla de la Universidad)
Regresar al inicio

Programa del Jueves

  Jueves 14 de junio
9:30-10:25
Sala A
Chair:
T.Recio
DAVID A. COX. AMHERST COLLEGE, USA
Abstract GRÖBNER BASES: QUICK UPDATES AND EXTENDED SNAPSHOTS
  Sala A (Chair: T.Recio) Sala B (Chair: P.Gimenez)
10:30-10:55 J. W. Hoffman and H. Wang
AbstractQuadratically parametrized surfaces
F. Santos, L. F. Tabera, and T. Theobald
AbstractOn the separation of tropically convex sets
11:00-11:25 Café
11:30-11:55 M. Peternell, D. Gruber, and J. Sendra
AbstractRational conchoidal surface construction
I. Bermejo, I. García, and E. Reyes
AbstractComplete intersection toric ideals associated to graphs
12:00-12:25 S. Pérez-Díaz, J. R. Sendra, and C. Villarino
AbstractOn the singular locus of rational surface parametrizations
E. Sáenz-De-Cabezón and H. P. Wynn
AbstractAlgebraic analysis of two-terminal networks
12:30-12:55 A. Ibrahim, M. Fioravanti, and l. Gonzalez-Vega
AbstractComputing parametrizations of the bisector of two surfaces
I. Bermejo and E. García-Llorente
AbstractCastelnuovo-Mumford regularity of projective monomial curves associated to arithmetic sequences
13:00-15:00 Comida
15:00-15:55
Sala A
Chair: J.Gómez
WILLEM A. DE GRAAF. UNIVERSITY OF TRENTO, ITALY
AbstractCOMPUTING WITH ALGEBRAIC GROUPS
  Sala A (Chair: J.Gómez) Sala B (Chair: M.Ladra)
16:00-16:25 C. Dönch
AbstractBorder bases for ideals in the ring of difference operators respecting orthant decompositions
C. Tonelli
AbstractF4 algorithm with F5’s criteria
16:30-16:55 Café
17:00-17:25 S. L. Rueda
AbstractDifferential resultants of super essential systems of linear OD-polynomials
J. Heras, F.J. Martín-Mateos, and V. Pascual
AbstractAn ACL2 formalization of algebraic structures
17:30-17:55 M.C. Fernández-Fernández
AbstractOn a family of A_hypergeometric systems with exponential rank jump
J. Aransay and J. Divasón
AbstractFormalizing an abstract algebra textbook in Isabelle/HOL
18:15-20:15 Visita guiada al centro histórico de Alcalá
21:30 Cena social: Restaurante "La Esquina Complutense"
Calle Angel 1 y 3- Vía Computense 33 (Alcalá)
Regresar al inicio

Programa del Viernes

  Viernes 15 de junio
9:30-10:25
Sala A
Chair: F.Castro
FRANZ WINKLER. RISC-LINZ, JOHANNES KEPLER UNIVERSITÄT, AUSTRIA
Abstract THE ROLE OF SYMBOLIC COMPUTATION IN MATHEMATICS
  Sala A (Chair: F.Castro) Sala B (Chair: A.Montes)
10:30-10:55 M. Narváez
AbstractOn the height of a rational parametrization of a plane algebraic curve
O. Cortadellas, F. J. Lobillo, and G. Navarro
AbstractPrime fuzzy ideals over noncommutative rings
11:00-11:25 Café
11:30-11:55 J. G. Alcázar and G. M. Díaz
AbstractOn the shape of curves which are rational in polar coordinates
A.M. Robles-Pérez and J.C. Rosales
AbstractThe Frobenius problem in dimension three
12:00-12:25 J. Amorós and I. Berna
AbstractMonodromía geométrica en familias de curvas de género 4
M. Bras-Amorós and A. Vico-Oton
AbstractOn non-homogeneous patterns on numerical semigroups
12:30-13:25
Sala A
Chair: A.Montes
JOSÉ GÓMEZ-TORRECILLAS. UNIVERSITY OF GRANADA, SPAIN
Abstract SOME COMPUTATIONAL PROBLEMS IN NONCOMMUTATIVE POLYNOMIALS
13:30-13:45 Clausura del congreso
13:45 Comida
Regresar al inicio

 

Home EACA 2012: http://www2.uah.es/eaca2012

Local Organization EACA 2012: eaca2012@uah.es