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

00:00:00 / 00:00:00

An introduction to Walnut - lecture 1

De Narad Rampersad

Apparaît dans la 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.

Informations sur la vidéo

Date de captation 01/02/2024
Date de publication 19/02/2024
Institut CIRM
Licence CC BY NC ND
Langue Anglais
Audience Chercheurs, Doctorants
Réalisateur(s) Guillaume Hennenfent
Format MP4

Données de citation

DOI 10.24350/CIRM.V.20136303
Citer cette vidéo 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

Domaine(s)

Combinatoire

Bibliographie

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

Codes MSC

Document(s)

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

Dernières questions liées sur MathOverflow

Pour poser une question, votre compte Carmin.tv doit être connecté à mathoverflow

Poser une question sur MathOverflow

Copyright Carmin.tv 2025

Donner son avis