n.
average, averaging, neutralization; усреднение по группе, group averaging; усреднение игры, mixed extension, mixed extension of a game
n.
average, averaging, neutralization; усреднение по группе, group averaging; усреднение игры, mixed extension, mixed extension of a game
Lohwater A. J.. Русско-английский словарь математических наук. Russian-English dictionary of the mathematical sciences. 2012