Login / Signup
Malay Dutta
Publication Activity (10 Years)
Years Active: 2008-2023
Publications (10 Years): 2
Top Topics
Linear Logic
Vector Space
Proof Planning
Theorem Prover
Top Venues
CoRR
</>
Publications
</>
Malay Dutta
,
Anjana Kakoti Mahanta
A new approach for a proof that P is NP.
CoRR
(2023)
Malay Dutta
,
Anjana Kakoti Mahanta
Basis for a vector space generated by Hamiltonian time paths in a complete time graph.
CoRR
(2022)
Malay Dutta
Two conjectures such that the proof of any one of them will lead to the proof that P = NP
CoRR
(2008)