You're thinking about maths, logic and algorithmic, abstract disciplines that go nicely with programming, coding, or however you would like to call the physical implementation of the mathematical ideas derived using your pencil. Although you could argue about when exactly the step is made from abstraction to implementation, I like to think that it's somewhere between compile time and throughout testing.