2 papers
cs.AI2026
Why Pure Reasoning is Not Enough: Nature as the Source of Mathematical Innovation
Charanjit S. Jutla, Vimal Sharma
We advance the hypothesis that human mathematical reasoning, constrained by both the undecidability and the computational intractability of even modest logical fragments, relies fu…
cs.CC2025
Efficient Isolation of Perfect Matching in O(log n) Genus Bipartite Graphs
Chetan Gupta, Raghunath Tewari, Vimal Raj Sharma
We show that given an embedding of an genus bipartite graph, one can construct an edge weight function in logarithmic space, with respect to which the minimum weight pe…