Introduction to the Groebner Bases Method

Activity: Talk or presentation › Invited talk › unknown

Description

Talk given in the frame of the seminar "Fast SAT Solvers and Practical Decision Procedures". Invited colloquium talk at Carnegie Mellon University, Computer Science Deptartment
Period28 Apr 2006
Event titleSeminar "Fast SAT Solvers and Practical Decision Procedures"
Event typeOther
LocationUnited StatesShow on map

Fields of science

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