Follow
Harshit J Motwani
Title
Cited by
Cited by
Year
Algebro-geometric algorithms for template-based synthesis of polynomial programs
AK Goharshady, S Hitarth, F Mohammadi, HJ Motwani
Proceedings of the ACM on Programming Languages 7 (OOPSLA1), 727-756, 2023
132023
Matroid stratifications of hypergraph varieties, their realization spaces, and discrete conditional independence models
O Clarke, K Grace, F Mohammadi, HJ Motwani
International Mathematics Research Notices 2023 (22), 18958-19019, 2023
112023
Conditional probabilities via line arrangements and point configurations
O Clarke, F Mohammadi, HJ Motwani
Linear and multilinear algebra 70 (20), 5268-5300, 2022
112022
The linear span of uniform matrix product states
C De Lazzari, HJ Motwani, T Seynnaeve
SIGMA. Symmetry, Integrability and Geometry: Methods and Applications 18, 099, 2022
92022
Global rigidity of line constrained frameworks
J Cruickshank, F Mohammadi, HJ Motwani, A Nixon, S Tanigawa
SIAM Journal on Discrete Mathematics 38 (1), 743-763, 2024
42024
Faster treewidth-based approximations for Wiener index
GK Conrado, AK Goharshady, P Hudec, P Li, HJ Motwani
22nd International Symposium on Experimental Algorithms (SEA 2024), 2024
42024
The leading coefficient of Lascoux polynomials
A Borzí, X Chen, HJ Motwani, L Venturello, M Vodička
Discrete Mathematics 346 (2), 113217, 2023
32023
Computing maximum likelihood estimates for Gaussian graphical models with Macaulay2
C Améndola, LDG Puente, R Homs, O Kuznetsova, HJ Motwani
Journal of Software for Algebra and Geometry 12 (1), 2022
32022
Automated Synthesis of Decision Lists for Polynomial Specifications over Integers
S Akshay, S Chakraborty, AK Goharshady, R Govind, HJ Motwani, ...
Conference on Logic for Programming, Artificial Intelligence and Reasoning …, 2024
22024
Parameterized algorithms for topological indices in chemistry
GK Conrado, AK Goharshady, HJ Motwani, S Novozhilov
arXiv preprint arXiv:2303.13279, 2023
22023
Practical Approximate Quantifier Elimination for Non-linear Real Arithmetic
S Akshay, S Chakraborty, AK Goharshady, R Govind, HJ Motwani, ...
International Symposium on Formal Methods, 111-130, 2024
1*2024
Algebro-Geometric Algorithms for Program Synthesis, Tensor Networks, and Conditional Independence Models
HJ Motwani
Ghent University, 2023
12023
The system can't perform the operation now. Try again later.
Articles 1–12