Computational Tutorial on Gröbner bases embedding Sage in LaTeX with SageTEX - Edinah K. Gnang (CoRR, 2012)

The devil is in Asymmetries (Rough Version) - Edinah K. Gnang; Vidit Nanda (CoRR, 2012)

Some integer formula encodings and related algorithms. - Patrick Devlin 001; Edinah K. Gnang (Adv. Appl. Math., 2013)

Integer formula encoding SageTeX package. - Edinah K. Gnang (CoRR, 2014)

A SageTeX Hypermatrix Algebra Package. - Edinah K. Gnang; Ori Parzanchevski; Yuval Filmus (CoRR, 2014)

Counting arithmetic formulas. - Edinah K. Gnang; Maksym Radziwill; Carlo Sanna (Eur. J. Comb., 2015)

On Partial Differential Encodings, with Application to Boolean Circuits. - Edinah K. Gnang (CoRR, 2020)