Results 41 to 50 of about 865,901 (361)
Investigation of the Roles of Dynamic Geometry Software in Problem Solving Skills and Conjecture Making [PDF]
Teaching and learning geometry at secondary level have usually many problems. Researches indicate that use of Dynamic Geometry Software (DGS) can reduce some of these difficulties.
E. Reyhani, H. Mesgarani, F. Farmehr
doaj +1 more source
Further Refining the de Sitter Swampland Conjecture [PDF]
We propose an alternative refined de Sitter conjecture. It is given by a natural condition on a combination of the first and second derivatives of the scalar potential.
D. Andriot, Christoph Roupec
semanticscholar +1 more source
On the Mertens Conjecture for Function Fields [PDF]
We study an analogue of the Mertens conjecture in the setting of global function fields. Building on the work of Cha, we show that most hyperelliptic curves do not satisfy the Mertens conjecture, but that if we modify the Mertens conjecture to have a ...
Humphries, Peter
core +2 more sources
From Schanuel’s Conjecture to Shapiro’s Conjecture [PDF]
In this paper we prove Shapiro’s 1958 Conjecture on exponential polynomials, assuming Schanuel’s Conjecture.
D'AQUINO, Paola +2 more
openaire +4 more sources
The Contradiction Between the Possibility of Understanding the Qur,an and the Necessity the Existence of the Infallibles [PDF]
Doubts exist regarding the possibility of man understanding the Qu' ran, one of the most important of which being the contradiction between the possibility of understanding the Qur'an and the necessity or the existence of the infallibles.
Abedin movmeni
doaj +1 more source
Investigations on hoop conjecture for horizonless spherical charged stars
For horizonless spherical stars with uniform charge density, the hoop conjecture was tested based on the interior solution. In this work, we are interested in more general horizonless spherical charged stars.
Yan Peng
doaj +1 more source
We prove a conjecture made by Gilman in 1984 that the groups presented by finite, monadic, confluent rewriting systems are precisely the free products of free and finite groups.
Eisenberg, Andy, Piggott, Adam
openaire +3 more sources
On Osgood-Yang’s conjecture and Mues conjecture [PDF]
AbstractIn this paper, we deal with the relation between the characteristic functions of meromorphic functions that share three values CM. As applications of our main results, we shall affirmatively settle two conjectures proposed by Mues and Osgood-Yang.
Yi, Hong-Xun, Li, Yu-Hua
openaire +3 more sources
A FORMAL PROOF OF THE KEPLER CONJECTURE [PDF]
This article describes a formal proof of the Kepler conjecture on dense sphere packings in a combination of the HOL Light and Isabelle proof assistants. This paper constitutes the official published account of the now completed Flyspeck project.
T. Hales +21 more
semanticscholar +1 more source
THE BINARY GOLDBACH CONJECTURE
The Goldbach Conjecture, one of the oldest problems in mathematics, has fascinated and inspired many mathematicians for ages. In 1742 German mathematician Christian Goldbach, in a letter addressed to Leonhard Euler, proposed a conjecture.
Jan Feliksiak
doaj +1 more source

