ÂÅÐÑÈß ÄËß ÑËÀÁÎÂÈÄßÙÈÕ
Enter
Login:
Password:
Forgot your password?
scientific activity
structureeducational projectsperiodicalsstaffpress centercontacts
ðóññêèé | english
Ïóáëèêàöèé íà ñòðàíèöå:    Page: 12345 6 ... 1314151617
2018 year
Authors: Kanovei V., Katz M., Blaszczyk P., Nowik T.

Monotone subsequence via ultrapower.
Open Mathematics, 2018, 16, 1, c. 149-153
DOI: 10.1515/math-2018-0015
WoS Q2
Go to publication

2018 year
Authors: Kanovei V., Katz K., Katz M., Mormann T.

What makes a theory of infinitesimals useful? A view by Klein and Fraenkel.
Journal of Humanistic Mathematics, 2018, 8, 1, pp. 108-119.
DOI: 10.5642/jhummath.201801.07
Go to publication

2018 year
Authors: Bascelli T., Blazczyk P., Borovik A., Kanovei V., Katz K., Katz M., Kutateladze S., McCaffery T., Schaps D., Sherry D.

Cauchy"s infinitesimals, his sum theorem, and foundational paradigms.
Foundations of Science, 2018, 23, 2, pp 267–296.
DOI: 10.1007/s10699-017-9534-y
WoS Q2
Go to publication

2018 year
Authors: Kanovei V., Lyubetsky V.

Countable OD sets of reals belong to the ground model. Archive for Mathematical Logic, 2018, Vol. 57, Iss. 3–4, P. 285–298. DOI: 10.1007/s00153-017-0569-0
Go to publication

2018 year
Authors: Bascelli T., Blaszczyk P., Kanovei V., Katz K., Katz M., et al.

Gregory"s sixth operation,
Foundations of Science, 2018, 23, 1, pp. 133--144.
DOI: 10.1007/s10699-016-9512-9
WoS Q2
Go to publication

2018 year
Authors: Herzberg F., Kanovei V., Katz M., Lyubetsky V.

Minimal axiomatic frameworks for definable hyperreals with transfer. Journal of Symbolic Logic, 2018, 83, 1, pp. 385-391. DOI: 10.1017/jsl.2017.48 (WoS Q1)
Go to publication

2018 year
Authors: Kanovei V., Lyubetsky V.

Non-uniformizable sets of second projective level with countable cross-sections in the form of Vitali classes. Izvestiya: Mathematics, 2018, Vol. 82, No. 1, P. 61–90. DOI: 10.1070/IM8521 (WoS Q2)
Go to publication

2017 year
Authors: Herzberg F., Kanovei V., Katz M., Lyubetsky V.

Minimal axiomatic frameworks for definable hyperreals with transfer. arXiv:1707.00202 [math.LO], July 2017.
Go to publication

2017 year
Authors: Zverkóv O., Mikhailov K., Rusin L., Lyubetsky V., Aleoshin V.

Phylogenomic evidence disentangles affinities of the Mesozoa. Proceedings of the 4th International Congress on Invertebrate Morphology (ICIM4), Moscow, Russia, August 18–23 2017, P. 55.
Go to publication

2017 year
Authors: Lyubetsky V., Gershgorin R., Rubanov L., Seliverstov A., Zverkóv O.

Evolution and systematics of plastids of rhodophytic branch. Proceedings of the International Moscow Conference on Computational Molecular Biology: MCCMB’17, Moscow, Russia, July 27–30 2017, P. 48.
Go to publication

2017 year
Authors: Lyubetsky V., Rubanov L., Gorbunov K., Zverkóv O., Seliverstov A.

Highly conserved elements in mitochondrial genomes of ciliates and monocots. Materials of the IX International Congress “Biotechnology: State of the Art and Prospects of Development”, Moscow, Russia, February 20–22 2017, Part 1, P. 393.
Go to publication

2017 year
Authors: Lyubetsky V., Gershgorin R., Gorbunov K.

Chromosome structures: reduction of certain problems with unequal gene content and gene paralogs to integer linear programming. BMC Bioinformatics, 2017, Vol. 18, No. 537. doi:10.1186/s12859-017-1944-x, PMID: 29212445 (WoS Q1)
Go to publication

2017 year
Authors: Zverkóv O., Rubanov L., Rusin L., Seliverstov A., Lyubetsky V.

Finding long highly conserved elements in complete animal genomes. CEUR Workshop Proceedings, Feb 23 2018, Vol. 2064, Convergent Cognitive Information Technologies 2017, P. 402–408, in Russian.
Go to publication

2017 year
Authors: Gorbunov K., Lyubetsky V.

Transformation of large chromosome structures: an algorithm of equalization of gene contents. CEUR Workshop Proceedings, Feb 23 2018, Vol. 2064, Convergent Cognitive Information Technologies 2017, P. 395–401, in Russian.
Go to publication

2017 year
Authors: Bair J., Blaszczyk P., Ely R., Henry V., Kanovei V., Katz K., Katz M., Kudryk T., Kutateladze S., McGaffey T., Mormann T., Schaps D., Sherry D.

Cauchy, infinitesimals and ghosts of departed quantifiers,
Mat. Stud. 2017, 47, 2, 115--144
doi:10.15330/ms.47.2.115-144
Go to publication

2017 year
Authors: Kanovei V., Lyubetsky V.

Non-uniformizable sets with countable cross-sections on a given level of the projective hierarchy.
arXiv:1712.00769v1 [math.LO], December 2017.
Go to publication

2017 year
Authors: Seliverstov A.

Looking for points on a smooth cubic hypersurface. Computer algebra: International Conference Matherials. Moscow, October 30 - November 3, 2017 / Ed. S.A. Abramov, T.M. Sadykov. - Moscow: Plekhanov Russian University of Economics, 2017. P. 158-164. (In Russian).

2017 year
Authors: Seliverstov A.

Descriptive geometry for teaching of mathematics. Problems of quality of graphic preparation of students in a technical university: traditions and innovations 2017, vol. 1, pp. 346-352 (in Russian).
Download (175.4 KB)

2017 year
Authors: Gorbunov K., Lyubetsky V.

The Minimum-Cost Transformation of Graphs. Doklady Mathematics, 2017, Vol. 96, No. 2, P. 503–505. doi:10.1134/S1064562417050313
Go to publication

2017 year
Authors: Lyubetsky V., Korotkova D., Ivanova A., Rubanov L., Seliverstov A., Zverkóv O., Nesterenko A., Tereshina M., Zaraisky A.G.

Novel transmembrane protein c-Answer revealed by bioinformatic screening of genes present only in well regenerating animals. FEBS Journal, 2017, Vol. 284, Iss. S1, P. 155. doi:10.1111/febs.14174

2017 year
Authors: Gorbunov K., Lyubetsky V.

A linear algorithm for the shortest transformation of graphs with different operation costs. Journal of Communications Technology and Electronics, 2017, Vol. 62, No. 6, P. 653–662. doi:10.1134/S1064226917060092
Go to publication

2017 year
Authors: Korotkova D.D., Ivanova A.S., Lyubetsky V., Seliverstov A., Martynova N.Y., Nesterenko A.M., Zaraisky A.G.

Novel FGF-signaling modulator c-Answer revealed by bioinformatics screening for genes present only in well-regenerative animals. Mechanisms of Development, 2017, Vol. 145, P. S49. doi:10.1016/j.mod.2017.04.089

2017 year
Authors: Kanovei V., Lyubetsky V.

Definable minimal collapse functions at arbitrary projective levels. arXiv:1707.07320 [math.LO], July 2017.
Go to publication

2017 year
Authors: Seliverstov A.

On tangent lines to affine hypersurfaces, Vestnik Udmurtskogo Universiteta. Matematika. Mekhanika. Komp"yuternye Nauki, 2017, vol. 27, no. 2, pp. 248--256 (in Russian). DOI: 10.20537/vm170208
Go to publication Download (245.3 KB)

2017 year
Authors: Rubanov L., Seliverstov A.

Projective-invariant description of a meandering river. Journal of Communications Technology and Electronics, 2017; vol. 62, no. 6, p. 663–668. DOI: 10.1134/S1064226917060201.

2017 year
Authors: Kanovei V., Lyubetsky V.

Definable E0 classes at arbitrary projective levels. arXiv:1705.02975 [math.LO], May 2017.
Go to publication

2017 year
Authors: Seliverstov A.

On probabilistic algorithm for solving almost all instances of the set partition problem. In: P. Weil (Ed.) Computer Science – Theory and Applications. CSR 2017. Lecture Notes in Computer Science, vol. 10304. Springer, Cham, 2017. Pp. 285–293. DOI: 10.1007/978-3-319-58747-9_25
Go to publication

2017 year
Authors: Seliverstov A.

On search for singular points of algebraic curve. Geometry and Graphics, 2017, vol. 5, no. 1, pp. 36-42 (in Russian).

2017 year
Authors: Seliverstov A.

An Approach to the Set Partition Problem. International Conference on Polynomial Computer Algebra "2017; St. Petersburg, April 17-22, 2017 / Euler International Mathematical Institute, Ed. by N. N. Vassiliev, VVM Pubishing, 2017. P. 96-99.
Go to publication Download (7.2 MB)

2017 year
Authors: Gorbunov K., Lyubetsky V.

Algorithm of transformation of a graph into another one with minimal cost. Informatics and it"s applications, 2017, Vol. 11, Iss. 1, P. 79–89 (in Russian). doi:10.14357/19922264170107

2017 year
Authors: Gorbunov K., Lyubetsky V.

Linear algorithm for minimal rearrangement of structures. Problems of Information Transmission, 2017, Vol. 53, Iss. 1, P. 55–72. doi:10.1134/S0032946017010057

2017 year
Authors: Gershgorin R., Gorbunov K., Zverkóv O., Rubanov L., Seliverstov A., Lyubetsky V.

Highly Conserved Elements and Chromosome Structure Evolution in Mitochondrial Genomes in Ciliates. Life, 2017, Vol. 7, No. 9. doi:10.3390/life7010009, PMID: 28264444
Go to publication

2017 year
Authors: Kanovei V., Lyubetsky V.

The full basis theorem does not imply analytic wellordering. arXiv:1702.03566v2 [math.LO], February 2017.
Go to publication

2017 year
Authors: Kanovei V., Lyubetsky V.

A generic property of the Solovay set Σ. Siberian Mathematical Journal, 2017, Vol. 58, Iss. 6, P. 1012–1014. doi:10.1134/S0037446617060106
Go to publication

2017 year
Authors: Fletcher P., Hrbacek K., Kanovei V., Katz M., Lobry C., Sanders S.

Approaches to analysis with infinitesimals following Robinson, Nelson, and others.
Real Analysis Exchange, 2017, 42, 2, pp. 193-252.
DOI: 10.14321/realanalexch.41.1.0193
SCIMAGO, Q3
Go to publication

2017 year
Authors: Kanovei V., Katz M.

A positive function with vanishing Lebesgue integral in Zermelo -- Fraenkel set theory.
Real Analysis Exchange, 2017, 42, no. 2, 385-390.
DOI: 10.14321/realanalexch.42.2.0385
SCIMAGO, Q3
Go to publication

2017 year
Authors: Blaszczyk P., Kanovei V., Katz M., et al.

Toward a history of mathematics focused on procedures,
Foundations Of Science, 2017, 22, Issue 4, pp 763–783,
DOI: 10.1007/s10699-016-9498-3 .
WoS Q2
Go to publication

2017 year
Authors: 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
Go to publication

2017 year
Authors: 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
Go to publication

2017 year
Authors: Kanovei V., Lyubetsky V.

A countable definable set containing no definable elements. Mathematical Notes, 2017, Vol. 102, Iss. 3–4, P. 338–349. doi:10.1134/S0001434617090048
Go to publication

2017 year
Authors: 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
Go to publication

2017 year
Authors: 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
Go to publication

2016 year
Authors: Golshani M., Kanovei V., Lyubetsky V.

A Groszek-Laver pair of undistinguishable E0 classes. arXiv:1601.03477 [math.LO], Jan 14 2016, 18 pp.
Go to publication

2016 year
Authors: 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.

Ïóáëèêàöèé íà ñòðàíèöå:    Page: 12345 6 ... 1314151617
Search for publications
Year of publication
from ïî
Author

Search phrase

Type of publication

Íàëè÷èå â ìåæäóíàðîäíûõ áàçàõ öèòèðîâàíèÿ
Search in department

Date descending
Date ascending
 

 

© Institute for Information Transmission Problems of the Russian Academy of Sciences (Kharkevich Institute), 2025
About  |  Contacts  |  Ïðîòèâîäåéñòâèå êîððóïöèè