Results 31 to 40 of about 1,007,644 (283)
Separation of the largest eigenvalues in eigenanalysis of genotype data from discrete subpopulations [PDF]
, 2017 We present a mathematical model, and the corresponding mathematical analysis, that justifies and quantifies the use of principal component analysis of biallelic genetic marker data for a set of individuals to detect the number of subpopulations ...
Bryc, Katarzyna +2 more
core +1 more source
Synthese, 2003 The aim I am pursuing here is to describe some general aspects of mathematical proofs. In my view, a mathematical proof is a warrant to assert a non-tautological statement which claims that certain objects (possibly a certain object) enjoy a certain property. Because it is proved, such a statement is a mathematical theorem.
openaire +2 more sources
Proof; Justification; Mathematical validation process; Levels and type of proof; ACODESA
Enseñanza de las Ciencias, 2019 In this article we report how an approach was promoted from the pre-formal to the formal stage regarding the students’ way of justifying mathematical reasoning.
Álvaro Sebastián Bustos Rubilar +1 more
doaj +1 more source
What Do We Mean by Mathematical Proof? [PDF]
, 2011 Mathematical proof lies at the foundations of mathematics, but there are several notions of what mathematical proof is, or might be. In fact, the idea of mathematical proof continues to evolve. In this article, I review the body of literature that argues
Todd Cadwalladerolsker +1 more
core +5 more sources
Travelling waves for the Gross-Pitaevskii equation II [PDF]
, 2008 The purpose of this paper is to provide a rigorous mathematical proof of the existence of travelling wave solutions to the Gross-Pitaevskii equation in dimensions two and three.
A. Bouard de +34 more
core +3 more sources
A Q‐Learning Algorithm to Solve the Two‐Player Zero‐Sum Game Problem for Nonlinear Systems
International Journal of Adaptive Control and Signal Processing, Volume 39, Issue 3, Page 566-581, March 2025.A Q‐learning algorithm to solve the two‐player zero‐sum game problem for nonlinear systems. ABSTRACT This paper deals with the two‐player zero‐sum game problem, which is a bounded L2$$ {L}_2 $$‐gain robust control problem. Finding an analytical solution to the complex Hamilton‐Jacobi‐Issacs (HJI) equation is a challenging task.
Afreen Islam +2 more
wiley +1 more source
Mathematics, 2020 Algebraic thinking, combinatorial thinking and reasoning skills are considered as playing central roles within teaching and learning in the field of mathematics, particularly in solving complex open-ended mathematical problems Specific relations between ...
Janka Medová +2 more
doaj +1 more source
Developing Students Ability To Write Mathematical Proof By Polya Method [PDF]
, 2011 Both writing and reading a proof is equally not easy. Some mathematicians attested that students found difficulties in mathematical proving. Mathematics and mathematics education experts like Jones (1997, 2001), Weber (2001), and Smith (2006) found that ...
Kodirun, Kodirun
core
On Gauss's first proof of the fundamental theorem of algebra
, 2017 Carl Friedrich Gauss is often given credit for providing the first correct proof of the fundamental theorem of algebra in his 1799 doctoral dissertation. However, Gauss's proof contained a significant gap.
Basu, Soham, Velleman, Daniel J.
core +1 more source
The prospects for mathematical logic in the twenty-first century [PDF]
, 2001 The four authors present their speculations about the future developments of mathematical logic in the twenty-first century. The areas of recursion theory, proof theory and logic for computer science, model theory, and set theory are discussed ...
Alexander S. Kechris +4 more
core +3 more sources