Work

Computer-assisted verification of stability results for a D1Q3 Lattice Boltzmann scheme

Year: 2026

Type: preprint

Abstract: This software provides computer-assisted verification of mathematical results presented in the associated research paper. It contains SageMath and Python scripts for symbolic and numerical computations, as well as visualization tools used to reproduce and illustrate the results.

Source: HAL

DOI: 10.5281/zenodo.23390934

Authors: Bellotti, Thomas, Caetano, Filipa, Dubois, François, Graille, Benjamin

Language: English

Topic: Lattice Boltzmann Simulation Studies

Subfield: Computational Mechanics

Field: Engineering

Domain: Physical Sciences

Open Access status: green

OpenAlex ID: W7222318511

Cites:

Cited by:

Related to: 10