English
An introduction to Walnut - lecture 1
Multi angle
Auteurs : Rampersad, Narad (Auteur de la Conférence)
CIRM (Editeur )
03F30 - First-order arithmetic and fragments
68Q45 - Formal languages and automata
68R15 - Combinatorics on words
Ressources complémentaires :
https://www.cirm-math.fr/RepOrga/3148/Slides/slides_walnut.pdf
CIRM (Editeur )
|
Résumé :
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.
Keywords : automatic sequence; combinatorics on words; first-order logic; Buchi arithmetic; computer prover
Codes MSC : Keywords : automatic sequence; combinatorics on words; first-order logic; Buchi arithmetic; computer prover
03F30 - First-order arithmetic and fragments
68Q45 - Formal languages and automata
68R15 - Combinatorics on words
Ressources complémentaires :
https://www.cirm-math.fr/RepOrga/3148/Slides/slides_walnut.pdf
|
Informations sur la Vidéo
Réalisateur : Hennenfent, GuillaumeLangue : Anglais Date de publication : 19/02/2024 Date de captation : 01/02/2024 Sous collection : Research School arXiv category : Combinatorics ; Formal Languages and Automata Theory Domaine : Combinatorics ; Computer Science ; Logic and Foundations ; Number Theory Format : MP4 (.mp4) - HD Durée : 01:34:47 Audience : Researchers ; Graduate Students ; Doctoral Students, Post-Doctoral Students Download : https://videos.cirm-math.fr/2024-01-30_Rampersad_Part1.mp4 
|
Informations sur la Rencontre
Nom de la rencontre : Research School in Discrete Mathematics and Computer Science / École de recherche en mathématiques discrètes et informatique - WEEK 1Organisateurs de la rencontre : Cassaigne, Julien ; Chalopin, Jérémie ; Chepoi, Victor ; Guillon, Pierre ; Moutot, Etienne ; Theyssier, Guillaume Dates : 29/01/2024 - 02/02/2024 Année de la rencontre : 2024 URL Congrès : https://conferences.cirm-math.fr/3148
Données de citation
DOI : 10.24350/CIRM.V.20136303Citer cette vidéo: Rampersad, Narad (2024). An introduction to Walnut - lecture 1. CIRM. Audiovisual resource. doi:10.24350/CIRM.V.20136303 URI : http://dx.doi.org/10.24350/CIRM.V.20136303 |
Voir aussi
- [Multi angle] Lost in ecological transition ? The trajectory of a (computer) scientist in the Anthropocene / Auteur de la Conférence Lefèvre, Julien.
- [Multi angle] Tutorial on cellular automata - lecture 2 / Auteur de la Conférence Ollinger, Nicolas.
- [Multi angle] An introduction to Walnut - lecture 2 / Auteur de la Conférence Rampersad, Narad.
- [Multi angle] Randomness and complexity - lecture 2 / Auteur de la Conférence Perifel, Sylvain.
- [Multi angle] Tutorial on cellular automata - lecture 1 / Auteur de la Conférence Ollinger, Nicolas.
- [Multi angle] Diagram groups and their geometry - lecture 1 / Auteur de la Conférence Skipper, Rachel.
- [Multi angle] Randomness and complexity - lecture 1 / Auteur de la Conférence Perifel, Sylvain.
- [Multi angle] Complexity and the hat / Auteur de la Conférence Goodman-Strauss , Chaim.
- [Multi angle] Diagram groups and their geometry - lecture 2 / Auteur de la Conférence Genevois, Anthony.
- [Multi angle] The crossing paths of Mandelbrot and Schützenberger: an episode of crossovers between maths and computing (1953-1963) / Auteur de la Conférence Bullynck, Maarten.
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
Imagette Video
