An Introduction to Walnut - Lecture 2

Explore an in-depth lecture on Walnut, a powerful tool in discrete mathematics and computer science. Delivered by Narad Rampersad at the Centre International de Rencontres Mathématiques in Marseille, France, this 1 hour and 38 minute talk is part of the thematic meeting on "Discrete Mathematics and Computer Science." Delve into the second installment of Rampersad's introduction to Walnut, building upon concepts from the first lecture. Gain insights into advanced applications and techniques within this specialized field. Access this recording and other talks by renowned mathematicians through CIRM's Audiovisual Mathematics Library, which offers features such as chapter markers, keywords, enriched content with abstracts and bibliographies, and a multi-criteria search function for easy navigation.