Research

Talks

  • imagen_pdfA. Guidolin, A. Romero. Effective computation of generalized spectral sequences. International Symposium on Symbolic and Algebraic Computation (ISSAC 2018), New York (USA) 2018.
  • imagen_pdfA. Romero. A computational review of spectral sequences and applications. XVI Encuentro de Álgebra Computacional y Aplicaciones (EACA 2018), Zaragoza (Spain) 2018.
  • A. Romero, G. Mata, J. Heras, M. Morales, J. Rubio. Computational Topology techniques for processing biomedical images. IV Encuentro conjunto RSME-SMM, Valladolid (Spain) 2017.
  • imagen_pdfA. Romero, F. Sergeraert. An implementation of effective homotopy of fibrations. Applications of Computer Algebra (ACA 2016), Kassel (Germany) 2016.
  • imagen_pdfA. Romero. Aplicación del Álgebra Homológica para la detección de errores en cálculos en Topología. Congreso de jóvenes investigadores de la RSME, Murcia (Spain) 2015.
  • G. Mata, M. Morales, A. Romero, J. Rubio. Zigzag persistence: application to processing stacks of neuronal images. AMS-EMS-SPM meeting, Porto (Portugal) 2015.
  • A. Romero. Basic Perturbation Lemma and effective homology: application to the computation of homology of 2-types. Homological Perturbation Workshop, Galway (Ireland) 2014.
  • G. Mata, M. Morales, A. Romero, J. Rubio. Algoritmos topológicos para el procesamiento de imágenes biomédicas. XXI Encuentro de Topología, Tordesillas (Spain) 2014.
  • A. Romero. Spectral sequences for computing persistent homology. Mathematics, Algorithms and Proofs (MAP 2014), Paris (France) 2014.
  • G. Mata, A. Romero. Procesamiento topo-geométrico de imágenes neuronales. Aplicaciones Industriales del Álgebra Computacional, Madrid (Spain) 2013.
  • imagen_pdfA. Romero. El uso de los demostradores automáticos de teoremas en la enseñanza de la programación. XIX Jornadas sobre la Enseñanza Universitaria de la Informática (JENUI), Castellón (Spain) 2013.
  • imagen_pdfA. Romero, J. Heras, G. Mata, J. Rubio and F. Sergeraert. Spectral sequences for computing persistent homology of digital images. Applications of Computer Algebra (ACA), Málaga (Spain) 2013.
  • imagen_pdfVerifying a platform for digital imaging: a multi-tool strategy. CICM (Calculemus track), Bath (UK) 2013.
  • A. Romero, F. Sergeraert. Programming before Theorizing, a case study. International Symposium on Symbolic and Algebraic Computation (ISSAC 2012), Grenoble (France) 2012.
  • imagen_pdfA. Romero. Computational Spectral Sequences. Workshop on Computational Topology, Zurich (Switzerland) 2012.
  • imagen_pdfA. Romero, F. Sergeraert. Effective homotopy of fibrations . Constructive homological algebra methods, implementations and applications, Luminy (France), 2011.
  • imagen_pdfA. Romero. Effective homology and discrete Morse theory for the computation of homology of groups. Mathematics, Algorithms, Proofs (MAP 2010), Logroño (Spain) 2010.
  • imagen_pdfA. Romero. Effective homology of groups and discrete Morse theory . III Iberian Mathematical Meeting (IMM3), Braga (Portugal) 2010.
  • J. Heras, V. Pascual, A. Romero, J. Rubio. Integrating multiple sources to answer questions in Algebraic Topology. 9th International Conference on Mathematical Knowledge Management (MKM 2010), Paris (France) 2010.
  • imagen_pdfA. Romero, F. Sergeraert. Effective homotopy: a first approach. Aplications of Computer Algebra (ACA 2010), Vlora (Albany) 2010.
  • imagen_pdfA. Romero, G. Ellis, J. Rubio. Interoperating between Computer Algebra systems: computing homology of groups with Kenzo and GAP. International Symposium on Symbolic and Algebraic Computation (ISSAC 2009), Seoul (Korea) 2009.
  • imagen_pdfA. Romero. An algorithm computing the first two levels of the Bousfield-Kan spectral sequence. Mathematics, XI Encuentro de Álgebra Computacional y Aplicaciones (EACA 2008), Granada (Spain) 2008.
  • imagen_pdfA. Romero, J. Rubio, F. Sergeraert. Effective homology and spectral sequences. Primer Congreso hispano-francés de Matemáticas, Zaragoza (Spain) 2007.
  • imagen_pdfA. Romero. Constructive spectral sequences. Mathematics, Algorithms, Proofs (MAP 2007), Leiden (Netherlands) 2007.
  • imagen_pdfA. Romero. From Homological Perturbation to Spectral Sequences: a Case Study. Integrability of Field Theories and Applications (GIFT 2006), Daresbury (UK) 2006.
  • imagen_pdfA. Romero. Effective Homology of Free Simplicial Abelian Groups: the Acyclic Case. X Encuentro de Álgebra Computacional y Aplicaciones (EACA 2006), Sevilla (Spain) 2006.
  • imagen_pdfA. Romero, J. Rubio, F. Sergeraert. Computing Spectral Sequences with the Kenzo system. International Congress of Mathematicians (ICM 2006), Mathematical software section, Madrid (Spain) 2006.
  • imagen_pdfA. Romero. An algorithm computing spectral sequences. Colloque du GDR "Topologie Algébrique et Applications", Lille (France) 2005.
  • imagen_pdfM. Andrés, V. Pascual, A. Romero, J. Rubio. Remote access to a Symbolic Computation system for Algebraic Topology: a client-server approach. Computer Algebra Systems and their Applications (CASA 2005), Atlanta (USA) 2005.
  • imagen_pdfM. Andrés, V. Pascual, A. Romero, J. Rubio. Distributed Computing in Algebraic Topology: first trials and errors, first programs. Internet Accessible Mathematical Computation (IAMC 2004), Santander (Spain) 2004.
  • imagen_pdfM. Andrés, V. Pascual, A. Romero, J. Rubio. On the role of distributed computing in Symbolic Computation for Algebraic Topology. IX Encuentro de Álgebra Computacional y Aplicaciones (EACA 2004), Santander (Spain) 2004.