Abstract:In 1922, Mordell conjectured that the set of rational points on a smooth curve $C$ over $\mathbb{Q}$ with genus $g \ge 2$ is finite. This has been proved by Faltings in 1983. However, Coleman determined in 1985 an upper bound of $#C(\mathbb{Q})$ by following Chabauty's approach which considers the special case when the Jacobian variety of $C$ has Mordell-Weil rank $< g$. In 2006, Stoll improved the Coleman's bound. Balakrishnan with her co-authors in [1] implemented the Chabauty-Coleman method to compute the rational points of genus $3$ hyperelliptic curves. Then, Hashimoto and Morrison [8] did the same work for Picard curves. But it happens that this work has not yet been done for all genus 3 curves. In this paper, we describe an algorithm to compute the complete set of rational points $C(\mathbb{Q})$ for any genus $3$ curve $C/\mathbb{Q}$ that is a degree-$2$ cover of a genus $1$ curve whose Jacobian has rank $0$. We implemented this algorithm in Magma, and we ran it on approximately $40, 000$ curves selected from databases of plane quartics and genus $3$ hyperellitic curves. We discuss some interesting examples, and we exhibit curves for which the number of rational points meets the Stoll's bound

On sets of $n$ points in general position that determine lines that can be pierced by $n$ points

Obstructions to Choosing Distinct Points on Cubic Plane Curves

On $r$-Equichromatic Lines with few points in $\mathbb{C}^2$

Rational distances from given rational points in the plane

Points on a curve with a power on a curve

Simplicial arrangements with few double points

Lines on $p$-adic and real cubic surfaces

On cliques in three-dimensional dense point-line arrangements

On Lines, Joints, and Incidences in Three Dimensions

Curves with prescribed rational points

Cyclic Cubic Points on Higher Genus Curves

Convex decompositions of point sets in the plane

Quatroids and Rational Plane Cubics

Rational Points of some genus $3$ curves from the rank $0$ quotient strategy

Reduced and non-reduced linear spaces: Lines and points

Choosing Points on Cubic Plane Curves: Rigidity and Flexibility

The envelope of lines meeting a fixed line that are tangent to two spheres

On Equal Point Separation by Planar Cell Decompositions

A family of convex sets in the plane satisfying the $(4,3)$-property can be pierced by nine points

On cubic-line arrangements with simple singularities

How often does a cubic hypersurface have a rational point?