Libros — algorithmic mathematics