Direkt zum Inhalt
 
 
Eine algebraische Fläche vom Grad 6 (eine "Sextik"), die 65 Singularitäten besitzt.
 
  Startseite  
 
Sie sind hier:» Universität » Mathematik und Informatik » Formale Methoden
  • Print this page
  • create PDF file

Homepage der Arbeitsgruppe Formale Methoden

Forschungsgebiete

  • Coalgebra
  • Universelle Algebra
  • Logik
  • Verifikation
  • Model Checking
 
Die AG Formale Methoden in Budapest
Die AG Formale Methoden in Budapest.

Zuletzt aktualisiert: 05.11.2009 · fohry

 
 
 
Fb. 12 - Mathematik und Informatik

Fb. 12 - Mathematik und Informatik, Hans-Meerwein-Straße, D-35032 Marburg
Tel. 06421/28-21514, Fax 06421/28-25466, E-Mail: dekanatfb12@mathematik.uni-marburg.de

URL dieser Seite: http://www.uni-marburg.de/fb12/formalemethoden

Impressum