Geodesic

Tome (2016) no. 4

Sommaire

Modeling arithmetic in the first-order language enriched with temporal quantifiers
p. 5-19
Effective algorithm for construction of terms of minimum computational complexity
p. 21-33
Change of the integral characteristics of the fluid flow in the axial vortex heat generator
p. 35-44
Computation features for Mathieu functions of arbitrary orders
p. 45-59
Circular orbits around gravitating configurations of phantom scalar fields
p. 61-78
Optimal reinsurance in the model with several risks within one insurance policy
p. 79-97