User Thinniyam Srinivasan Ramanatha - Writing Stack Exchange

1. Home
2. Questions
3. Tags
5. Users
6. Unanswered
Teams

Ask questions, find answers and collaborate at work with Stack Overflow for Teams.
Try Teams for free Explore Teams
Teams
Ask questions, find answers and collaborate at work with Stack Overflow for Teams. Explore Teams

Thinniyam Srinivasan Ramanatha

Member for 10 years, 4 months

Chennai, India

Network profile

Stats

101

reputation

0

reached

0

answers

0

questions

Communities

About

PhD student in Theoretical Computer Science at the Institute of Mathematical Sciences, Chennai (India)

Badges

This user doesn’t have any gold badges yet.

This user doesn’t have any silver badges yet.

1

bronze badge

Autobiographer

Oct 15, 2014

Posts

This user hasn’t posted yet.

Top network posts

View all network posts

14

nonstandard models and mathematical theorems

9

Decision problems vs functions

6

Bounded computation and incompleteness

5

Quantifier elimination vs decidability

5

A claim from "Graph minors - a survey" by Robertson and Seymour