Related papers: A Computer Verification of a Conjecture About Erd\…

We discuss the extension of inequality R_A >= c/a * r_b + b/a * r_c to the plane of triangle ABC. Based on the obtained extension, in regard to all three vertices of the triangle, we get the extension of Erdos-Mordell inequality, and some…

We establish some new generalizations of Erd\H{o}s-Mordell inequality by adding weights to its terms. Using these generalizations, we derived strengthened versions of the original Erd\H{o}s-Mordell inequality. We also found two other…

In this work the Erdos-Mordell's inequality is examined for the case of a triangle $ABC$ in the taxicab plane geometry. It is shown that the Erdos-Mordell's inequality $R_A + R_B + R_C \, \geq \, w \, (r_a + r_b + r_c)$ holds for triangles…

In this article we prove the explicit Mordell Conjecture for large families of curves. In addition, we introduce a method, of easy application, to compute all rational points on curves of quite general shape and increasing genus. The method…

We introduce an analogue of the Mertens conjecture for elliptic curves over finite fields. Using a result of Waterhouse, we classify the isogeny classes of elliptic curves for which this conjecture holds in terms the size of the finite…

We relate the Andrews-Curtis conjecture to the triviality problem for balanced presentations of groups using algorithms from 3-manifold topology. Implementing this algorithm could lead to counterexamples to the Andrews-Curtis conjecture.

The geometric torsion conjecture asserts that the torsion part of the Mordell--Weil group of a family of abelian varieties over a complex quasiprojective curve is uniformly bounded in terms of the genus of the curve. We prove the conjecture…

In this note, we discuss recently discovered counterexamples to Mordell's Pellian Equation Conjecture and the Ankeny-Artin-Chowla-Conjecture. We provide a verification of the counterexample to Mordell's Pellian Equation Conjecture that can…

We describe how the Mordell-Weil group of rational points on a certain family of elliptic curves give rise to solutions to a conjecture of Erd\"{o}s on $3$-powerful numbers, and state a related conjecture which can be viewed as an elliptic…

We state and investigate an integral analogue of the Andr\'e-Oort conjecture (in integral models of Shimura varieties). We establish an instance of this conjecture: the case of a modular curve, as a scheme over Z. It is a scheme of…

We establish for smooth projective real curves the equivalent of the classical Clifford inequality known for complex curves. We also study the cases when equality holds.

We provide empirical evidence for the Erd\H{o}s-Straus conjecture by improving computational bounds to $10^{18}$ and by evaluating the solution-counting function $f(p)$ for this conjecture.

An approach is shown that proves various theorems of plane geometry in an algorithmic manner. The approach affords transparent proofs of a generalization of the Theorem of Morley and other well known results by casting them in terms of…

This is an informal paper presenting historical results around the recent paper of the author about Lang's Conjecture and torsion of elliptic curves. This paper also discusses a few aspects of the proof.

We prove the dynamical Mordell-Lang conjecture for product of endomorphisms of an affine curve and a projective curve over $\overline{\mathbb{Q}}$.

We provide an algorithm to check whether two rational space curves are related by a similarity. The algorithm exploits the relationship between the curvatures and torsions of two similar curves, which is formulated in a computer algebra…

We prove an analogue of Clifford's inequality for tropical curves. Next we focus on the hyperelliptic case and we characterize divisors attaining equality. Finally we speculate whether inequality in tropical Clifford's Theorem does imply…

We study the problem of $d$-gonality of the modular curve $X_0(N)$. As a result, we can give an upperbound of the level $N$ by means of $d$. This generalizes Ogg's result on hyperelliptic modular curves ($d = 2$). As a corollary of this…

We give a counterexample to a recently conjectured variant of the Penrose inequality.

This paper focuses on the proof of Serge Lang's Heights Conjecture in a form that is completely effective. As a complementary result the author provides a new proof of Mazur-Merel theorem about a bound for the torsion of elliptic curves in…