EACA 2012

XIII   Encuentro de Álgebra Computacional y Aplicaciones

June 13th–15th, 2012. Alcalá de Henares (Madrid), Spain.

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

Invited Speakers

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
Go back

Accepted Papers

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
Go back

Tuesday's Program

  Tuesday, June 12
19:00-20:30 Registration
In the second yard of the "Rectorado de la Universidad", that is the building where the conference will take place
19:15 Wellcome meeting
At the same place (i.e. second yard of the "Rectorado de la Universidad")
Go back

Wednesday's Program

  Wednesday, June 13
8:30-9:25 Registration
9:30-9:50 Opening Ceremony at Paraninfo of the University
10:00-10:55
Room A
Chair: I.Bermejo
ALICIA DICKENSTEIN. UNIVERSITY OF BUENOS AIRES, ARGENTINA
Abstract COMPUTATIONAL ALGEBRAIC GEOMETRY AND BIOCHEMICAL REACTION NETWORKS
11:00-11:25 Coffee Break
  Room A (Chair: I.Bermejo) Room 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 Lunch
15:00-15:55
Room 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
  Room A (Chair: J.Rubio) Room 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 Coffee Break
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 Guided visit to the Historical Chapel of San Ildefonso (University's Chapel)
Go back

Thursday's Program

  Thursday, June 14
9:30-10:25
Room A
Chair:
T.Recio
DAVID A. COX. AMHERST COLLEGE, USA
Abstract GRÖBNER BASES: QUICK UPDATES AND EXTENDED SNAPSHOTS
  Room A (Chair: T.Recio) Room 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 Coffee Break
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 Lunch
15:00-15:55
Room A
Chair: J.Gómez
WILLEM A. DE GRAAF. UNIVERSITY OF TRENTO, ITALY
AbstractCOMPUTING WITH ALGEBRAIC GROUPS
  Room A (Chair: J.Gómez) Room 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 Coffee Break
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 Guided tour of the historic center of Alcalá
21:30 Social dinner: Restaurante "La Esquina Complutense"
Calle Angel 1 y 3- Vía Complutense, 33 (Alcalá)
Go back

Friday's Program

  Friday, June 15
9:30-10:25
Room A
Chair: F.Castro
FRANZ WINKLER. RISC-LINZ, JOHANNES KEPLER UNIVERSITÄT, AUSTRIA
Abstract THE ROLE OF SYMBOLIC COMPUTATION IN MATHEMATICS
  Room A (Chair: F.Castro) Room 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 Coffee Break
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
Room A
Chair: A.Montes
JOSÉ GÓMEZ-TORRECILLAS. UNIVERSITY OF GRANADA, SPAIN
Abstract SOME COMPUTATIONAL PROBLEMS IN NONCOMMUTATIVE POLYNOMIALS
13:30-13:45 Closing of the conference
13:45 Lunch
Go back

 

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

Local Organization EACA 2012: eaca2012@uah.es