96 citations · 491 across the 80 of their papers we have counts for
6 papers · 1 filter
A Preprocessor Based on Clause Normal Forms and Virtual Substitutions to Parallelize Cylindrical Algebraic Decomposition
Hari Krishna Malladi, Ambedkar Dukkipati
The Cylindrical Algebraic Decomposition (CAD) algorithm is a comprehensive tool to perform quantifier elimination over real closed fields. CAD has doubly exponential running time,…
An Algebraic Characterization of Rainbow Connectivity
Prabhanjan Ananth, Ambedkar Dukkipati
The use of algebraic techniques to solve combinatorial problems is studied in this paper. We formulate the rainbow connectivity problem as a system of polynomial equations. We firs…
Tropical Algebraic approach to Consensus over Networks
Joel George Manathara, Ambedkar Dukkipati, Dabasish Ghose
In this paper we study the convergence of the max-consensus protocol. Tropical algebra is used to formulate the problem. Necessary and sufficient conditions for convergence of the…
On Consensus under Polynomial Protocols
Joel George Manathara, Ambedkar Dukkipati, Debasish Ghose
In this paper we explore the possibility of using computational algebraic methods to analyze a class of consensus protocols. We state some necessary conditions for convergence unde…
A Two Stage Selective Averaging LDPC Decoding
A. Dinesh Kumar, Ambedkar Dukkipati
Low density parity-check (LDPC) codes are a class of linear block codes that are decoded by running belief propagation (BP) algorithm or log-likelihood ratio belief propagation (LL…
On Gröbner Basis Detection for Zero-dimensional Ideals
Prabhanjan Ananth, Ambedkar Dukkipati
The Gröbner basis detection (GBD) is defined as follows: Given a set of polynomials, decide whether there exists -and if "yes" find- a term order such that the set of polynomials i…