Title: An isoperimetric inequality for Artin groups of finite type
Abstract: We show that Artin groups of finite type satisfy a quadratic isoperimetric inequality. Moreover we describe an explicit algorithm to solve the word problem in quadratic time.