My research focuses on wireless networking and designing various protocols. I primarily build systems. I, sometimes, analyze the performance of those systems, using techniques from probability, statistics, and algebra.
I want to improve my understanding of the mathematical underpinnings of my work. Specifically:
- Derive and prove theorems on properties of a system and prove it;
- Model a system.
- take theory courses;
- read math-heavy papers and learn.
For (1), what types of courses are likely to be useful? Is Great Theoretical Ideas In Computer Science a good source?
For (2), I find it difficult to lead from reading a proof to writing one of my own, or from reading about a model to creating my own model. Input is easy, output is still hard. Any good examples (papers, books, or online courses) to learn how to output theoretical results?
Besides these two lines of suggestions, any other specific suggestions on how to be a more mathematically fluent researcher for someone like me who is from systems background?
Some more context for the whole question: I'm working on my first theory-oriented paper and I have great difficulty in proving the optimality of my proposed protocol. Thus I'm asking to see if there is a general way to hone my proof skills in the short term and my general math skills in the long run.