Sanjit A. Seshia (CMU, 2005)
          |
     Randal E. Bryant (MIT, 1981)
          |
     Jack B. Dennis (MIT, 1959)
          |
     Dean Arden (Purdue, 1957)
          |
     Michael Golomb (U. Berlin, 1933) ---------------------------------
       |                                                              |
     E. Schmidt (Gottingen, 1905)                              A. Hammerstein
       |                                                              |
     David Hilbert (Konigsberg, 1885)                             E. Landau
       |                                                              |
     C. L. F. Lindemann                                   G. Frobenius & L. Fuchs
     (Erlangen-Nurenberg, 1873)                                  |
       |                                              K. Weierstrass & E. Kummer 
     C. Felix Klein (Bonn, 1868) -----------                     |_____________________
       |                                   |                                           |
     J. Plucker (Marburg, 1823)         R. Lipschitz -------------------              ...
       |                               (Berlin, 1853)                  |               |
     C. Gerling (Gottingen, 1812)          |                      Martin Ohm      C.F. Gauss
       |                               G. Dirichlet------              |
     Carl F. Gauss                     (Bonn, 1827)     |          K. von Langsdorf
     (Helmstedt, 1799)                    |             |              |
       |                              S. Poisson     J.-B. Fourier     ?
     J. Pfaff (Gottingen, 1786)             |          |
       |                                  Joseph Lagrange
     A. Kaestner (Leipzig, 1739)                |
       |                                   Leonhard Euler
     C. Hausen                             (Basel, 1726)
     (Halle-Wittenberg 1713)                    |
       |                                 Johann Bernoulli
     J. C. Wichmannshausen                      |
     (Leipzig, 1685)                      Jacob Bernoulli
       |                                        |
     O. Mencke                           Gottfried Leibniz
     (Leipzig, 1665, 1666)                      |
       |                                     E. Weigel
       ?                                        |
                                                ?