Hybrid symbolic-numeric methods in geosciences

Modern computing systems, like Mathematica, are blending numeric and symbolic evaluation of many algorithms improving their efficiencies (time, accuracy). In this contribution three toy-examples of the application of hybrid symbolic-numeric computations in geosciences are presented in order to illustrate the features of this advanced technique, namely: ranging GNSS satellites, computing GNSS cycle ambiguities and employing symbolic regression for verifying Kepler’s third law

(Schw)Ehre, wem (Schw)Ehre gebührt : Festschrift zur Verabschiedung von Prof. Dr.-Ing. Dr. h.c. Bernhard Heck

Die Festschrift zur Verabschiedung von Prof. Bernhard Heck enthält 41 Beiträge aus dem Freundeskreis, der Kollegenschaft sowie von ehemaligen Promovierenden. Der Schwerpunkt der Arbeiten liegt auf den Gebieten der Physikalischen und Satellitengeodäsie sowie der Geodynamik und spiegelt das vielfältige Wirken von Bernhard Heck wider. Abgerundet wird die Schrift durch Beiträge zur Ausbildung am Geodätischen Institut des KIT und zur Stellung der Geodäsie im gesellschaftlichen Kontext