Introduction to the Groebner Bases Method

Windsteiger, W. (Vortragende*r)

Institut für Symbolisches Rechnen

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

Beschreibung

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

Zeitraum	28 Apr. 2006
Ereignistitel	Seminar "Fast SAT Solvers and Practical Decision Procedures"
Veranstaltungstyp	Sonstiges
Ort	USA/Vereinigte StaatenAuf Karte anzeigen

Wissenschaftszweige

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