-
161
Regions of Russia: Clustering Results Based on Economic and Innovation Indexes
Published 2022-11-01“…When analyzing them, it is advisable to first use cluster analysis methods to obtain homogeneous groups of territories with similar social and economic characteristics, which is confirmed in this study by testing hypotheses about statistically significant differences between the indexes of the third and fourth clusters (differences between the first and second clusters with other clusters and between themselves obvious and do not require any mathematical proof).Conclusion. The leaders in scientific and innovative development are Moscow, St. …”
Get full text
Article -
162
Extended summary of ``A mathematical Phenomenon in the Quran of Earth-Shattering Proportions: A Quranic Theory Based on Gematria Determining Quran Primary Statistics (words, verses...
Published 2023-08-01“…It proves that the Quran’s miraculous athematical structure discovered in this study provides unequivocal mathematical proof that the Quran was divinely authored and has been perfectly preserved from the day it was revealed. …”
Get full text
Article -
163
A proof of factorization formula for critical percolation
Published 2010“…We give mathematical proofs to a number of statements which appeared in the series of papers by Kleban, Simmons and Ziff where they computed the probabilities of several percolation crossing events.…”
Journal article -
164
18.312 Algebraic Combinatorics, Spring 2009
Published 2019“…Topics were chosen to show the beauty and power of techniques in algebraic combinatorics. Rigorous mathematical proofs are expected.…”
Get full text
-
165
Massively Parallel Implementations of Theories for Apparent Motion
Published 2004“…Their effectiveness is demonstrated with mathematical proofs and computer simulations. We discuss relevant psychophysical experiments.…”
Get full text
-
166
Stochastic processes : theory for applications /
Published 2013“…"Basic underlying principles and axioms are made clear from the start, and new topics are developed as needed, encouraging and enabling students to develop an instinctive grasp of the fundamentals. Mathematical proofs are made easy for students to understand and remember, helping them quickly learn how to choose and apply the best possible models to real-world situations"--provided by publisher…”
-
167
-
168
The Role of Representations in Mathematical Reasoning
Published 2012-04-01“…This paper discusses the role of representations in mathematical proofs. It is proposed that representations enable us to break a proof down into manageable parts. …”
Get full text
Article -
169
An iterative incremental learning algorithm for complex-valued hopfield associative memory
Published 2016“…This paper discusses a complex-valued Hopfield associative memory with an iterative incremental learning algorithm. The mathematical proofs derive that the weight matrix is approximated as a weight matrix by the complex-valued pseudo inverse algorithm. …”
Get full text
Conference or Workshop Item -
170
Computer-Assisted Proving of Combinatorial Conjectures Over Finite Domains: A Case Study of a Chess Conjecture
Published 2019-03-01“…There are several approaches for using computers in deriving mathematical proofs. For their illustration, we provide an in-depth study of using computer support for proving one complex combinatorial conjecture -- correctness of a strategy for the chess KRK endgame. …”
Get full text
Article -
171
The Proofchecker
Published 2004“…The Proofchecker is a heuristically oriented computer program for checking mathematical proofs, with the checking of textbook proofs as its ultimate goal. …”
Get full text
-
172
On the Boundedness and Symmetry Properties of the Fractal Sets Generated from Alternated Complex Map
Published 2016-01-01“…In this paper, we improve the previous results by giving the strictly mathematical proofs of the two properties. Some simulations that verify the theoretical proofs are also included.…”
Get full text
Article -
173
What if ϕ4 theory in 4 dimensions is non-trivial in the continuum?
Published 2023-12-01“…This tradition is apparently well grounded both in physics arguments and mathematical proofs. Digging into the proofs one finds that they do not actually cover all physically meaningful situations, in particular the case of multi-component fields and non-polynomial action. …”
Get full text
Article -
174
Analysis of Recurrent Neural Network and Predictions
Published 2020-04-01“…In addition to mathematical proofs, numerical experiments confirmed our claims.…”
Get full text
Article -
175
A fundamental flaw in the ++AE authenticated encryption mode
Published 2018-03-01“…We outline the mathematical proofs for the flaw in the ++AE algorithm. …”
Get full text
Article -
176
A priori bounds and existence results for singular boundary value problems
Published 2016-04-01“…The right-hand side of the differential equation is allowed to be unrestricted in the growth of its variables and may depend on the derivative of the solution, which incurs additional difficultly in the mathematical proofs. A new approach is introduced by using a singular differential inequality that ensures that all possible solutions satisfy certain a priori bounds, including their "derivatives", to the singular BVP under consideration. …”
Get full text
Article -
177
Proofs as Spatio-Temporal Processes
Published 2014-10-01“…Finally, we examine certain historical types of styles of mathematical proofs, to elucidate our viewpoint.…”
Get full text
Article -
178
Distance-Based Decision Making, Consensus Building, and Preference Aggregation Systems: A Note on the Scale Constraints
Published 2022-07-01“…We provide necessary mathematical proofs and illustrate our arguments through an abstract physical system, examples, a case study, and a brief computational experiment.…”
Get full text
Article -
179
The Multivariate Theory of Functional Connections: Theory, Proofs, and Application in Partial Differential Equations
Published 2020-08-01“…The reformulation presented in this paper exploits the underlying functional structure presented in the seminal paper on the Theory of Functional Connections to ease the derivation of these interpolating functionals—called constrained expressions—and provides rigorous terminology that lends itself to straightforward derivations of mathematical proofs regarding the properties of these constrained expressions. …”
Get full text
Article -
180
A hybrid algorithm based on state-adaptive slime mold model and fractional-order ant system for the travelling salesman problem
Published 2022-12-01“…To understand the search behavior of the proposed algorithm, some mathematical proofs of convergence analysis are given. The experimental results validate the efficiency of the hybridization and demonstrate that the proposed algorithm has the competitive ability of finding the better solutions on TSP instances compared with some state-of-the-art algorithms.…”
Get full text
Article