The NIST Project and Its Relation to Formal Mathematics

Activity: Talk or presentation › Invited talk › unknown

Description

note: Invited key-note lecture. Invited talk at Special Semester on Gröbner Bases and Related Methods, Linz, Austria
Period01 Mar 2006
Event titleSpecial Semester on Gröbner Bases and Related Methods, Linz, Austria
Event typeOther
LocationAustriaShow on map

Fields of science

  • 101013 Mathematical logic
  • 101001 Algebra
  • 101012 Combinatorics
  • 101020 Technical mathematics
  • 101 Mathematics
  • 101009 Geometry
  • 101005 Computer algebra