Automatic Theorem Proving in Walnut

03/18/2016
by   Hamoon Mousavi, et al.
0

Walnut is a software package that implements a mechanical decision procedure for deciding certain combinatorial properties of some special words referred to as automatic words or automatic sequences. Walnut is written in Java and is open source. It is licensed under GNU General Public License.

READ FULL TEXT
research
02/02/2021

Pecan: An Automated Theorem Prover for Automatic Sequences using Büchi Automata

Pecan is an automated theorem prover for reasoning about properties of S...
research
03/27/2023

Transduction of Automatic Sequences and Applications

We consider the implementation of the transduction of automatic sequence...
research
08/11/2021

Automatic Sequences of Rank Two

Given a right-infinite word x over a finite alphabet A, the rank of x is...
research
08/11/2022

Automatic Sequences in Negative Bases and Proofs of Some Conjectures of Shevelev

We discuss the use of negative bases in automatic sequences. Recently th...
research
10/28/2020

TopicModel4J: A Java Package for Topic Models

Topic models provide a flexible and principled framework for exploring h...
research
03/20/2023

Challenges of Producing Software Bill Of Materials for Java

Software bills of materials (SBOM) promise to become the backbone of sof...
research
11/20/2019

Paraphrasing Verbs for Noun Compound Interpretation

An important challenge for the automatic analysis of English written tex...

Please sign up or login with your details

Forgot password? Click here to reset