Geodesic

Tome (2023) no. 1

Sommaire

Trees as a tool for modelling undecidable problems
p. 5-23
On decidability of finite subsets’ theory for dense linear order
p. 24-35
On construction of exact solutions of stationary quasi-hydrodynamic system using Lin's substitution
p. 36-48
On the dynamic effects of the motion of the center of mass of a rotating solid bodies in the central field
p. 49-83