Shivashish Jaishy
Papers
1
Total Citations
2
H-Index
1
About
No biography available yet.
Research Focus
Artificial intelligence1 · 2 citations
Automated theorem proving1 · 2 citations
Calculus (dental)1 · 2 citations
Computer science1 · 2 citations
Gas meter prover1 · 2 citations
Mathematical proof1 · 2 citations
Mathematics1 · 2 citations
Robot1 · 2 citations
Test (biology)1 · 2 citations
Theoretical computer science1 · 2 citations
Key Achievements
1
H-Index
1
Papers
2
Total Citations
2
Avg Citations/Paper
🏆 Most Cited Paper
Problem Solving with Interactive-Theorem Proving - A Case Study
2 citations · 2016
📈 Most Prolific Year: 2016 (1 Papers)
🤝 Key Collaborators: 2
🏛 Institutions: Aichi Institute of Technology
Top Papers
- 1Problem Solving with Interactive-Theorem Proving - A Case Study2 citations · 2016
Key Collaborators
Not generated yet