An introduction to Walnut - lecture 1 | Vidéo | Carmin.tv

00:00:00 / 00:00:00

An introduction to Walnut - lecture 1

By Narad Rampersad

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

Date of recording 01/02/2024
Date of publication 19/02/2024
Institution CIRM
Licence CC BY NC ND
Language English
Audience Researchers, Graduate Students
Director(s) Guillaume Hennenfent
Format MP4

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

Domain(s)

Combinatorics

Bibliography

SHALLIT, Jeffrey. The logical approach to automatic sequences: Exploring combinatorics on words with Walnut. Cambridge University Press, 2022. - https://doi.org/10.1017/9781108775267

MSC codes

Document(s)

https://www.cirm-math.fr/RepOrga/3148/Slides/slides_walnut.pdf

Last related questions on MathOverflow

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

Ask a question on MathOverflow

Copyright Carmin.tv 2025

Give feedback