The project aims at computing Riemann's zeroes with high accuracy through an analysis of large determinants using Matyasievich's Artless method. Location of Riemann's zeroes is the famous 8th Hilbert
This dataset is the supplementary data for the publication https://arxiv.org/abs/2102.05541. Machine Learning (ML) is becoming increasingly popular in fluid dynamics. Powerful ML algorithms such as ne
This dataset contains source code and consoles for computing chromatic numbers with exact decision diagrams, solving integer programs with exact arithmetic. The chromatic number of the DIMACS instance
The stability of buoyancy-driven convection in a viscoelastic fluid saturating a vertical porous layer under the influence of a horizontal throughflow is studied. The viscoelastic behaviour is display
