Осипов Н. Н.

•
по видупо алфавитупо году издания
1
Записей показано: 1, всего у данной персоны: 1

Авторские труды

Осипов Н. Н. Символьные вычисления в математических доказательствах (computer assisted proofs). — 2020‍  Осипов Н. Н. Символьные вычисления в математических доказательствах (computer assisted proofs) // Математическое образование. — 2020. — № 2. — С. 42—47.
Про­должая исполь­зо­вать дан­ный сайт, вы выража­ете согла­сие с усло­ви­ями его исполь­зо­ва­ния