Showing 1 - 20 results of 505 for search '"РАЗРЕШИМОСТЬ"', query time: 0.96s Refine Results
  1. 1
    Academic Journal

    Source: Chebyshevskii Sbornik; Том 25, № 3 (2024); 11-36 ; Чебышевский сборник; Том 25, № 3 (2024); 11-36 ; 2226-8383 ; 10.22405/2226-8383-2024-25-3

    File Description: application/pdf

    Relation: https://www.chebsbornik.ru/jour/article/view/1812/1209; Аллаков, И. Оценка тригонометрических сумм и их приложения к решению некоторых; аддитивных задач теории чисел. – Термез: Сурхон нашр. 2021. 160 c.; Wu Fang. On the solutions of the systems of linear equations with prime variables. Acta; Math.Sinica.-1957.-V.7.-P.102-121.; Liu, M. C., Tsang, K. M. On pairs of linear equations in three prime variables and an application to Goldbach’s problem, J. reine angew. Math. 399 (1989), 109-136.; Аллаков, И. Об условиях разрешимости системы линейных диофантовых уравнений в простых числах, Изв. вузов. Матем., 2006, № 9. с. 10-16.; Аллаков, И., Исраилов, М. И. О разрешимости системы линейных уравнений в простых числах. Докл. АН РУз. –Ташкент, 1992. - № 10-11. c. 12-15.; Хуа Ло-Кен. Аддитивная теория простых чисел, Тр. Матем. ин-та им. В.А.Стеклова, 1947, том 22, с. 3-179.; Abrayev, B.Kh., Allakov, I. On solvability conditions of a pair of linear equations with four; unknowns in prime numbers. Uzbek Mathematical journal. Tashkent. 2020. № 3. p. 16-24.; Аллаков, И., Абраев, Б.Х. Об исключительном множестве одной системы линейных уравнений с простыми числами. Чебышевский сборник т.24 № 2. 2023. c.15-37.; Эрдонов, Б.Х., Об условиях разрешимости системы линейных уравнений состоящей из трёх уравнений с пяты неизвестными в простых числах. Научный вестник НамГУ, 2024.; № 4. с. 116-121.; Карацуба, А.А. Основы аналитической теории чисел. -М.: Наука, 1983. -240 с.; Davenport, H. Multiplicative number theory. Third edition. Springer.-2000. 177 p.; Колмогоров, А.Н., Фоми,н С.В. Элементы теории функций и функционального анализа. Главная редакция физико-математической литературы изд-ва «Наука», М., 1976 г. 543 с.; Liu, M. C., Tsang, K. M. Small prime solutions of linear equations. Proc. Intern. Number. Th. Conf. 1987. Laval University. Cand. Math. Soc. Berlin-New York. 1989. p. 595-624.; Hua, L. K. Additive Theory of Prime Numbers, Transl. of Math. Monographs 13, Amer. Math. Soc., Providence, R.I., 1965. 190 p.; Hasse, H. Vorlesungen ¨uber Zahlentheorie, Grundlehren Math. Wiss. 59, Berlin-Heidelberg-New York 1964. 520 p.; Hardy, G. H., Wright, E. M. An Introduction to the Theory of Numbers, 5th ed., Oxford 1979. 621 p.; https://www.chebsbornik.ru/jour/article/view/1812

  2. 2
  3. 3
    Academic Journal

    Source: Chebyshevskii Sbornik; Том 25, № 5 (2024); 5-15 ; Чебышевский сборник; Том 25, № 5 (2024); 5-15 ; 2226-8383 ; 10.22405/2226-8383-2024-25-5

    File Description: application/pdf

    Relation: https://www.chebsbornik.ru/jour/article/view/1865/1258; Нахушев А. М. Задачи со смещением для уравнений в частных производных // М.: Наука, 2006. 287 с.; Врагов В. Н. Краевые задачи для неклассических уравнений математической физики //; Новосибирск: НГУ, 1983. 84 с.; Михлин С. Г. Многомерные сингулярные интегралы и интегральные уравнения // М.; Физматгиз, 1962. 254 с.; Алдашев С. А. Неединственость решения многомерной задачи Трикоми для гиперболо-; параболического уравнения // Украинский математический Вестник. 2015. Т. 12, № 1.; С. 1–10.; Бицадзе А. В. Уравнения смешанного типа // М.: Изд. АН СССР, 1959. 164 с.; Алдашев С. А. Краевые задачи для многомерных гиперболических и смешанных уравнений // Алматы: Гылым, 1994. 170 с.; Copson E. T. On the Riemann-Green function // J.Rath. Mech and Anal. 1958. Vol. 1. P. 324–; Бейтмен Г., Эрдейи А. Высшие трансцендентные функции. Т. 1 // М.: Наука, 1973. 294 с.; Камке Э. Справочник по обыкновенным дифференциальным уравнениям // М.: Наука; 703 с.; Бейтмен Г., Эрдейи А. Высшие трансцендентные функции. Т. 2 // М.: Наука, 1974. 295 с.; Тихонов А. Н., Самарский А. А. Уравнения математической физики // М.: Наука, 1977.; с.; https://www.chebsbornik.ru/jour/article/view/1865

  4. 4
  5. 5
    Academic Journal

    Source: Izvestiya of Altai State University; No 4(126) (2022): Izvestiya of Altai State University; 93-98
    Известия Алтайского государственного университета; № 4(126) (2022): Известия Алтайского государственного университета; 93-98

    File Description: application/pdf

    Access URL: http://izvestiya.asu.ru/article/view/(2022)4-14

  6. 6
  7. 7
  8. 8
  9. 9
  10. 10
  11. 11
  12. 12
  13. 13
  14. 14
  15. 15
    Academic Journal

    Source: Chebyshevskii Sbornik; Том 24, № 2 (2023); 197-213 ; Чебышевский сборник; Том 24, № 2 (2023); 197-213 ; 2226-8383 ; 10.22405/2226-8383-2023-24-2

    File Description: application/pdf

    Relation: https://www.chebsbornik.ru/jour/article/view/1541/1084; Everitt W. N.,Gierz M. Some properties of the domains of certain differential operators // Proc. London Math.Soc. 1971. Vol. 23, P. 301 – 324.; Everitt W. N.,Gierz M. On some properties of the powers of a family self-adjoint differential expressions // Proc. London Math.Soc. 1972. Vol. 24, P. 149 – 170.; Everitt W. N.,Gierz M. Some inequalities associated with certain differential operators // Math. Z. 1972. Vol. 126, P. 308 – 326.; Everitt W. N.,Gierz M. Inequalities and separation for Schrodinger -type operators in 𝐿2(𝑅𝑛) // Proc. Roy. Soc. Edinburg, Sect A. 1977. Vol. 79, P. 149 – 170.; Бойматов К. Х. Теоремы разделимости // ДАН СССР. 1973. T. 213, № 5. C. 1009 – 1011.; Бойматов К. Х. Теоремы разделимости, весовые пространства и их приложения // Труды Математического института им. В.А.Стеклова АН СССР. 1984. T. 170, C. 37 – 76.; Бойматов К. Х. Коэрцитивные оценки и разделимость для эллиптических дифференциальных уравнений второго порядка // ДАН СССР. 1988. T. 301, № 5. C. 1033 – 1036.; Бойматов К. Х., Шарипов А. Коэрцитивные свойства нелинейных операторов Шредингера и Дирака // Доклады Академии наук России. 1992. T. 326, № 3. C. 393 – 398.; Бойматов К. Х. Коэрцитивные оценки и разделимость для нелинейных дифференциальных операторов второго порядка // Математические заметки. 1989. T. 46, № 6. C. 110 – 112.; Отелбаев М. Коэрцитивные оценки и теоремы разделимости для эллиптических уравнений в 𝑅𝑛 // Труды Математического института им. В.А.Стеклова АН СССР. 1983. T. 161, C. 195 – 217.; Муратбеков М. Б., Муратбеков М. М., Оспанов К. Н. Коэрцитивная разрешимость дифференциального уравнения нечетного порядка и ее приложения // Доклады Академии наук России. 2010. T. 435, № 3. C. 310 – 313.; Zayed E. M. E. Separation for the biharmonic differential operator in the Hilbert space associated with existence and uniqueness theorem // J. Math. Anal. Appl. 2008. Vol. 337, P. 659 – 666.; Zayed E. M. E., Salem Omram Separation for triple-harmonic differential operator in the Hilbert // International J. Math. Combin. 2010. Vol. 4. P. 13 – 23.; Zayed E. M. E., Mohamed A. S., Atia H. A. Inequalities and separation for the Laplace-Beltrami differential operator in Hilbert spaces // J. Math. Anal. Appl. 2007. Vol. 336. P. 81 – 92.; Zayed E. M. E. Separation for an elliptic differential operators in a weighted its application to an existence and uniqueness theorem // Dynamits of continuous, discrede and impulsive systems.Series A: Mathematical Analysis. 2015. № 22. P. 409 – 421.; Mohamed A. S., H. A, Atia Separation of the general second elliptic differential operator potential in the weighted weighted Hilbert spaces // Applied Mathematics and Computation. 2005. № 162. P. 155 – 163.; Каримов О. Х. О разделимости нелинейных дифференциальных операторов второго порядка с матричными коэффициентами // Известия АН РТ. Отделение физико-математических, химических, геологических и технических наук. 2014. № 3(157). C. 42 –50.; Каримов О. Х. О разделимости нелинейных дифференциальных операторов второго порядка с матричными коэффициентами в весовом пространстве // Доклады Академии наук Республики Таджикистан. 2015. Т. 58, № 8. C. 665 – 673.; Каримов О. Х. О коэрцитивных свойствах и разделимости бигармонического оператора с матричным потенциалом // Уфимский математический журнал. 2017. Т. 9, № 1. C. 55 – 62.; Каримов О. Х. О коэрцитивной разрешимости уравнения Шредингера в гильбертовом пространстве // Доклады Академии наук Республики Таджикистан. 2018. Т. 61, № 11 – 12. C. 829 – 836.; Karimov O. Kh. On the separation property of nonlinear second-order differential operators with matrix coefficients in weighted spaces // Journal of mathematical sciences. 2019. Vol. 241, № 5. P. 589 – 595.; https://www.chebsbornik.ru/jour/article/view/1541

  16. 16
    Academic Journal

    Contributors: Работа выполнена при финансовой поддержке РФФИ (проект № 19 - 52 - 26006).

    Source: Chebyshevskii Sbornik; Том 24, № 1 (2023); 40-49 ; Чебышевский сборник; Том 24, № 1 (2023); 40-49 ; 2226-8383 ; 10.22405/2226-8383-2023-24-1

    File Description: application/pdf

    Relation: https://www.chebsbornik.ru/jour/article/view/1472/1053; Адян С. И. Алгоритмическая неразрешимость проблем распознавания некоторых свойств; групп // Докл. АН СССР. 1955. Т. 103, № 4. С. 533–535.; Адян С. И. Неразрешимость некоторых алгоритмических проблем теории групп // Труды; ММО. 1957. Т. 6. С. 231-298.; Rabin M. O. Recursive unsolvability of group theoretic problems // Ann. of Math. 1958. Vol. 67; № 1. P. 172-194.; Collings D. J. On recognizing Hopf groups // Arh. Math. 1969. Vol. 20. P. 235-240.; Miller C. F. III. Decision problems for groups – servey and reflections // Math. Sci. Res. Inst.; Publ. 1992. Vol. 23. P. 1-59.; Miller C. F. III, Schupp P.E. Embeddings into Hopfian groups // Journal Algebra, 1971. Vol. 17.; P. 171-176.; Miller C. F. III. On group-theoretic decision problems and their classification // Ann. of Math.; Studies. 1971. Vol. 68. Princeton University Press.; Мерзляков Ю. И. Позитивные формулы на свободных группах. // Алгебра и логика. 1966.; Т. 5, вып. 4. С. 25-42.; Sacerdote G. S. Almost all free products of groups have the same positive theory // Journal; Algebra. 1973. Vol. 27, № 3. P. 475-485.; Перязев Н. А. Позитивная неотличимость алгебраических систем и полнота позитивных; теорий // Матем. заметки. 1985. Т. 38, № 2. С. 208-212.; Перязев Н. А. Позитивные теории свободных моноидов // Алгебра и логика. 1993. Т. 32; № 2. С. 148- 159.; Ремеслеников В. Н. ∃-свободные группы // Сиб. матем. журнал. 1989. Т. 30, № 6. С. 193-; Маканин Г. С. Разрешимость универсальной и позитивной теорий свободной группы //; Изв. АН СССР. Серия матем. 1984. № 2. С. 35-749.; Матиясевич Ю.В. Диофантовость перечислимых множеств // Докл. АН СССР. 1970.; Т. 130, № 3. С. 495-498.; Мальцев А. И. Об одном соответствии между кольцами и группами // Матем. сб. 1960.; Т. 50, № 2. С. 257-266.; Борисов В. В. Простые примеры групп с неразрешимой проблемой тождества // Матем.; заметки. 1969. Т. 6, вып. 5. С. 521-532.; https://www.chebsbornik.ru/jour/article/view/1472

  17. 17
  18. 18
  19. 19
  20. 20
    Academic Journal

    Source: The Herald of the Siberian State University of Telecommunications and Information Science; № 3 (2012); 105-135 ; Вестник СибГУТИ; № 3 (2012); 105-135 ; 1998-6920

    File Description: application/pdf

    Relation: https://vestnik.sibsutis.ru/jour/article/view/377/361; Autant C., Schnoebelen Ph. Place bisimulations in Petri nets // Lecture Notes in Computer Science. June 1992. Vol. 616. 45-61.; Autant C. Petri nets for the semantics and the implementation of parallel processes // Ph. D. thesis. Institut National Polytechnique de Grenoble, France. May 1993 (in French).; Best E., Devillers R. Sequential and concurrent behaviour in Petri net theory // Theoretical Computer Science. 1987. Vol. 55. 87-136.; Best E., Devillers R., Kiehn A., Pomello L. Concurrent bisimulations in Petri nets // Acta Informatica. 1991. Vol. 28. № 3. 231-264.; Devillers R. Maximality preservation and the ST-idea for action refinements // Lecture Notes in Computer Science. 1992. Vol. 609. 108-151.; Engelfriet J. Branching processes of Petri nets // Acta Informatica. 1991. Vol. 28. № 6. 575-591.; van Glabbeek R.J. The linear time - branching time spectrum II: the semantics of sequential systems with silent moves. Extended abstract // Lecture Notes in Computer Science. 1993. Vol. 715. 66-81.; van Glabbeek R.J., Weijland W.P. Branching time and abstraction in bisimulation semantics (extended abstract) // Proceedings of 11th World Computer Congress on Information Processing - 89. San Francisco, USA. North-Holland. August 1989. 613-618.; Jancar P. High decidability of weak bisimularity for Petri nets // Lecture Notes in Computer Science. 1995. Vol. 915. 349-363.; Jategaonkar L., Meyer A.R. Deciding true concurrency equivalences on safe, finite nets // Theoretical Computer Science. 1996. Vol. 154. 107-143.; Mayr R. Undecidability of weak bisimulation equivalence for 1-counter processes // Lecture Notes in Computer Science. 2003. Vol. 2719. 570-583.; Milner R.A.J. A calculus of communicating systems // Lecture Notes in Computer Science. 1980. Vol. 92. 172-180.; Nielsen M., Plotkin G.,Winskel G. Petri nets, event structures and domains // Theoretical Computer Science. 1981. Vol. 13. 85-108.; Peterson J.L. Petri net theory and modeling of systems // Prentice-Hall. 1981.; Petri C.A. Kommunikation mit Automaten // Ph. D. thesis. Universitat Bonn, Schriften des Instituts fur Instrumentelle Mathematik, Germany. 1962 (in German).; Pinchinat S. Bisimulations for the semantics of reactive systems // Ph. D. thesis. Institut National Politechnique de Grenoble, France. January 1993 (in French).; Pomello L. Some equivalence notions for concurrent systems. An overview // Lecture Notes in Computer Science. 1986. Vol. 222. 381-400.; Pratt V.R. On the composition of processes // Proceedings of 9th POPL. 1982. 213-223.; Pomello L., Rozenberg G., Simone C. A survey of equivalence notions for net based systems // Lecture Notes in Computer Science. 1992. Vol. 609. 410-472.; Tarasyuk I.V. ?-equivalences and refinement // Proceedings of IRW/FMP'98, Work-in-Progress Papers, Canberra, Australia. Joint Computer Science Technical Report Series. The Australian National University. September 1998. № TR-CS-98-09. 110-128.; Tarasyuk I.V. Place bisimulation equivalences for design of concurrent and sequential systems // Proceedings of MFCS'98 Workshop on Concurrency, Brno, Czech Republic. Electronic Notes in Theoretical Computer Science. 1998. Vol. 18. 191-206.; Tarasyuk I.V. ?-equivalences and refinement for Petri nets based design // Technische Berichte. Fakult?at Informatik, Technische Universit?at Dresden, Germany. November 2000. № TUD-FI00-11. 41 p.; Vogler W. Bisimulation and action refinement // Lecture Notes in Computer Science. 1991. Vol. 480. 309-321.; Vogler W. Partial words versus processes: a short comparison // Lecture Notes in Computer Science. 1992. Vol. 609. 292-303.; https://vestnik.sibsutis.ru/jour/article/view/377