On incompatibility of a nonlinear equations over set of natural numbers
Satisfaction problem of equation x m + y m = z m over set of positive natural numbers, where m and z are prime is consider. General case of this equation, is called “big” Fermata’s theorem, has been decided by using very complexity methods [1, 2]. In this paper is presented local result using by ele...
Збережено в:
| Дата: | 2015 |
|---|---|
| Автори: | Krivoi, S.L., Nevmerzhitskiy, A.V. |
| Формат: | Стаття |
| Мова: | Українська |
| Опубліковано: |
PROBLEMS IN PROGRAMMING
2015
|
| Теми: | |
| Онлайн доступ: | https://pp.isofts.kiev.ua/index.php/ojs1/article/view/18 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Problems in programming |
| Завантажити файл: | |
Репозитарії
Problems in programmingСхожі ресурси
Search for invariants of U-Y-programs by an interactive algorithm over completely free data algebras
за авторством: Maksymets, O.M.
Опубліковано: (2015)
за авторством: Maksymets, O.M.
Опубліковано: (2015)
Development and substantiation of algorithms based on semantic properties
за авторством: Kryvyi, S.L., та інші
Опубліковано: (2025)
за авторством: Kryvyi, S.L., та інші
Опубліковано: (2025)
The algebro-logical approach to the analysis and processing of the text information
за авторством: Palagin, O.V., та інші
Опубліковано: (2026)
за авторством: Palagin, O.V., та інші
Опубліковано: (2026)
Formal-logical approach to building analysis systems of knowledge in different domains
за авторством: Palagin, O.V., та інші
Опубліковано: (2026)
за авторством: Palagin, O.V., та інші
Опубліковано: (2026)
Verification of programs: status, problems and experimental results. I
за авторством: Maksymets, A.N.
Опубліковано: (2025)
за авторством: Maksymets, A.N.
Опубліковано: (2025)
Verification of programs: status, problems and experimental results. II
за авторством: Maksymets, A.N.
Опубліковано: (2025)
за авторством: Maksymets, A.N.
Опубліковано: (2025)
Parallel Computations with Large-scale Air Pollution Models
за авторством: Dimov, I., та інші
Опубліковано: (2015)
за авторством: Dimov, I., та інші
Опубліковано: (2015)
Model of the "department" ecosystem
за авторством: Kryvyi, S.L., та інші
Опубліковано: (2024)
за авторством: Kryvyi, S.L., та інші
Опубліковано: (2024)
Encryption system based on abelian groups and rings
за авторством: Kryvyi, S.L.
Опубліковано: (2020)
за авторством: Kryvyi, S.L.
Опубліковано: (2020)
About one technique for forming an object representation of relational data
за авторством: Likhatsky, I.A.
Опубліковано: (2025)
за авторством: Likhatsky, I.A.
Опубліковано: (2025)
About relational-object mapping technique
за авторством: Lihatsky, I.A.
Опубліковано: (2025)
за авторством: Lihatsky, I.A.
Опубліковано: (2025)
Software model of genetic optimizer for regular neural networks in LabVIEW
за авторством: Zherebko, V.A.
Опубліковано: (2025)
за авторством: Zherebko, V.A.
Опубліковано: (2025)
Developing software model of neural network PID controller in LabVIEW
за авторством: Zherebko, V.A., та інші
Опубліковано: (2025)
за авторством: Zherebko, V.A., та інші
Опубліковано: (2025)
Methodical support of adaptive regulator design by software of LabVIEW
за авторством: Zherebko, V.A., та інші
Опубліковано: (2026)
за авторством: Zherebko, V.A., та інші
Опубліковано: (2026)
Symbolic computation system for dynamical application programming
за авторством: Doroshenko, A.Yu., та інші
Опубліковано: (2015)
за авторством: Doroshenko, A.Yu., та інші
Опубліковано: (2015)
Algebraic automata specification of common and distributed memory parallel programs
за авторством: Doroshenko, A.Yu., та інші
Опубліковано: (2015)
за авторством: Doroshenko, A.Yu., та інші
Опубліковано: (2015)
Development of a semantic and syntactic model of natural language by means of non-negative matrix and tensor factorization
за авторством: Marchenko, O.O.
Опубліковано: (2025)
за авторством: Marchenko, O.O.
Опубліковано: (2025)
System of the automated carrying over of contents electronic documents in DB IS
за авторством: Blazhko, A.A., та інші
Опубліковано: (2026)
за авторством: Blazhko, A.A., та інші
Опубліковано: (2026)
Algorithm for constructing six-dimensional tensor for the problem finding hidden semantic relations into the case of natural language texts
за авторством: Voznyuk, T.G.
Опубліковано: (2025)
за авторством: Voznyuk, T.G.
Опубліковано: (2025)
General theoretical-set constructions of complete image, restriction, compatibility: properties and applications
за авторством: Buy, D.B., та інші
Опубліковано: (2026)
за авторством: Buy, D.B., та інші
Опубліковано: (2026)
Approach to interconnection support between Java and MS.NET programming environments
за авторством: Ostrovskii, A.V.
Опубліковано: (2025)
за авторством: Ostrovskii, A.V.
Опубліковано: (2025)
-calculus as a realistic formalization of a class of rewriting systems
за авторством: Shevchenko, R.S., та інші
Опубліковано: (2025)
за авторством: Shevchenko, R.S., та інші
Опубліковано: (2025)
About some approaches to calculating uncertainties
за авторством: Provotar, A.I., та інші
Опубліковано: (2026)
за авторством: Provotar, A.I., та інші
Опубліковано: (2026)
Estimation of reliability of modular software
за авторством: Antsypov, A.V., та інші
Опубліковано: (2026)
за авторством: Antsypov, A.V., та інші
Опубліковано: (2026)
Methodology for developing an automated information system for the recording and forward planning of sanatorium, spa and rehabilitation treatment for victims
за авторством: Chadyuk, A.V., та інші
Опубліковано: (2026)
за авторством: Chadyuk, A.V., та інші
Опубліковано: (2026)
A system for the automated design of digital image filters
за авторством: Zhereb, K.A., та інші
Опубліковано: (2026)
за авторством: Zhereb, K.A., та інші
Опубліковано: (2026)
Formalized design and synthesis of a parallel program for constructing Voronoi diagrams
за авторством: Berezovsky, K.A., та інші
Опубліковано: (2026)
за авторством: Berezovsky, K.A., та інші
Опубліковано: (2026)
Compositional-nominative modal logics of the functional-equational level
за авторством: Shkilniak, O.S.
Опубліковано: (2026)
за авторством: Shkilniak, O.S.
Опубліковано: (2026)
Solving contest problems via formal program verification
за авторством: Shilov, N.V., та інші
Опубліковано: (2026)
за авторством: Shilov, N.V., та інші
Опубліковано: (2026)
Organization of the Schemes of Interaction of Departmental Information Systems in the Integrated Interdepartmental Information System
за авторством: Alekseev, V.A., та інші
Опубліковано: (2015)
за авторством: Alekseev, V.A., та інші
Опубліковано: (2015)
Programming gestures simulator with statistical modeling
за авторством: Doroshenko, А.Yu., та інші
Опубліковано: (2017)
за авторством: Doroshenko, А.Yu., та інші
Опубліковано: (2017)
Application of problem domain ontological description for relevantness increasing of informational retrieval
за авторством: Rogushina, J.V.
Опубліковано: (2015)
за авторством: Rogushina, J.V.
Опубліковано: (2015)
Comparative characteristics of methods of object-relational mapping
за авторством: Lihatsky, I.A.
Опубліковано: (2025)
за авторством: Lihatsky, I.A.
Опубліковано: (2025)
Means of designing object-oriented programs based on algebra of algorithmics
за авторством: Doroshenko, А.Yu., та інші
Опубліковано: (2015)
за авторством: Doroshenko, А.Yu., та інші
Опубліковано: (2015)
Technological Model for the Process of Software Automated Production
за авторством: Slabospitska, O.O.
Опубліковано: (2025)
за авторством: Slabospitska, O.O.
Опубліковано: (2025)
On application of machine-learning for designing adaptive sorting programs in algebra of algorithms
за авторством: Yatsenko, O.A.
Опубліковано: (2025)
за авторством: Yatsenko, O.A.
Опубліковано: (2025)
Axiomatic models and methods used to design of language translators
за авторством: Parasyuk, I.N., та інші
Опубліковано: (2015)
за авторством: Parasyuk, I.N., та інші
Опубліковано: (2015)
Algebra-dynamic models for program parallelization
за авторством: Doroshenko, A.Yu., та інші
Опубліковано: (2025)
за авторством: Doroshenko, A.Yu., та інші
Опубліковано: (2025)
Agent model of information retrieval on the basis of beehive metaphor
за авторством: Remarovich, S.S.
Опубліковано: (2025)
за авторством: Remarovich, S.S.
Опубліковано: (2025)
Problem of automation of situational management of protection of zones of the responsibility
за авторством: Alekseev, V.A., та інші
Опубліковано: (2025)
за авторством: Alekseev, V.A., та інші
Опубліковано: (2025)
Схожі ресурси
-
Search for invariants of U-Y-programs by an interactive algorithm over completely free data algebras
за авторством: Maksymets, O.M.
Опубліковано: (2015) -
Development and substantiation of algorithms based on semantic properties
за авторством: Kryvyi, S.L., та інші
Опубліковано: (2025) -
The algebro-logical approach to the analysis and processing of the text information
за авторством: Palagin, O.V., та інші
Опубліковано: (2026) -
Formal-logical approach to building analysis systems of knowledge in different domains
за авторством: Palagin, O.V., та інші
Опубліковано: (2026) -
Verification of programs: status, problems and experimental results. I
за авторством: Maksymets, A.N.
Опубліковано: (2025)