|
 |
2017 г. Авторы: Blaszczyk Piotr, Kanovei V., U. Katz Karin, G. Katz Mikhail, et al.Is Leibnizian calculus embeddable in first order logic?
Foundations of Science, 2017, 22, Issue 4, pp 717–731.
DOI:
10.1007/s10699-016-9495-6 .
WoS Q2
Перейти к публикации |
 |
2017 г. Авторы: Bair J., Blaszczyk P., Ely R., Henry V., Kanovei V., Katz K., Katz M., et al.Interpreting the infinitesimal mathematics of Leibniz and Euler,
Journal for General Philosophy of Science, 2017, 48, issue 2, pp, 195--238.
DOI: 10.1007/s10838-016-9334-z .
SCOPUS Q2 Перейти к публикации |
 |
2017 г. Авторы: Кановей В.Г., Любецкий В.А.Определимое счетное множество, не содержащее определимых элементов.
Математические заметки, 2017, 102, вып. 3, стр. 369-382.
doi:10.4213/mzm10842 Перейти к публикации |
 |
2017 г. Авторы: Blazczyk P., Kanovei V., Katz M., Sherry D.Controversies on foundations of analysis: comments on Schubring’s conflicts.
Foundations of Science, 2017, 22, 1, pp. 125--140.
DOI:
10.1007/s10699-015-9473-4 .
WoS Q2 Перейти к публикации |
 |
2017 г. Авторы: Golshani M., Kanovei V., Lyubetsky V.A Groszek-Laver pair of undistinguishable E0-classes.
Mathematical Logic Quarterly,
2017, Vol. 63, No. 1–2, P. 19–31.
doi:10.1002/malq.201500020 Перейти к публикации |
 |
2016 г. Авторы: Golshani M., Kanovei V., Lyubetsky V.A Groszek-Laver pair of undistinguishable E0 classes.
arXiv:1601.03477 [math.LO], Jan 14 2016, 18 pp. Перейти к публикации |
 |
2016 г. Авторы: Зверко́в О.А., Русин Л.Ю., Любецкий В.А., Алёшин В.В.Problem of phylogenetic position of dicyemids.
Abstracts of the International Symposium "Cognitive Sciences, Genomics and Bioinformatics" (CSGB-2016),
Novosibirsk, Russia, August 29–31 2016, P. 68. Перейти к публикации |
 |
2016 г. Авторы: Горбунов К.Ю., Любецкий В.А.Модифицированный алгоритм преобразования хромосомных структур: условия абсолютной точности.
Современные информационные технологии и ИТ-образование.
2016, том 12, № 1, стр. 162–172. Перейти к публикации |
 |
2016 г. Авторы: Селиверстов А.В.Начертательная геометрия для преподавания дискретной математики Математические методы и модели: теория, приложения и роль в образовании: Международная научно-техническая конференция (Россия, г. Ульяновск, 28-30 апреля 2016 г.): сборник научных трудов. Ч. 1 / под общ. ред. д-ра физ.-мат. наук, проф. П. А. Вельмисова. Ульяновск: УлГТУ, 2016.
С. 257-260.
Перейти к публикации Загрузить (4.4 MB) |
 |
2016 г. Авторы: Korolev S., Gorbunov K., Zverkóv O., Seliverstov A., Lyubetsky V.Degenerate inverted repeats in the genomes of mycobacterium.
CEUR Workshop Proceedings (CEUR-WS.org), Selected Papers of the First International Scientific Conference Convergent Cognitive Information Technologies (Convergent 2016), Moscow, Russia, November 25–26 2016, vol. 1763, p. 182–187, in Russian.
|
 |
2016 г. Авторы: Lyubetsky V., Piel W., Stadler P.Molecular Phylogenetics 2016.
BioMed Research International,
2016, vol. 2016, Article ID 9029306.
DOI: 10.1155/2016/9029306, PMID: 28127550 Перейти к публикации |
 |
2016 г. Авторы: Gorbunov K., Lyubetsky V.A modified algorithm for transformation of chromosomal structures: a condition of absolute exactness.
CEUR Workshop Proceedings (CEUR-WS.org), Selected Papers of the First International Scientific Conference Convergent Cognitive Information Technologies (Convergent 2016), Moscow, Russia, November 25–26 2016, vol. 1763, p. 162–172, in Russian.
|
 |
2016 г. Авторы: Горбунов К.Ю., Любецкий В.А.Линейный алгоритм кратчайшей перестройки графов при разных ценах операций.
Информационные процессы, 2016, том 16, № 2, стр. 223–236.
|
 |
2016 г. Авторы: Lyubetsky V., Seliverstov A.A Novel Algorithm for Solution of a Combinatory Set Partitioning Problem.
Journal of Communications Technology and Electronics,
2016, vol. 61, no. 6, p. 705–708.
DOI: 10.1134/S1064226916060152
|
 |
2016 г. Авторы: Rubanov L., Seliverstov A., Zverkóv O., Lyubetsky V.A method for identification of highly conserved elements and evolutionary analysis of superphylum Alveolata.
BMC Bioinformatics.
2016, vol. 17, art. 385, 16 pp.
DOI: 10.1186/s12859-016-1257-5, PMID: 27645252 Перейти к публикации |
 |
2016 г. Авторы: Селиверстов А.В.О симметрии проективных кривых. Вестник ТвГУ. Серия: Прикладная математика. 2016. № 3. С. 59-66.
Загрузить (276.9 KB) |
 |
2016 г. Авторы: Рубанов Л.И., Зверко́в О.А., Селиверстов А.В., Любецкий В.А.Высоко консервативные элементы в митохондриях однодольных растений.
Современные информационные технологии и ИТ-образование.
2016, том 12, № 2. стр. 211-215.
|
 |
2016 г. Авторы: Королев С.А., Горбунов К.Ю., Зверко́в О.А., Селиверстов А.В., Любецкий В.А.Вырожденные инвертированные повторы в геномах микобактерий.
Современные информационные технологии и ИТ-образование.
2016, том 12, № 1. стр. 162-172.
|
 |
2016 г. Авторы: Kanovei V., Lyubetsky V.A generic property of Solovay"s set Σ.
arXiv:1611.00176 [math.LO], November 2016, 4 pp. Перейти к публикации |
 |
2016 г. Авторы: Kanovei V., Lyubetsky V.In Cohen generic extension, every countable OD set of reals belongs to the ground model.
July 2016, arXiv:1607.02880 [math.LO]
pp. 1-3. Перейти к публикации |
|
|
|
|