Zachary Flores

activity

20182024

collaborators

5 papers

cs.IT2024

A Construction of Optimal Quasi-cyclic Locally Recoverable Codes using Constituent Codes

Gustavo Terra Bastos, Angelynn Alvarez, Zachary Flores +1

A locally recoverable code of locality $r$ over $F_{q}$ is a code where every coordinate of a codeword can be recovered using the values of at most $r$ other coordinates o…

math.CT2023

A Formalization of Operads in Coq

Zachary Flores, Angelo Taranto, Eric Bond +1

What provides the highest level of assurance for correctness of execution within a programming language? One answer, and our solution in particular, to this problem is to provide a…

math.CT2023

A Formal Algebraic Framework for DSL Composition

Zachary Flores, Angelo Taranto, Eric Bond

We discuss a formal framework for using algebraic structures to model a meta-language that can write, compose, and provide interoperability between abstractions of DSLs. The purpos…

math.CO2019

A generalization of Wilf's conjecture for Generalized Numerical Semigroups

Carmelo Cisto, Michael DiPasquale, Gioia Failla +3

A numerical semigroup is a submonoid of $N$ with finite complement in $N$ . A generalized numerical semigroup is a submonoid of $N^{d}$ with finite compleme…

math.AG2018

On the Weak Lefschetz Property for Vector Bundles on $P^{2}$

Gioia Failla, Zachary Flores, Chris Peterson

Let $R = K [x, y, z]$ be a standard graded polynomial ring where $K$ is an algebraically closed field of characteristic zero. Let $M = \oplus_{j} M_{j}$ be a finite length g…