List of Accepted Contributions

• Session 0: General Session on Computer Algebra
  
  
  1. A New Criterion for the Existence of Real Zeros of Polynomial Systems
     Jin-San Cheng
  
  
  2. Computations of Gröbner-Shirshov Basis and Reduced Words for Affine Weyl Group Ã_n using Mathematica
     Erol Yılmaz, Cenap Özel, Ugur Ustaoglu
  
  
  3. Planar arrangements and singular algebraic surfaces
     Juan García Escudero
  
  
  
  
• Session 1: Computer Algebra in Education
  
  
  1. Computer Algebra - the engine of transition to activity-based approach in mathematics education
     Elena Varbanova, Elena Shoikova
  
  
  2. CAS: A Tool for Improving Autonomous Work
     Alfonsa García, Francisco García, Ángel Martín del Rey, Gerardo Rodríguez, Agustín de la Villa
  
  
  3. Assessing Mathematical Content in a Technology Environment Discussion Panel (1 hour)
     Ángel Homero Flores
  
  
  4. In praise of rectangular systems
     David Jeffrey
  
  
  5. Investigating Magic Squares in a Linear Algebra Course
     Karsten Schmidt
  
  
  6. Polynomial Systems Solving with Nspire CAS (Part I, Part II) (1 hour)
     Michel Beaudin, Gilles Picard, Geneviève Savard
  
  
  7. Omega - a free online Computer Algebra System Explorer
     Michael Xue
  
  
  8. Some maths problems for the average citizen
     Eugenio Roanes-Lozano, Justo Cabezas-Corchero
  
  
  9. Using Computer Algebra in Mathematics for Engineers
     Thomas Westermann
  
  
  10. Global application of CAS tools for teaching in Computer Engineering degrees
      Santiago Cárdenas, Inmaculada Fortes, Inmaculada Pérez de Guzmán, Sixto Sánchez, Agustín Valverde
  
  
  
  
• Session 2: Computer Algebra for Dynamical Systems and Celestial Mechanics
  
  
  1. The Study of Isochronicity and Critical Period Bifurcations on Center Manifolds of 3-dim Polynomials Systems Using Computer Algebra
     Matej Mencinger, Brigita Fercec
  
  
  2. On using computer algebra systems for analysis of rigid body dynamics
     Larisa Burlakova, Valentin Irtegov
  
  
  3. Formal Integral and Caustics in Henon-Heiles model
     Tatiana Myllari, Aleksandr Myllari
  
  
  4. On necessary conditions of integrability of degenerated planar ODE systems in the parameter space
     Alexander Bruno, Victor Edneral
  
  
  5. Tree structures in Poisson series processors
     Juan F. Navarro
  
  
  6. Orbital Reversibility of Dynamical Systems
     Antonio Algaba, Isabel Checa, Cristóbal García, Estanislao Gamero
  
  
  7. Normal Forms of Singular Plane Quartics
     Tadashi Takahashi
  
  
  8. Random walks on the three dimensional Young tree
     Nikolay Vassiliev
  
  
  
  
• Session 3: Algebraic and Algorithmic Aspects of Differential and Integral Operators Session
  
  
  1. Seeking recursion operators - an universal hierarchy example in dimension (2 + 1)
     Hynek Baran
  
  
  2. The algebra of polynomial integro-diferential operators and its group of automorphisms
     V. V. Bavula
  
  
  3. Darboux theory of integrability in the sparse case
     Guillaume Chèze
  
  
  4. Isomorphisms and Serre's reduction of multidimensional linear systems
     Thomas Cluzeau, Alban Quadrat
  
  
  5. Qualitative Study of Polynomial Differential Systems
     Dahira Dali, Abdo Turqui
  
  
  6. Periodic and Mean-Periodic Solutions of LODEs with Constant Coefficients
     Ivan Dimovski, Margarita Spiridonova
  
  
  7. Looking for invariant algebraic curves
     Antoni Ferragut, Armengol Gasull
  
  
  8. Moving Frames and Noether's Conservation Laws - the General Case
     Tânia M. N. Gonçalves, Elizabeth L. Mansfield
  
  
  9. Interpolation with integral and Stieltjes conditions
     Anja Korporal, Georg Regensburger
  
  
  10. On Completely Integrable Pfaffian Systems with Normal Crossings
      Suzy Maddah
  
  
  11. Linear Boundary Problems for Partial Differential Equations: Algebraic Setup and First Steps for Constant Coefficients
      Nalina Phisanbut, Markus Rosenkranz
  
  
  12. On the arithmetic of d'Alembertian functions
      Clemens Raab
  
  
  13. Applying Thomas decomposition and algebraic analysis to certain nonlinear PDE systems
      Daniel Robertz
  
  
  14. Sparse differential resultant formulas: between the linear and the nonlinear case
      Sonia L. Rueda
  
  
  
  
• Session 4: Computer Algebra in Coding Theory and Cryptography
  
  
  1. A characterization of cyclic codes whose minimum distance equals their maximum BCH bound
     J.J. Bernal, D.H. Bueno, J.J. Simon
  
  
  2. Gröbner Bases and Linear Codes over Prime Fields
     Natalia Dück, Karl-Heinz Zimmermann
  
  
  3. A Class of Binary Sequences with Large Linear Complexity
     Amparo Fúster Sabater
  
  
  4. Further Improvements on the Feng-Rao Bound for Dual Codes
     Olav Geil, Stefano Martin
  
  
  5. Some Optimal Codes as Tanner Codes with BCH Component Codes
     Tom Høholdt, Fernando Piñero, Peng Zeng
  
  
  6. A secret sharing scheme using Gröbner basis
     Hiroshi Kai, Masaki Yamada
  
  
  7. Error-correcting pairs and arrays from algebraic geometry codes
     Irene Márquez-Corbella, Ruud Pellikaan
  
  
  8. Additive multivariable codes over F₄
     E. Martínez-Moro, A.P. Nicolás, I.F. Rua
  
  
  9. On Generalized Lee Weigth Codes over Dihedral Groups
     E. Martínez-Moro, A.P. Nicolás, E. Suárez-Canedo
  
  
  10. Decoding of codes for applications to steganography
      Carlos Munuera, Wilson Olaya León
  
  
  11. On LDPC codes corresponding to new families of regular expanding graphs of large girth
      Monika Polak, Vasyl Ustimenko
  
  
  12. Representation, constructions and minimum distance computation of binary nonlinear codes
      J. Pujol, M. Villanueva, F. Zeng
  
  
  13. On regular forests given in terms of algebraic geometry, new families of expanding graphs with large girth and new multivariate cryptographical algorithms
      Urszula Romanczuk, Vasyl Ustymenko
  
  
  14. Some remarks for codes and lattices over imaginary quadratic fields
      T. Shaska, C. Shor
  
  
  15. An Efficient Algorithm for Computing Branch Groebner Systems and Its Applications in Algebraic Cryptanalysis
      Yao Sun, Zhenyu Huang, Dongdai Lin, Dingkang Wang
  
  
  16. On some algebraic aspects of data security in cloud computing
      Vasyl Ustymenko, Aneta Wroblewska
  
  
  
  
• Session 5: Nonstandard Applications of Computer Algebra
  
  
  1. An algebraic approach to geometric proof using a Computer Algebra System
     Michael Xue
  
  
  2. Similarity Detection for Rational Curves
     Juan G. Alcázar, Carlos Hermoso, Georg Muntingh
  
  
  3. A hybrid expert system for classic car recognition and originality evaluation
     Eugenio Roanes-Lozano, Jesús Bonilla
  
  
  4. Flexibility of Structures via Computer Algebra
     Robert H. Lewis, Evangelos Coutsias
  
  
  5. Designing rotating schedules by using Gröbner bases
     Raúl Falcón, David Canca, Eva Barrena
  
  
  6. Obtaining combinatorial structures associated with low-dimensional Leibniz algebras
     Manuel Ceballos, Juan Núñez, Ángel F. Tenorio
  
  
  7. Simulating Car Traffic with Smart Signals using a CAS
     José Luis Galán, Gabriel Aguilera, José Carlos Campos, Pedro Rodríguez
  
  
  8. Populational-based anamorphosis maps for railway radial networks
     Eugenio Roanes-Lozano, Alberto García-Álvarez, José Luis Galán-García, Luis Mesa
  
  
  9. Padovan-like sequences and Bell polynomials
     Nikita Gogin, Aleksandr Mylläri
  
  
  10. Envelope computation in dynamic geometry systems
      Francisco Botana, Tomás Recio
  
  
  11. Designing Hamiltonian Cycles
      Francisco de Arriba, Eusebio Corbacho, Ricardo Vidal
  
  
  12. Modeling reliability in propositions using computer algebra techniques
      Antonio Hernando
  
  
  
  
• Session 6: Arithmetic of Algebraic Curves
  
  
  1. On the automorphisms groups of Hassett moduli spaces
     Alex Massarenti
  
  
  2. On the Approximate Parametrization Problem of Algebraic Curves
     Sonia L. Rueda, J. Rafael Sendra, Juana Sendra
  
  
  3. Weierstrass points and dihedral invariants of superelliptic curves
     C. Shor, T. Shaska
  
  
  4. Radical parametrization of algebraic curves and surfaces
     D. Sevilla, J. Rafael Sendra
  
  
  5. On superelliptic curves and their Jacobians
     T. Shaska, L. Beshaj
  
  
  6. Hyperbolic uniformizations through computations on ternary quadratic forms
     M. Alsina
  
  
  7. From relations in the moduli spaces of curves, to recursions in Gromov-Witten theory
     N. Pagani
  
  
  8. Symplectic representations for finite group actions on Riemann surfaces
     Antonio Behn, Anita Rojas, Rubí Rodríguez
  
  
  
  
• Session 7: Applications and Libraries development in DERIVE and TI-NSPIRE
  
  
  1. Integration of Piecewise Continuous Functions (Part I, Part II) (1 hour)
     Michel Beaudin, Frédérick Henri, Geneviève Savard
  
  
  2. A Toolbox with DERIVE: Calculus on Several Variables
     Alfonsa García, Francisco García, Ángel Martín del Rey, Gerardo Rodríguez, Agustín de la Villa
  
  
  3. FOPDE.mth: Solving First-Order Partial Differential Equations with DERIVE 6 step by step
     Gabriel Aguilera, José Luis Galán, María Ángeles Galán, Yolanda Padilla, Pedro Rodríguez, Ricardo Rodríguez
  
  
  4. A Dynamic Unity of Tradition and Technology in Undergraduate Mathematics - a Bulgarian Experience
     Elena A. Varbanoba
  
  
  5. DERIVE and Linear Algebra
     Alfonsa García, Francisco García, Ángel Martín del Rey, Gerardo Rodríguez, Agustín de la Villa
  
  
  
  
• Session 8: Computer Algebra in Algebraic Statistics
  
  
  1. Goodness-of-fit testing in Ising Models
     Abraham Martín del Campo, Caroline Uhler
  
  
  2. Algebraic geometry in causal inference
     Caroline Uhler
  
  
  3. Computing real log canonical thresholds in algebraic statistics
     Hamid Ahmadinezhad, Josef Schicho, Caroline Uhler
  
  
  4. Error evaluation for algebraic interpolatory cubature formulae: notable examples
     Claudia Fassino, Eva Riccomagno
  
  
  5. Connectivity on two-way tables under certain models
     Ruriko Yoshida
  
  
  6. Monomial ideal methods for hierarchical statistical models
     Hugo Maruri-Aguilar, Eduardo Sáenz-de-Cabezón, Henry P. Wynn
  
  
  7. A Gröbner Bases Method for Complementary Sequences
     Christos Koukouvinos, Dimitris E. Simos, Zafeirakis Zafeirakopoulos
  
  
  
  
• Session 9: Computer algebra, quantum computing and quantum information processing
  
  
  1. On the inequalities defining the entanglement space of 2-qubits
     V. P. Gerdt, A. M. Khvedelidze, Yu. G. Palii
  
  
  2. Mathematica Package Quantum Circuit for Simulation of Quantum Computation
     V. P. Gerdt, A. N. Prokopenya
  
  
  3. Simulating quantum computers with Mathematica: QDENSITY et al.
     Bruno Julia-Diaz, Frank Tabakin
  
  
  4. Functional framework for representing and transforming quantum channels
     Jarosław Adam Miszczak
  
  
  5. Ultimate limits to squeezing of quantum fluctuations
     Arkadiusz Orlowski
  
  
  6. Geometry and Dynamics of Algorithms on the Quantum Information Space
     Yoshio Uwano
  
  
  
• Session 10: Computer algebra in algebraic topology and its applications
  
  
  1. Spectral Sequences for computing persistent homology of digital images
     Ana Romero, Gadea Mata, Julio Rubio, Jonathan Heras, Francis Sergeraert
  
  
  2. A chain contraction approach to the computation of cubical homology and cohomology
     Pawel Pilarczyk, Pedro Real
  
  
  3. Discrete Morse Theory and Computational Homology
     Pawel Dlotko
  
  
  4. Some Advanced in G-invariant topology and homology
     Patrizio Frosini
  
  
  5. Computational Homological Algebra for Advanced Topological Analysis of 4D Digital Images
     Pedro Real
  
  
  6. Boundary and Acyclicity Operators of Primal and Dual Elementary Cell Complexes
     Ana María Pacheco, Pedro Real
  
  
  7. On Higher Dimensional Cocyclic Hadamard Matrices
     Victor Álvarez Solano, José Andrés Armario, María Dolores Frau, Pedro Real
  
  
  8. A(8)- persistence
     Kiko Belchí, Aniceto Murillo Mas
  
  
  
  
• Session 11: Symbolic and Numerical Methods: Practical Applications
  
  
  1. Numerical algorithm solves for a new positioning system inside buildings
     Ana Belén Pabón, Salvador Merino, Pedro Rodríguez
  
  
  2. Kinematical analysis of mechanisms with computer algebra
     Samuli Piipponen, Teijo Arponen, Jukka Tuomela
  
  
  3. A numerical and an exact approaches for classifying the items of a questionnaire into different competences
     José Luis Galán, Salvador Merino, Javier Martínez, Miguel de Aguilera
  
  
  4. Resolution of solar cells equivalent electrical model by reverse decomposition
     Salvador Merino, Francisco J. Sánchez, Pedro Rodríguez, Carlos Sánchez
  
  
  5. Statistical Quality Control in the Construction Industry
     José Antonio Vera, Salvador Merino, José Luis Galán
  
  
  6. Optimization and design of bicycles lines
     Roberto José Liñan, Salvador Merino, Javier Martínez
  
  
  7. Using CUDA for better harnessing of symbolic and numerical methods
     S. Ortega Acosta, J.M. González Vida, M.L. Muñoz Ruiz, C. Sánchez Linares, T. Morales de Luna
  
  
  8. CAS software for teaching numerical methods in engineering.Practical applications
     C. Sánchez Linares, J.M. González Vida, T. Morales de Luna, M.L. Muñoz Ruiz, S. Ortega Acosta