Edinah K. Gnang

Publication Activity (10 Years)

Years Active: 2012-2023
Publications (10 Years): 3

Top Topics

Related Algorithms

Quantifier Free

Top Venues

Adv. Appl. Math.

Publications

Rongyu Xu, Edinah K. Gnang
Improved bounds on the Product Rank of the Permanent. CoRR (2023)
Edinah K. Gnang
On Partial Differential Encodings, with Application to Boolean Circuits. CoRR (2020)
Edinah K. Gnang, Maksym Radziwill, Carlo Sanna
Counting arithmetic formulas. Eur. J. Comb. 47 (2015)
Edinah K. Gnang, Maksym Radziwill, Carlo Sanna
Counting arithmetic formulas. CoRR (2014)
Edinah K. Gnang, Ori Parzanchevski, Yuval Filmus
A SageTeX Hypermatrix Algebra Package. CoRR (2014)
Edinah K. Gnang
Integer formula encoding SageTeX package. CoRR (2014)
Edinah K. Gnang, Patrick Devlin
Some integer formula-encodings and related algorithms CoRR (2013)
Patrick Devlin, Edinah K. Gnang
Some integer formula encodings and related algorithms. Adv. Appl. Math. 51 (4) (2013)
Edinah K. Gnang, Vidit Nanda
The devil is in Asymmetries (Rough Version) CoRR (2012)
Edinah K. Gnang
Computational Tutorial on Gröbner bases embedding Sage in LaTeX with SageTEX CoRR (2012)