Genetic Programming is capable of automatically inducing symbolic computer programs on the basis of a set of examples or their performance in a simulation. Mathematical expressions are a well-defined subset of symbolic computer programs and are also suitable for optimization using the genetic programming paradigm. The induction of mathematical expressions based on data is called symbolic regression. In this work, genetic programming is extended to not just fit the data i.e., get the numbers right, but also to get the dimensions right. For this units of measurement are used. The main contribution in this work can be summarized as: The symbolic expressions produced by genetic programming can be made suitable for analysis and interpretation by using units of measurement to guide or restrict the search. To achieve this, the following has been accomplished: .A standard genetic programming system is modified to be able to induce expressions that more-or-less abide type constraints. This system is used to implement a preferential bias towards dimensionally correct solutions. .A novel genetic programming system is introduced that is able to induce expressions in languages that need context-sensitive constraints. It is demonstrated that this system can be used to implement a declarative bias towards 1. the exclusion of certain syntactical constructs; 2. the induction of expressions that use units of measurement; 3. the induction of expressions that use matrix algebra; 4. the induction of expressions that are numerically stable and correct. .A case study using tour real-world problems in the induction of dimensionally correct empirical-equations on data using the two different methods is presented to illustrate the use and limitations of these methods in a framework of scientific discovery.