Autowerkstätten, die Mechanik und Diagnostik anbieten, kennt man auch aus Deutschland. Autowerkstätten, die Geometrie anbieten, habe ich in Deutschland noch nicht gesehen, sind in Polen aber recht häufig. Gemeint ist vermutlich Fahrwerksgeometrie? Aufgenommen irgendwo zwischen Świnoujście und Koszalin.

|- import_tame_classification /\ the_nonlinear_inequalities ==> the_kepler_conjectureist ein mit Hilfe von HOL formalisiertes Theorem, wobei the_kepler_conjecture definiert ist durch`(!V. packing V ==> (?c. !r. &1 &(CARD(V INTER ball(vec 0,r))) <=...

Daimler und Benz Stiftung schreibt Stipendien für Postdoktoranden und Juniorprofessoren aus Für das Jahr 2015 werden erneut 12 Stipendien ausgeschrieben - Das Förderprogramm ist für sämtliche Fachrichtungen und Themen offen Das Stipendienprogramm der Daimler und Benz Stiftung richtet...

Numerisches Wurzelziehen und das wohltemperierte Klavier.Ein neues Video der Universität Chicago erklärt die Rolle der Mathematik für die Klaviermusik: Es geht um das Berechnen der zwölften Wurzel aus 2, die man für die Aufteilung der Oktave in der gleichtemperierten...

Vergangene Woche schrieb Francis Su, Mathematikprofessor im kalifornischen Claremont und designierter Präsident der Mathematical Assocation of America einen kleinen Text für die Los Angeles Times - über Frauen, Preise und Mathematik. Anlass war natürlich die Fields-Medaille für Maryam Mirzakhani, die erste...