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...
Gespeichert in:
| Datum: | 2015 |
|---|---|
| Hauptverfasser: | Krivoi, S.L., Nevmerzhitskiy, A.V. |
| Format: | Artikel |
| Sprache: | Ukrainisch |
| Veröffentlicht: |
PROBLEMS IN PROGRAMMING
2015
|
| Schlagworte: | |
| Online Zugang: | https://pp.isofts.kiev.ua/index.php/ojs1/article/view/18 |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Назва журналу: | Problems in programming |
| Завантажити файл: | |
Institution
Problems in programmingÄhnliche Einträge
Search for invariants of U-Y-programs by an interactive algorithm over completely free data algebras
von: Maksymets, O.M.
Veröffentlicht: (2015)
von: Maksymets, O.M.
Veröffentlicht: (2015)
Development and substantiation of algorithms based on semantic properties
von: Kryvyi, S.L., et al.
Veröffentlicht: (2025)
von: Kryvyi, S.L., et al.
Veröffentlicht: (2025)
The algebro-logical approach to the analysis and processing of the text information
von: Palagin, O.V., et al.
Veröffentlicht: (2026)
von: Palagin, O.V., et al.
Veröffentlicht: (2026)
Formal-logical approach to building analysis systems of knowledge in different domains
von: Palagin, O.V., et al.
Veröffentlicht: (2026)
von: Palagin, O.V., et al.
Veröffentlicht: (2026)
Verification of programs: status, problems and experimental results. I
von: Maksymets, A.N.
Veröffentlicht: (2025)
von: Maksymets, A.N.
Veröffentlicht: (2025)
Verification of programs: status, problems and experimental results. II
von: Maksymets, A.N.
Veröffentlicht: (2025)
von: Maksymets, A.N.
Veröffentlicht: (2025)
Parallel Computations with Large-scale Air Pollution Models
von: Dimov, I., et al.
Veröffentlicht: (2015)
von: Dimov, I., et al.
Veröffentlicht: (2015)
Model of the "department" ecosystem
von: Kryvyi, S.L., et al.
Veröffentlicht: (2024)
von: Kryvyi, S.L., et al.
Veröffentlicht: (2024)
Encryption system based on abelian groups and rings
von: Kryvyi, S.L.
Veröffentlicht: (2020)
von: Kryvyi, S.L.
Veröffentlicht: (2020)
About one technique for forming an object representation of relational data
von: Likhatsky, I.A.
Veröffentlicht: (2025)
von: Likhatsky, I.A.
Veröffentlicht: (2025)
About relational-object mapping technique
von: Lihatsky, I.A.
Veröffentlicht: (2025)
von: Lihatsky, I.A.
Veröffentlicht: (2025)
Software model of genetic optimizer for regular neural networks in LabVIEW
von: Zherebko, V.A.
Veröffentlicht: (2025)
von: Zherebko, V.A.
Veröffentlicht: (2025)
Developing software model of neural network PID controller in LabVIEW
von: Zherebko, V.A., et al.
Veröffentlicht: (2025)
von: Zherebko, V.A., et al.
Veröffentlicht: (2025)
Methodical support of adaptive regulator design by software of LabVIEW
von: Zherebko, V.A., et al.
Veröffentlicht: (2026)
von: Zherebko, V.A., et al.
Veröffentlicht: (2026)
Symbolic computation system for dynamical application programming
von: Doroshenko, A.Yu., et al.
Veröffentlicht: (2015)
von: Doroshenko, A.Yu., et al.
Veröffentlicht: (2015)
Algebraic automata specification of common and distributed memory parallel programs
von: Doroshenko, A.Yu., et al.
Veröffentlicht: (2015)
von: Doroshenko, A.Yu., et al.
Veröffentlicht: (2015)
Development of a semantic and syntactic model of natural language by means of non-negative matrix and tensor factorization
von: Marchenko, O.O.
Veröffentlicht: (2025)
von: Marchenko, O.O.
Veröffentlicht: (2025)
System of the automated carrying over of contents electronic documents in DB IS
von: Blazhko, A.A., et al.
Veröffentlicht: (2026)
von: Blazhko, A.A., et al.
Veröffentlicht: (2026)
Algorithm for constructing six-dimensional tensor for the problem finding hidden semantic relations into the case of natural language texts
von: Voznyuk, T.G.
Veröffentlicht: (2025)
von: Voznyuk, T.G.
Veröffentlicht: (2025)
General theoretical-set constructions of complete image, restriction, compatibility: properties and applications
von: Buy, D.B., et al.
Veröffentlicht: (2026)
von: Buy, D.B., et al.
Veröffentlicht: (2026)
Approach to interconnection support between Java and MS.NET programming environments
von: Ostrovskii, A.V.
Veröffentlicht: (2025)
von: Ostrovskii, A.V.
Veröffentlicht: (2025)
-calculus as a realistic formalization of a class of rewriting systems
von: Shevchenko, R.S., et al.
Veröffentlicht: (2025)
von: Shevchenko, R.S., et al.
Veröffentlicht: (2025)
About some approaches to calculating uncertainties
von: Provotar, A.I., et al.
Veröffentlicht: (2026)
von: Provotar, A.I., et al.
Veröffentlicht: (2026)
Estimation of reliability of modular software
von: Antsypov, A.V., et al.
Veröffentlicht: (2026)
von: Antsypov, A.V., et al.
Veröffentlicht: (2026)
Methodology for developing an automated information system for the recording and forward planning of sanatorium, spa and rehabilitation treatment for victims
von: Chadyuk, A.V., et al.
Veröffentlicht: (2026)
von: Chadyuk, A.V., et al.
Veröffentlicht: (2026)
A system for the automated design of digital image filters
von: Zhereb, K.A., et al.
Veröffentlicht: (2026)
von: Zhereb, K.A., et al.
Veröffentlicht: (2026)
Formalized design and synthesis of a parallel program for constructing Voronoi diagrams
von: Berezovsky, K.A., et al.
Veröffentlicht: (2026)
von: Berezovsky, K.A., et al.
Veröffentlicht: (2026)
Compositional-nominative modal logics of the functional-equational level
von: Shkilniak, O.S.
Veröffentlicht: (2026)
von: Shkilniak, O.S.
Veröffentlicht: (2026)
Solving contest problems via formal program verification
von: Shilov, N.V., et al.
Veröffentlicht: (2026)
von: Shilov, N.V., et al.
Veröffentlicht: (2026)
Organization of the Schemes of Interaction of Departmental Information Systems in the Integrated Interdepartmental Information System
von: Alekseev, V.A., et al.
Veröffentlicht: (2015)
von: Alekseev, V.A., et al.
Veröffentlicht: (2015)
Programming gestures simulator with statistical modeling
von: Doroshenko, А.Yu., et al.
Veröffentlicht: (2017)
von: Doroshenko, А.Yu., et al.
Veröffentlicht: (2017)
Application of problem domain ontological description for relevantness increasing of informational retrieval
von: Rogushina, J.V.
Veröffentlicht: (2015)
von: Rogushina, J.V.
Veröffentlicht: (2015)
Comparative characteristics of methods of object-relational mapping
von: Lihatsky, I.A.
Veröffentlicht: (2025)
von: Lihatsky, I.A.
Veröffentlicht: (2025)
Means of designing object-oriented programs based on algebra of algorithmics
von: Doroshenko, А.Yu., et al.
Veröffentlicht: (2015)
von: Doroshenko, А.Yu., et al.
Veröffentlicht: (2015)
Technological Model for the Process of Software Automated Production
von: Slabospitska, O.O.
Veröffentlicht: (2025)
von: Slabospitska, O.O.
Veröffentlicht: (2025)
On application of machine-learning for designing adaptive sorting programs in algebra of algorithms
von: Yatsenko, O.A.
Veröffentlicht: (2025)
von: Yatsenko, O.A.
Veröffentlicht: (2025)
Axiomatic models and methods used to design of language translators
von: Parasyuk, I.N., et al.
Veröffentlicht: (2015)
von: Parasyuk, I.N., et al.
Veröffentlicht: (2015)
Algebra-dynamic models for program parallelization
von: Doroshenko, A.Yu., et al.
Veröffentlicht: (2025)
von: Doroshenko, A.Yu., et al.
Veröffentlicht: (2025)
Agent model of information retrieval on the basis of beehive metaphor
von: Remarovich, S.S.
Veröffentlicht: (2025)
von: Remarovich, S.S.
Veröffentlicht: (2025)
Problem of automation of situational management of protection of zones of the responsibility
von: Alekseev, V.A., et al.
Veröffentlicht: (2025)
von: Alekseev, V.A., et al.
Veröffentlicht: (2025)
Ähnliche Einträge
-
Search for invariants of U-Y-programs by an interactive algorithm over completely free data algebras
von: Maksymets, O.M.
Veröffentlicht: (2015) -
Development and substantiation of algorithms based on semantic properties
von: Kryvyi, S.L., et al.
Veröffentlicht: (2025) -
The algebro-logical approach to the analysis and processing of the text information
von: Palagin, O.V., et al.
Veröffentlicht: (2026) -
Formal-logical approach to building analysis systems of knowledge in different domains
von: Palagin, O.V., et al.
Veröffentlicht: (2026) -
Verification of programs: status, problems and experimental results. I
von: Maksymets, A.N.
Veröffentlicht: (2025)