Rakesh Kumar

RK

Statistics

Publications

3

Citations

65

H-Index

3

Active since

2005

Rakesh Kumar is an author at MIT Art, Design and Technology University specializing in automated theorem proving, interactive proof systems, and interactive theorem proving.

Publications per year

2005–2024

3

Publications

3