Concept

Dyadic rational

Related publications (36)

Graph Chatbot

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.

Some consequences of Masser's counting theorem on elliptic curves

Valéry Aurélien Mahé

We use Masser's counting theorem to prove a lower bound for the canonical height in powers of elliptic curves. We also prove the Galois case of the elliptic Lehmer problem, combining Kummer theory and Masser's result with bounds on the rank and torsion of ...

Springer Heidelberg2017

Height of rational points on quadratic twists of a given elliptic curve

Pierre Francis André Le Boudec

We formulate a conjecture about the distribution of the canonical height of the lowest non-torsion rational point on a quadratic twist of a given elliptic curve, as the twist varies. This conjecture seems to be very deep and we can prove only partial resul ...

Oxford Univ Press2016

MATHICSE Technical Report : Fast computation of the matrix exponential for a Toeplitz matrix

Daniel Kressner, Robert Gerhard Jérôme Luce

The computation of the matrix exponential is a ubiquitous operation in numerical mathematics, and for a general, unstructured n×n matrix it can be computed in O(n3) operations. An interesting problem arises if the input matrix is a Toeplitz matrix, for exa ...

MATHICSE2016

Motivic Classes of Nakajima Quiver Varieties

Dimitri Stelio Wyss

We prove that Hausel’s formula for the number of rational points of a Nakajima quiver variety over a finite field also holds in a suitable localization of the Grothendieck ring of varieties. In order to generalize the arithmetic harmonic analysis in his pr ...

2016

Deductive Synthesis and Repair

Etienne Kneuss

In this thesis, we explore techniques for the development of recursive functional programs over unbounded domains that are proved correct according to their high-level specifications. We present algorithms for automatically synthesizing executable code, st ...

EPFL2016

Density of Rational Points on a Certain Smooth Bihomogeneous Threefold

Pierre Francis André Le Boudec

We establish sharp upper and lower bounds for the number of rational points of bounded anticanonical height on a smooth bihomogeneous threefold defined over Q and of bidegree (1, 2). These bounds are in agreement with Manin's conjecture. ...

Oxford University Press2015

Fast Detection and Refined Scale Estimation Using Complex Isotropic Wavelets

Michaël Unser, Daniel Sage, Zsuzsanna Püspöki, John Paul Ward

The dyadic scaling in the discrete wavelet transform can lead to a loss of precision, in comparison to the computationally unrealistic continuous wavelet transform. To overcome this obstacle, we propose a novel method to locally scale wavelets between dyad ...

IEEE2015

Linear Growth for Certain Elliptic Fibrations

Pierre Francis André Le Boudec

We prove that the number of rational points of bounded height on certain del Pezzo surfaces of degree 1 defined over Q grows linearly, as predicted by Manin's conjecture. ...

Oxford University Press2015

Affine congruences and rational points on a certain cubic surface

Pierre Francis André Le Boudec

We establish estimates for the number of solutions of certain affine congruences. These estimates are then used to prove Manin's conjecture for a cubic surface split over Q whose singularity type is D-4. This improves on a result of Browning and answers a ...

Mathematical Science Publ2014

Density of rational points on del Pezzo surfaces of degree one

We state conditions under which the set S(k) of k-rational points on a del Pezzo surface S of degree 1 over an infinite field k of characteristic not equal to 2 or 3 is Zariski dense. For example, it suffices to require that the elliptic fibration S -> P-1 ...

Academic Press Inc Elsevier Science2014