Zur Hauptnavigation wechseln Zur Suche wechseln Zum Hauptinhalt wechseln

The NIST Project and Its Relation to Formal Mathematics

Aktivität: Vortrag oder Präsentation › Eingeladener Vortrag › unbekannt

Beschreibung

note: Invited key-note lecture. Invited talk at Special Semester on Gröbner Bases and Related Methods, Linz, Austria
Zeitraum01 März 2006
EreignistitelSpecial Semester on Gröbner Bases and Related Methods, Linz, Austria
VeranstaltungstypSonstiges
OrtÖsterreichAuf Karte anzeigen

Wissenschaftszweige

  • 101013 Mathematische Logik
  • 101001 Algebra
  • 101012 Kombinatorik
  • 101020 Technische Mathematik
  • 101 Mathematik
  • 101009 Geometrie
  • 101005 Computeralgebra