An Introduction to Walnut - Lecture 1

Explore the fundamentals of Walnut in this comprehensive lecture delivered by Narad Rampersad at the Centre International de Rencontres Mathématiques in Marseille, France. Recorded during the thematic meeting on "Discrete Mathematics and Computer Science" on January 30, 2024, this 1 hour and 35 minute presentation offers an in-depth introduction to the subject. Access this video and other talks by renowned mathematicians through CIRM's Audiovisual Mathematics Library, which features chapter markers, keywords, enriched content with abstracts and bibliographies, and a multi-criteria search function. Delve into the world of discrete mathematics and computer science, gaining valuable insights from this expertly crafted lecture.