Miguel A. Marco-Buzunariz


Research Interests

Topology of algebraic varieties and their singularities. Hyperplane arrangements. Computational aspects of algebraic geometry.

Contact Information 

OTR fingerprint: A515E9B5 7BBF1388 5D0BD6CC 82A217AF 4CE23830

Publications and Preprints


I have coded several patches for Sagemath. A non exhaustive list of the modules i have worked in are free, finitely presented, and braid groups, graded commutative differential algebras, and the integration of the TIDES library for high precision integration of ODE's.
I also participated as a mentor on the Google Summer of Code program in two projects to implement new decoding error-correcting codes algorithms (by Veronica Suaste) and a knot theory module (by Amit Jamagadni).

pykdedebugger is a small tool I wrote to help in the developping/debugging process of Sagemath. It is intended to be used in conjuction with the Kate editor. It helps tracing the execution of commands, showing the values of the variables and the code being executed at each step.

libhomfly is a modification of the Robert Jenkins program to compute the HOMFLY polynomial of knots and links. Unlike the original program, it is intended to be used as a shared library from other programs.

pydiceware-es is a secure passphrase generator. Right now it has a preloaded dictionary of most used spanish words (taken from several public domain books), but you can create your own word lists. It chooses randomly several words. You can specify the length, the entropy and/or the initial letters of your words. It has command line and gui versions.

Sirocco is a C library developed by Marcos Rodriguez and myself. It computes certified root continuation of bivariate polynomials using interval Newton method. It is intended to be used for computing braid monodromies of complex plane curves.

libbraiding is a port of the program by Juan González Meneses to compute different invariants of braids, and solve the conjugation problem. This implementation exposes the functionalities of the original program as a C++ library, which allows it to be embedded in other programs.

If you have any question about this software, please contact me by e-mail.


Here you can find some images of mathematical objects I have created to help in their visualization. Most of them are done using either povray or blender.

This is the monodromy acting on the Milnor fibre of the simple cusp \(y^2 - x ^3\).

I also made a 3d printing of this Milnor fibre:

Here you have the 3d-printable models of three different stages of the fibration: 1, 2, 3.


These are the slides of some of my recent talks.

Approximate methods for exact solutions about the topology of curves, in the First Joint Meeting Brazil-Spain in Mathematics, held in Fortaleza (Brazil), December 2015.

SIROCCO: a library for certified polynomial root continuation, in the 5th International Congress on Mathematical Software. Berlin, 2016.

Combinatorial conditions for linear systems of projective hypersurfaces, in the 6th Iberian Mathematical Meeting. Santiago de Compostela, 2016.

Navegación anónima con Tor. Universidad de La Rioja,diciembre 2016.

Criptomonedas para dummies.. Universidad de La Rioja,diciembre 2016.