Unpublished conference/Abstract (Scientific congresses and symposiums)
An Introduction to Walnut
Rampersad, Narad; Stipulanti, Manon
2024 • "Research School in Discrete Mathematics and Computer Science" at the CIRM Thematic Month "Discrete Mathematics & Computer Science: Groups, Dynamics, Complexity, Words"
walnut; computer software; Presburger arithmetic; Buchi arithmetic; combinatorics on words; number theory; theorem prover
Abstract :
[en] 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.
Disciplines :
Mathematics
Author, co-author :
Rampersad, Narad
Stipulanti, Manon ; Université de Liège - ULiège > Département de mathématique > Mathématiques discrètes
Language :
English
Title :
An Introduction to Walnut
Publication date :
2024
Event name :
"Research School in Discrete Mathematics and Computer Science" at the CIRM Thematic Month "Discrete Mathematics & Computer Science: Groups, Dynamics, Complexity, Words"
