Dos periodos investigadores reconocidos por CNEAI.
Sexenio activo: 2014-2019
246 citas recibidas
H-índice 8
Artículos
- Marco-Buzunáriz, Miguel A.; Romero, Ana. Computing the homology of universal covers via effective homology and discrete vector fields. JOURNAL OF SYMBOLIC COMPUTATION. 2024. DOI: 10.1016/j.jsc.2024.102401
- Marco-Buzunáriz, Miguel A.; Romero, Ana; Divasón, Jose. Effective homology of universal covers. ACM COMMUNICATIONS IN COMPUTER ALGEBRA. 2023. DOI: 10.1145/3614408.3614414
- Garvin, Antonio; Gonzalez-Diaz, Rocio; Marco Buzunariz, Miguel Angel; Medrano, Belen. Making Sullivan algebras minimal through chain contractions. MEDITERRANEAN JOURNAL OF MATHEMATICS. 2021. DOI: 10.1007/s00009-020-01670-9
- Avendaño, Martín; Marco, Miguel. A structural attack to the DME-(3,2,q) cryptosystem. FINITE FIELDS AND THEIR APPLICATIONS. 2021. DOI: 10.1016/j.ffa.2021.101810
- Cuevas-Rozo, J.; Divasón, J.; Marco-Buzunáriz, M.; Romero, A. Integration of the kenzo system within sagemath for new algebraic topology computations. MATHEMATICS. 2021. DOI: 10.3390/math9070722
- Marco Buzunariz, M.A. Web Based Notebooks for Teaching, an Experience at Universidad de Zaragoza. LECTURE NOTES IN COMPUTER SCIENCE. 2020. DOI: 10.1007/978-3-030-52200-1_38
- Marco Buzunariz, Miguel Angel; Pe Pereira, María. Irreducibility of analytic arc-sections of hypersurface singularities. PERIODICA MATHEMATICA HUNGARICA. 2020. DOI: 10.1007/s10998-020-00346-x
- Manero, Victor; Marco Buzunariz, Miguel Angel. Effective computation of degree bounded minimal models of GCDAs. THE JOURNAL OF SOFTWARE FOR ALGEBRA AND GEOMETRY. 2020. DOI: 10.2140/jsag.2020.10.25
- Artal Bartolo, E.; Isaza Peñaloza, S.; Marco-Buzunáriz, M.Á. Heegaard splittings of graph manifolds. ANNALI DI MATEMATICA PURA ED APPLICATA. 2019. DOI: 10.1007/s10231-018-0795-z
- Cuevas-Rozo, J.; Divasón, J.; Marco-Buzunáriz, Miguel; Romero, A. A Kenzo interface for algebraic topology computations in Sagemath. ACM COMMUNICATIONS IN COMPUTER ALGEBRA. 2019. DOI: 10.1145/3371991.3371999
- Artal Bartolo, E.; Cogolludo-Agustín, J. I.; Guerville-Ballé, B.; Marco-Buzunáriz, M. An arithmetic Zariski pair of line arrangements with non-isomorphic fundamental group. REVISTA DE LA REAL ACADEMIA DE CIENCIAS EXACTAS, FISICAS Y NATURALES - SERIE A: MATEMATICAS. 2017. DOI: 10.1007/s13398-016-0298-y
- Marco-Buzunariz, M.A.; Rodriguez, M. SIROCCO: A Library for Certified Polynomial Root Continuation. LECTURE NOTES IN COMPUTER SCIENCE. 2016. DOI: 10.1007/978-3-319-42432-3_24
- Pellicer Ortín, Silvia; Arnal Bailera, Alberto; Marco Buzunariz, Miguel Ángel; Tomás Aragonés, Lucía. The CLIL approach in higher education: A collaborative small-scale experience (with a focus on Mathematics and Psychology). ENCUENTRO-REVISTA DE INVESTIGACION E INNOVACION EN LA CLASE DE IDIOMAS. 2016
- Florens, Vincent; Guerville-Ballé, Benoit; Marco Buzunariz, Miguel Angel. On complex line arrangements and their boundary manifolds. MATHEMATICAL PROCEEDINGS OF THE CAMBRIDGE PHILOSOPHICAL SOCIETY. 2015. DOI: 10.1017/S0305004115000262
- Abad, A.; Barrio, R.; Marco-Buzunariz, M.; Rodríguez, M. Automatic implementation of the numerical Taylor series method: A Mathematica and Sage approach. APPLIED MATHEMATICS AND COMPUTATION. 2015. DOI: 10.1016/j.amc.2015.06.042
- Fernandez de Bobadilla, Javier; Marco Buzunariz, Miguel Angel. Topology of hypersurface singularities with 3-dimensional critical set. COMMENTARII MATHEMATICI HELVETICI. 2013. DOI: 10.4171/CMH/285
- Marco Buzunariz, Miguel Angel. A polynomial generalization of the Euler characteristic for algebraic sets. JOURNAL OF SINGULARITIES. 2012. DOI: 10.5427/jsing.2012.4g
- Marco Buzunariz, Miguel Angel; Martin-Morales, Jorge. Graded Betti Numbers of the Logarithmic Derivation Module. COMMUNICATIONS IN ALGEBRA. 2011. DOI: 10.1080/00927870903366918
- Marco Buzunariz, Miguel Angel. Isotropic subspaces of Orlik-Solomon algebras. REVISTA MATEMATICA COMPLUTENSE. 2011. DOI: 10.1007/s13163-010-0052-5
- Marco Buzunariz, Miguel Angel. A Description of the Resonance Variety of a Line Combinatorics via Combinatorial Pencils. GRAPHS AND COMBINATORICS. 2009. DOI: 10.1007/s00373-009-0863-7
- Artal, E.;Carmona, J.;Cogolludo, J.I.;Marco, M. Topology and Combinatorics of Real Line Arrangements. COMPOSITIO MATHEMATICA. 2005. DOI: 10.1112/S0010437X05001405
Comunicaciones
- Marco Buzunáriz, Miguel Ángel. Exact Computations with Approximate Methods. THE LONDON MATHEMATICAL SOCIETY NEWSLETTER. 2019. DOI: 10.1112/NLMS
Capítulos
- Web Based Notebooks for Teaching, an Experience at Universidad de Zaragoza.. Marco Buzunariz, Miguel Angel. MATHEMATICAL SOFTWARE – ICMS 2020. ICMS 2020. LECTURE NOTES IN COMPUTER SCIENCE, VOL 12097. 2020
- Investigación sobre libros de texto en los Simposios de la SEIEM (1997-2015). Marco Buzunáriz, Miguel A.; Muñoz Escolano, José María; Oller Marcén, Antonio M. INVESTIGACIÓN EN EDUCACIÓN MATEMÁTICA XX. 2016
- SIROCCO: A Library for Certified Polynomial Root Continuation. Marco Buzunariz, Miguel Angel; Rodríguez Rodríguez, Marcos. MATHEMATICAL SOFTWARE – ICMS 2016, 5TH INTERNATIONAL CONFERENCE, BERLIN, GERMANY, JULY 11-14, 2016, PROCEEDINGS. 2016
- Invariants of combinatorial line arrangements and Rybnikov's example. Artal Bartolo, Enrique; Carmona Ruber, Jorge; Cogoludo Agustín, José Ignacio; Marco Buzunariz, Miguel Angel. SINGULARITY THEORY AND ITS APPLICATIONS 2007
Proyectos
- E22_23R: Álgebra y Geometría. 01/01/23 - 31/12/25
- IV Seminario Jíbiri de Geometría Algebraica 2022. 08/03/22 - 07/03/23
- PID2020-114750GB-C31: SINGULARIDADES EN TOPOLOGÍA, GEOMETRÍA, ÁLGEBRA, CRIPTOGRAFÍA, FÍSICA Y SUS APLICACIONES. 01/09/21 - 31/08/25
- E22_20R: Álgebra Y Geometría. 01/01/20 - 31/12/22
- OPENDREAMKIT Congress / Open Digital Research Environment Toolkit. 22/05/18 - 27/11/18
- SAGE DAYS 94. SAGE DEVELOPMENT. 12/02/18 - 11/02/19
- GRUPO EN DESARROLLO INVESTIGACIÓN EN EDUCACIÓN MATEMÁTICA. 01/01/17 - 31/12/19
- GRUPO EMERGENTE S119 INVESTIGACIÓN EN EDUCACIÓN MATEMÁTICA. 01/01/16 - 31/12/16
- GRUPO EMERGENTE S119 INVESTIGACIÓN EN EDUCACIÓN MATEMÁTICA. 01/01/15 - 31/12/15
- MTM2013-45710-C2-1-P: SINGULARIDADES Y SUS APLICACIONES A GEOMETRÍA, TOPOLOGÍA, ÁLGEBRA Y CRIPTOGRAFÍA. 01/01/14 - 31/12/17
- GRUPO CONSOLIDADO E15 GEOMETRIA. 01/01/11 - 31/12/12
- MTM2007-67908-C02-01 TEORÍA DE SINGULARIDADES Y APLICACIONES EN ARITMÉTICA,CRIPTOGRAFÍA, GEOMETRÍA Y TOPOLOGÍA. 01/10/07 - 31/12/10
- GRUPO CONSOLIDADO E15 GEOMETRIA. 01/01/05 - 31/12/07
- MTM2004-08080-C02-02. PROBLEMAS TOPOLOGICOS, GEOMETRICOS Y ARITMETRICOS EN TEORIA DE SINGULARIDADES. 13/12/04 - 12/12/07
- BFM2001-1488-C02-02. INVARIANTES ARITMETICOS Y GEOMETRICOS DE SINGULARIDADES Y SUS APLICACIONES. 28/12/01 - 27/03/05
Dirección de proyectos fin de grado
- Análisis topológico de datos. Universidad de Zaragoza. Sobresaliente. 23/09/24
- El algoritmo de Schoof para curvas elípticas. Universidad de Zaragoza. Matrícula de honor. 21/06/24
- Lógica formal, verificación automática de teoremas y asistentes de demostración. Universidad de Zaragoza. Sobresaliente. 15/09/23
- Demostraciones de conocimiento cero. Universidad de Zaragoza. Sobresaliente. 26/06/23
- Pruebas de conocimiento cero. Universidad de Zaragoza. Notable. 16/12/22
- Criptografía basada en retículos. Universidad de Zaragoza. Notable. 22/09/22
- Simplicial homology and its applications. Universidad de Zaragoza. Sobresaliente. 08/07/22
- Curvas elípticas y aplicaciones a la criptografía. Universidad de Zaragoza. Matrícula de honor. 09/07/21
- Juegos educativos para las matemáticas y su eficacia para el aprendizaje. Un ejercicio de aplicación de la revisión sistemática y meta-análisis. Universidad de Zaragoza. Notable. 19/11/18
- La utilidad de los juegos en la enseñanza de las matemáticas. Experimentación en 4º de primaria. Universidad de Zaragoza. Notable. 28/06/18
- Juegos matemáticos. Universidad de Zaragoza. Notable. 28/06/18
- Estudio empírico del uso de juegos en el aula para la enseñanza de las matemáticas. Universidad de Zaragoza. Notable. 28/06/18
- Determinación algorítmica del grupo fundamental de un plano con agujeros y aplicaciones a la monodromía de trenzas. Universidad de Zaragoza. Matrícula de honor. 13/07/17
- Juegos matemáticos. Una aplicación en el aula de educación primaria. Universidad de Zaragoza. Aprobado. 15/12/16
- Uso de Geogebra para conocer las áreas de triángulos y cuadriláteros en un aula de 6º de educación primaria. Universidad de Zaragoza. Notable. 15/09/16
- Juegos educativos matemáticos. Universidad de Zaragoza. Notable. 15/09/16
- Juegos educativos matemáticos
. Universidad de Zaragoza. Notable. 28/06/16
Dirección de proyectos fin de master
- Cálculo efectivo del modelo de Sullivan de un espacio topológico y su tipo de homotopía racional. Universidad de Zaragoza. Sobresaliente. 20/09/24
- Álgebra computacional y desarrollo de software. Universidad de Zaragoza. Notable. 16/12/19
- Estadística Descriptiva. Universidad de Zaragoza. Notable. 28/09/18
- Razones trigonométricas en 4º ESO. Universidad de Zaragoza. Notable. 11/07/18
- Ecuaciones de la recta en el plano. Universidad de Zaragoza. Notable. 25/09/17
- Propuesta para la enseñanza de la posición relativa de rectas y planos en 2º de Bachillerato. Universidad de Zaragoza. Notable. 04/07/17
- Propuesta didáctica para la enseñanza escolar de la semejanza de figuras geométricas. Universidad de Zaragoza. Sobresaliente. 04/07/17
- Una propuesta didáctica para la enseñanza de la funciones en segundo de ESO. Universidad de Zaragoza. Notable. 04/07/17
- TRIGONOMETRÍA PARA CUARTO CURSO DE LA ESO OPCIÓN B. Universidad de Zaragoza. Notable. 04/07/17
- Diseño de una secuencia didáctica perteneciente al bloque de Funciones de 4º de E.S.O opción B. Universidad de Zaragoza. Notable. 04/07/17
- Optimización de trayectorias para decoración de piezas 3D. Universidad de Zaragoza. Sobresaliente. 16/12/16
- Teorema de Tales: una propuesta didáctica para 2º de ESO. Universidad de Zaragoza. Aprobado. 01/07/16
- Trigonometría: una propuesta didáctica para 4º de ESO. Opción B. Universidad de Zaragoza. Notable. 02/07/15
- Área de figuras planas. Una propuesta didáctica para 1º ESO. Universidad de Zaragoza. Notable. 02/07/15
- Fracciones: una propuesta didáctica para 1º de ESO. Universidad de Zaragoza. Aprobado. 02/07/15
- Ecuaciones de segundo grado: una propuesta didáctica para 3º de ESO. Universidad de Zaragoza. Notable. 02/07/15
Participaciones en congresos
- Encuentros de topología. Participativo - Ponencia oral (comunicación oral). Homología efectiva de cubiertas universales. Salamanca. 25/10/24
- ISSAC 2023. Participativo - Ponencia oral (comunicación oral). Efective Homology of Universal Covers. Tromsø. 24/07/23
- XVII Encuentro Álgebra Computacional y Aplicaciones. Participativo - Ponencia oral (comunicación oral). The minimal model of a simplicial complex: algorithm and implementation. Castellón de la Plana. 20/06/22
- Congreso Bienal de la Real Sociedad Matemática Española 2022. Participativo - Ponencia oral (comunicación oral). Diagramas de Rudolph de curvas algebraicas. Ciudad Real. 17/01/22
- Fifth Mini-Workshop IMAC-SINGACOM in La Plana: Research topics in algebraic geometry and singularities. Participativo - Ponencia oral (comunicación oral). Diagramas de Rudolf de curvas planas. Castellón. 21/01/21
- ISSAC 2019. Participativo - Ponencia oral (comunicación oral). A Kenzo Interface for Algebraic Topology Computations in SageMath. Beijing. 14/07/19
- MEGA. Participativo - Ponencia oral (comunicación oral). Effective computation of degree bounded minimal models of GCDA's. Madrid. 17/06/19
- MEGA. Participativo - Ponencia oral (comunicación oral). Computing with Kenzo from Sage. Madrid. 17/06/19
- Congreso Bienal de la Real Sociedad Matemática Española 2019. Participativo - Ponencia oral (comunicación oral). Heegaard splittings of graph manifolds. Santander. 04/02/19
- 6th International Congress of Educational Sciences and Development. Participativo - Ponencia oral (comunicación oral). Dificultades en el desarrollo de la competencia argumentativa en lengua inglesa en Matemáticas y Psicología con maestros en formación. Setúbal. 21/06/18
- Fourth Mini-Workshop IMAC-Singacom in La Plana. Participativo - Ponencia oral (comunicación oral). Heegaard Splittings of graph manifolds. Castellón. 11/12/17
- XXI Simposio de la Sociedad Española de Investigación en Educación Matemática. Organizativo - Comité científico y organizador. Miembro del Comité Científico y responsable del Comité organizador. Zaragoza. 06/09/17
- VIII CIBEM. Congreso Iberoamericano de Educación Matemática. Participativo - Ponencia oral (comunicación oral). ENSEÑANZA DE LA DIDÁCTICA DE LA GEOMETRÍA Y PSICOLOGÍA EN INGLÉS EN EL GRADO EN MAGISTERIO EN EDUCACIÓN PRIMARIA. UNA INVESTIGACIÓN INTER-DEPARTAMENTAL. Madrid. 10/07/17
- 6th Iberian Mathematical Meeting. Participativo - Ponencia oral (comunicación oral). Combinatorial conditions for linear systems of projective hypersurfaces. Santiago de Compostela. 06/10/16
- XX Simposio de la Sociedad Española de Investigación en Educación Matemática (SEIEM). Participativo - Ponencia oral (comunicación oral). Investigación sobre libros de texto en los Simposios de la SEIEM (1997-2015). Málaga. 08/09/16
- 13th International Congress on Mathematics Education. Participativo - Póster. Research on textbooks at Spanish Society for Research in Mathematics Education Simposia (1997-2015). Hamburgo. 24/07/16
- International Congress on Mathematical Software. Participativo - Ponencia oral (comunicación oral). SIROCCO: a library for certified polynomial root continuation. Berlin. 11/07/16
- First Joint Meeting Brazil-Spain in Mathematics. Participativo - Ponencia oral (comunicación oral). Approximate methods for exact solutions about the topology of curves. Fortaleza. 07/12/15
- Thirteenth International Conference Zaragoza-Pau on Mathematics and its Applications. Participativo - Ponencia oral (comunicación oral). A FRAMEWORK FOR FREE, FINITELY PRESENTED AND BRAID GROUPS IN SAGE. Jaca. 15/09/14
- French Spanish Congress of Mathematics. Participativo - Ponencia oral (comunicación oral). Homological rigidity and combinatorial pencils. Zaragoza. 11/07/07
- YMIS 06. Participativo - Ponencia oral (comunicación oral). Topology and combinatorics of line arrangements. Sedano. 06/03/06
- Journees autour des groupes de Thompson. Participativo - Ponencia oral (comunicación oral). Equivalence of braid monodromy of line arrangements. Tatihou. 02/09/04
- GAEL XI. Participativo - Ponencia oral (comunicación oral). Invariants of the topology of line arrangements and alge- braic curves. Luminy. 14/04/03
Estancias
- Leibniz Universtiät Hannover. Alemania. 01/11/13 - 31/08/14
- Université de Bourgogne. Dijon. Francia. 01/09/04 - 30/10/04
- Florida State University. Tallahassee. Estados Unidos de América. 03/10/03 - 03/12/03
Organizaciones de actividades de I+D+i
- XVI EACA (ENCUENTRO DE ÁLGEBRA COMPUTACIONAL Y APLICACIONES). 04/07/18 - 06/07/18
- Sage Days 94. 28/06/18 - 04/07/18
- XXI Simposio SEIEM 06/09/17 - 09/09/17
Gestiones de actividades de I+D+i
- Universidad de Zaragoza. Profesor secretario del Departamento de Matemáticas. 29/10/20
Otros méritos
- SageMath. Miembro del equipo de desarrollo de SageMath desde 2009.
Desarrollo de los módulos:
- Álgebra lineal
- Grupos libres y finitamente presentados
- Grupos de trenzas
- Nudos y enlaces
- Ecuaciones diferenciales (interfaz con TIDES)
- Conjuntos simpliciales (interfaz con Kenzo)
- Álgebras conmutativas graduadas diferenciales y modelos minimales
- Curvas algebraicas
- Códigos
. 09/12/20
- Mentor del programa GSoC. Mentor del programa Google Summer of Code. Dirección de Julian Cuevas en la integración de los conjuntos simpliciales de SageMath con Kenzo. 31/08/20
- Desarrollo de Software. Autor de la biblioteca libhomfly, para el cálculo del polinomio de HOMFLY de nudos y enlaces. 31/10/17
- Desarrollo de Software. Autor de la librería SIROCCO para el cálculo de continuación homotópica certificada. 05/03/17
- Mentor del programa GSoC. Mentor del programa Google Summer of Code. Dirección de Grayson Jorgenson en la implementación de singularidades de curvas algebraicas por Grayson Jorgenson. 31/08/16
- Desarrollo de Software. Desarrollo de la biblioteca libbraiding, para el cálculo de invariantes de trenzas. 31/03/16
- Mentor del programa GSoC. Mentor del programa Google Summer of Code. Dirección de Amit Jamagadni en la implementación de nudos y enlaces en SageMath. 31/08/14
- Mentor programa GSoC. Mentor del programa Google Summer of Code. Dirección de Verónica Suaste en la implementación de códigos correctores de errores en Sage. 31/08/13
|