00:00:00 / 00:00:00

Appears in collection : Research School in Discrete Mathematics and Computer Science / École de recherche en mathématiques discrètes et informatique - WEEK 1

Walnut is computer software, written in Java, that implements an algorithm to decide the truth of first-order logic statements in an extension of Presburger arithmetic known as Buchi arithmetic. It can be used to prove a wide variety of results in combinatorics on words and number theory. In this course we will give an introduction to the theory behind Walnut, examples of the types of results that can be proved with it, and exercises for participants to get some hands-on training on how to use Walnut.

Information about the video

Citation data

  • DOI 10.24350/CIRM.V.20136303
  • Cite this video Rampersad, Narad (01/02/2024). An introduction to Walnut - lecture 1. CIRM. Audiovisual resource. DOI: 10.24350/CIRM.V.20136303
  • URL https://dx.doi.org/10.24350/CIRM.V.20136303



Last related questions on MathOverflow

You have to connect your Carmin.tv account with mathoverflow to add question

Ask a question on MathOverflow


  • Bookmark videos
  • Add videos to see later &
    keep your browsing history
  • Comment with the scientific
  • Get notification updates
    for your favorite subjects
Give feedback