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)
Parallel Computations with Large-scale Air Pollution Models
за авторством: Dimov, I., та інші
Опубліковано: (2015)
за авторством: Dimov, I., та інші
Опубліковано: (2015)
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)
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)
Developing software model of neural network PID controller in LabVIEW
за авторством: Zherebko, V.A., та інші
Опубліковано: (2025)
за авторством: Zherebko, V.A., та інші
Опубліковано: (2025)
Software model of genetic optimizer for regular neural networks in LabVIEW
за авторством: Zherebko, V.A.
Опубліковано: (2025)
за авторством: Zherebko, V.A.
Опубліковано: (2025)
Algebraic automata specification of common and distributed memory parallel programs
за авторством: Doroshenko, A.Yu., та інші
Опубліковано: (2015)
за авторством: Doroshenko, A.Yu., та інші
Опубліковано: (2015)
Symbolic computation system for dynamical application programming
за авторством: 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)
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)
Recurrent neural networks for the problem of improving numerical meteorological forecasts
за авторством: Doroshenko, А.Yu., та інші
Опубліковано: (2023)
за авторством: Doroshenko, А.Yu., та інші
Опубліковано: (2023)
Approach to interconnection support between Java and MS.NET programming environments
за авторством: Ostrovskii, A.V.
Опубліковано: (2025)
за авторством: Ostrovskii, A.V.
Опубліковано: (2025)
Application of machine learning to improving numerical weather prediction
за авторством: Doroshenko, А.Yu., та інші
Опубліковано: (2020)
за авторством: Doroshenko, А.Yu., та інші
Опубліковано: (2020)
Automatic development of deep neural networks for improving numerical meteorological forecast
за авторством: Doroshenko, А.Yu., та інші
Опубліковано: (2024)
за авторством: Doroshenko, А.Yu., та інші
Опубліковано: (2024)
Deeplearning-based approach to improving numerical weather forecasts
за авторством: Doroshenko, А.Yu., та інші
Опубліковано: (2023)
за авторством: Doroshenko, А.Yu., та інші
Опубліковано: (2023)
-calculus as a realistic formalization of a class of rewriting systems
за авторством: Shevchenko, R.S., та інші
Опубліковано: (2025)
за авторством: Shevchenko, R.S., та інші
Опубліковано: (2025)
Analysis of the natural language legislative documents semantics with use of domain ontology
за авторством: Lesko, O.V., та інші
Опубліковано: (2017)
за авторством: Lesko, O.V., та інші
Опубліковано: (2017)
Means of designing object-oriented programs based on algebra of algorithmics
за авторством: Doroshenko, А.Yu., та інші
Опубліковано: (2015)
за авторством: Doroshenko, А.Yu., та інші
Опубліковано: (2015)
Axiomatic models and methods used to design of language translators
за авторством: Parasyuk, I.N., та інші
Опубліковано: (2015)
за авторством: Parasyuk, I.N., та інші
Опубліковано: (2015)
Problems and tools of designing and estimation of viable program system
за авторством: Ignatenko, P.P., та інші
Опубліковано: (2015)
за авторством: Ignatenko, P.P., та інші
Опубліковано: (2015)
The algebraic model refactoring of components
за авторством: Grischenko, V.N.
Опубліковано: (2015)
за авторством: Grischenko, V.N.
Опубліковано: (2015)
On some technology of project modeling of stochastic manufacturing technological processes
за авторством: Maksimey, I.V., та інші
Опубліковано: (2015)
за авторством: Maksimey, I.V., та інші
Опубліковано: (2015)
Application of problem domain ontological description for relevantness increasing of informational retrieval
за авторством: Rogushina, J.V.
Опубліковано: (2015)
за авторством: Rogushina, J.V.
Опубліковано: (2015)
Organization of the Schemes of Interaction of Departmental Information Systems in the Integrated Interdepartmental Information System
за авторством: Alekseev, V.A., та інші
Опубліковано: (2015)
за авторством: Alekseev, V.A., та інші
Опубліковано: (2015)
Support for the management of variability in the family of software systems
за авторством: Kolesnik, A.L.
Опубліковано: (2015)
за авторством: Kolesnik, A.L.
Опубліковано: (2015)
Didactic Version of Program System for Synthesis and Diagnostics of Logic Circuits
за авторством: Bača, J., та інші
Опубліковано: (2015)
за авторством: Bača, J., та інші
Опубліковано: (2015)
Comparative characteristics of methods of object-relational mapping
за авторством: Lihatsky, I.A.
Опубліковано: (2025)
за авторством: Lihatsky, I.A.
Опубліковано: (2025)
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)
Algebra-dynamic models for program parallelization
за авторством: Doroshenko, A.Yu., та інші
Опубліковано: (2025)
за авторством: Doroshenko, A.Yu., та інші
Опубліковано: (2025)
Problem of automation of situational management of protection of zones of the responsibility
за авторством: Alekseev, V.A., та інші
Опубліковано: (2025)
за авторством: Alekseev, V.A., та інші
Опубліковано: (2025)
Agent model of information retrieval on the basis of beehive metaphor
за авторством: Remarovich, S.S.
Опубліковано: (2025)
за авторством: Remarovich, S.S.
Опубліковано: (2025)
Service-oriented, distributed real-time systems in digital libraries
за авторством: Novitsky, O.V.
Опубліковано: (2025)
за авторством: Novitsky, O.V.
Опубліковано: (2025)
One model of optimal resource allocation in homogeneous multiprocessor system
за авторством: Doroshenko, A.Yu., та інші
Опубліковано: (2025)
за авторством: Doroshenko, A.Yu., та інші
Опубліковано: (2025)
Parallel non-negative sparse extra-large matrix factorization
за авторством: Nasirov, E.M.
Опубліковано: (2025)
за авторством: Nasirov, E.M.
Опубліковано: (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) -
Parallel Computations with Large-scale Air Pollution Models
за авторством: Dimov, I., та інші
Опубліковано: (2015) -
Verification of programs: status, problems and experimental results. I
за авторством: Maksymets, A.N.
Опубліковано: (2025) -
Verification of programs: status, problems and experimental results. II
за авторством: Maksymets, A.N.
Опубліковано: (2025)