Edinah K. Gnang

According to our database, Edinah K. Gnang authored at least 7 papers between 2012 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

On Partial Differential Encodings, with Application to Boolean Circuits.

Edinah K. Gnang

CoRR, 2020

2015

Counting arithmetic formulas.

Edinah K. Gnang, Maksym Radziwill, Carlo Sanna

Eur. J. Comb., 2015

2014

A SageTeX Hypermatrix Algebra Package.

Edinah K. Gnang, Ori Parzanchevski, Yuval Filmus

CoRR, 2014

Integer formula encoding SageTeX package.

Edinah K. Gnang

CoRR, 2014

2013

Some integer formula encodings and related algorithms.

Patrick Devlin, Edinah K. Gnang

Adv. Appl. Math., 2013

2012

The devil is in Asymmetries (Rough Version)

Edinah K. Gnang, Vidit Nanda

CoRR, 2012

Computational Tutorial on Gröbner bases embedding Sage in LaTeX with SageTEX

Edinah K. Gnang

CoRR, 2012