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...
Saved in:
| Date: | 2015 |
|---|---|
| Main Authors: | Krivoi, S.L., Nevmerzhitskiy, A.V. |
| Format: | Article |
| Language: | Ukrainian |
| Published: |
PROBLEMS IN PROGRAMMING
2015
|
| Subjects: | |
| Online Access: | https://pp.isofts.kiev.ua/index.php/ojs1/article/view/18 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Journal Title: | Problems in programming |
| Download file: | |
Institution
Problems in programmingSimilar Items
Search for invariants of U-Y-programs by an interactive algorithm over completely free data algebras
by: Maksymets, O.M.
Published: (2015)
by: Maksymets, O.M.
Published: (2015)
Development and substantiation of algorithms based on semantic properties
by: Kryvyi, S.L., et al.
Published: (2025)
by: Kryvyi, S.L., et al.
Published: (2025)
Verification of programs: status, problems and experimental results. I
by: Maksymets, A.N.
Published: (2025)
by: Maksymets, A.N.
Published: (2025)
Parallel Computations with Large-scale Air Pollution Models
by: Dimov, I., et al.
Published: (2015)
by: Dimov, I., et al.
Published: (2015)
Verification of programs: status, problems and experimental results. II
by: Maksymets, A.N.
Published: (2025)
by: Maksymets, A.N.
Published: (2025)
Model of the "department" ecosystem
by: Kryvyi, S.L., et al.
Published: (2024)
by: Kryvyi, S.L., et al.
Published: (2024)
Encryption system based on abelian groups and rings
by: Kryvyi, S.L.
Published: (2020)
by: Kryvyi, S.L.
Published: (2020)
About one technique for forming an object representation of relational data
by: Likhatsky, I.A.
Published: (2025)
by: Likhatsky, I.A.
Published: (2025)
About relational-object mapping technique
by: Lihatsky, I.A.
Published: (2025)
by: Lihatsky, I.A.
Published: (2025)
Developing software model of neural network PID controller in LabVIEW
by: Zherebko, V.A., et al.
Published: (2025)
by: Zherebko, V.A., et al.
Published: (2025)
Software model of genetic optimizer for regular neural networks in LabVIEW
by: Zherebko, V.A.
Published: (2025)
by: Zherebko, V.A.
Published: (2025)
Algebraic automata specification of common and distributed memory parallel programs
by: Doroshenko, A.Yu., et al.
Published: (2015)
by: Doroshenko, A.Yu., et al.
Published: (2015)
Symbolic computation system for dynamical application programming
by: Doroshenko, A.Yu., et al.
Published: (2015)
by: Doroshenko, A.Yu., et al.
Published: (2015)
Development of a semantic and syntactic model of natural language by means of non-negative matrix and tensor factorization
by: Marchenko, O.O.
Published: (2025)
by: Marchenko, O.O.
Published: (2025)
Algorithm for constructing six-dimensional tensor for the problem finding hidden semantic relations into the case of natural language texts
by: Voznyuk, T.G.
Published: (2025)
by: Voznyuk, T.G.
Published: (2025)
Approach to interconnection support between Java and MS.NET programming environments
by: Ostrovskii, A.V.
Published: (2025)
by: Ostrovskii, A.V.
Published: (2025)
-calculus as a realistic formalization of a class of rewriting systems
by: Shevchenko, R.S., et al.
Published: (2025)
by: Shevchenko, R.S., et al.
Published: (2025)
Means of designing object-oriented programs based on algebra of algorithmics
by: Doroshenko, А.Yu., et al.
Published: (2015)
by: Doroshenko, А.Yu., et al.
Published: (2015)
Comparative characteristics of methods of object-relational mapping
by: Lihatsky, I.A.
Published: (2025)
by: Lihatsky, I.A.
Published: (2025)
Technological Model for the Process of Software Automated Production
by: Slabospitska, O.O.
Published: (2025)
by: Slabospitska, O.O.
Published: (2025)
On application of machine-learning for designing adaptive sorting programs in algebra of algorithms
by: Yatsenko, O.A.
Published: (2025)
by: Yatsenko, O.A.
Published: (2025)
Algebra-dynamic models for program parallelization
by: Doroshenko, A.Yu., et al.
Published: (2025)
by: Doroshenko, A.Yu., et al.
Published: (2025)
Problem of automation of situational management of protection of zones of the responsibility
by: Alekseev, V.A., et al.
Published: (2025)
by: Alekseev, V.A., et al.
Published: (2025)
Agent model of information retrieval on the basis of beehive metaphor
by: Remarovich, S.S.
Published: (2025)
by: Remarovich, S.S.
Published: (2025)
Axiomatic models and methods used to design of language translators
by: Parasyuk, I.N., et al.
Published: (2015)
by: Parasyuk, I.N., et al.
Published: (2015)
Service-oriented, distributed real-time systems in digital libraries
by: Novitsky, O.V.
Published: (2025)
by: Novitsky, O.V.
Published: (2025)
One model of optimal resource allocation in homogeneous multiprocessor system
by: Doroshenko, A.Yu., et al.
Published: (2025)
by: Doroshenko, A.Yu., et al.
Published: (2025)
Parallel non-negative sparse extra-large matrix factorization
by: Nasirov, E.M.
Published: (2025)
by: Nasirov, E.M.
Published: (2025)
The program technological complex of decision making in industrial enterprise management on early stages of crises changes
by: Masalitina, N.N., et al.
Published: (2025)
by: Masalitina, N.N., et al.
Published: (2025)
Problems and tools of designing and estimation of viable program system
by: Ignatenko, P.P., et al.
Published: (2015)
by: Ignatenko, P.P., et al.
Published: (2015)
Implementation of tools for designing and generating of programs on the basis of algebra of algorithms with data
by: Akulovskiy, V.G., et al.
Published: (2017)
by: Akulovskiy, V.G., et al.
Published: (2017)
The algebraic model refactoring of components
by: Grischenko, V.N.
Published: (2015)
by: Grischenko, V.N.
Published: (2015)
On some technology of project modeling of stochastic manufacturing technological processes
by: Maksimey, I.V., et al.
Published: (2015)
by: Maksimey, I.V., et al.
Published: (2015)
Formalized designing and generation of parallel program for numerical weather forecasting task
by: Doroshenko, A.Yu., et al.
Published: (2025)
by: Doroshenko, A.Yu., et al.
Published: (2025)
Support for the management of variability in the family of software systems
by: Kolesnik, A.L.
Published: (2015)
by: Kolesnik, A.L.
Published: (2015)
Integration of algorithm algebra and term rewriting tools for developing efficient parallel programmes
by: Yatsenko, O.A.
Published: (2025)
by: Yatsenko, O.A.
Published: (2025)
Conception of industry scientific software to decision scientific tasks
by: Lavrischeva, K.M.
Published: (2025)
by: Lavrischeva, K.M.
Published: (2025)
Approach to building factories of student programs
by: Aronov, A.A., et al.
Published: (2025)
by: Aronov, A.A., et al.
Published: (2025)
Formal description of the types and - data structures mixed programmes
by: Stenyashin, A.Yu.
Published: (2025)
by: Stenyashin, A.Yu.
Published: (2025)
The formal basic developing and testing the distributed program systems
by: Lavrischeva, K.M., et al.
Published: (2025)
by: Lavrischeva, K.M., et al.
Published: (2025)
Similar Items
-
Search for invariants of U-Y-programs by an interactive algorithm over completely free data algebras
by: Maksymets, O.M.
Published: (2015) -
Development and substantiation of algorithms based on semantic properties
by: Kryvyi, S.L., et al.
Published: (2025) -
Verification of programs: status, problems and experimental results. I
by: Maksymets, A.N.
Published: (2025) -
Parallel Computations with Large-scale Air Pollution Models
by: Dimov, I., et al.
Published: (2015) -
Verification of programs: status, problems and experimental results. II
by: Maksymets, A.N.
Published: (2025)