Français
An introduction to Walnut - lecture 2
Multi angle
Authors : Rampersad, Narad (Author of the conference)
CIRM (Publisher )
03F30 - First-order arithmetic and fragments
68Q45 - Formal languages and automata
68R15 - Combinatorics on words
Additional resources :
https://www.cirm-math.fr/RepOrga/3148/Slides/slides_walnut.pdf
CIRM (Publisher )
Loading the player...
|
Abstract :
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
MSC Codes : 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
Additional resources :
https://www.cirm-math.fr/RepOrga/3148/Slides/slides_walnut.pdf
|
Information on the Video
Film maker : Hennenfent, GuillaumeLanguage : English Available date : 19/02/2024 Conference Date : 01/02/2024 Subseries : Research School arXiv category : Combinatorics ; Formal Languages and Automata Theory Mathematical Area(s) : Combinatorics ; Computer Science ; Logic and Foundations ; Number Theory Format : MP4 (.mp4) - HD Video Time : 01:38:03 Targeted Audience : Researchers ; Graduate Students ; Doctoral Students, Post-Doctoral Students Download : https://videos.cirm-math.fr/2024-02-01_Rampersad_Part2.mp4 
|
Information on the Event
Event Title : Research School in Discrete Mathematics and Computer Science / École de recherche en mathématiques discrètes et informatique - WEEK 1Event Organizers : Cassaigne, Julien ; Chalopin, Jérémie ; Chepoi, Victor ; Guillon, Pierre ; Moutot, Etienne ; Theyssier, Guillaume Dates : 29/01/2024 - 02/02/2024 Event Year : 2024 Event URL : https://conferences.cirm-math.fr/3148.html
Citation Data
DOI : 10.24350/CIRM.V.20136803Cite this video as: Rampersad, Narad (2024). An introduction to Walnut - lecture 2. CIRM. Audiovisual resource. doi:10.24350/CIRM.V.20136803 URI : http://dx.doi.org/10.24350/CIRM.V.20136803 |
See Also
- [Multi angle] Lost in ecological transition ? The trajectory of a (computer) scientist in the Anthropocene / Author of the conference Lefèvre, Julien.
- [Multi angle] Tutorial on cellular automata - lecture 2 / Author of the conference Ollinger, Nicolas.
- [Multi angle] Randomness and complexity - lecture 2 / Author of the conference Perifel, Sylvain.
- [Multi angle] Tutorial on cellular automata - lecture 1 / Author of the conference Ollinger, Nicolas.
- [Multi angle] Diagram groups and their geometry - lecture 1 / Author of the conference Skipper, Rachel.
- [Multi angle] An introduction to Walnut - lecture 1 / Author of the conference Rampersad, Narad.
- [Multi angle] Randomness and complexity - lecture 1 / Author of the conference Perifel, Sylvain.
- [Multi angle] Complexity and the hat / Author of the conference Goodman-Strauss , Chaim.
- [Multi angle] Diagram groups and their geometry - lecture 2 / Author of the conference Genevois, Anthony.
- [Multi angle] The crossing paths of Mandelbrot and Schützenberger: an episode of crossovers between maths and computing (1953-1963) / Author of the conference Bullynck, Maarten.
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
Imagette Video
