We study the Gauss map of minimal surfaces in the Heisenberg group Nil3 endowed with a left-invariant Riemannian metric. We prove that the Gauss map of a nowhere vertical minimal surface is harmonic into the hyperbolic plane H. Conversely, any nowhere antiholomorphic harmonic map into H is the Gauss map of a nowhere vertical minimal surface. Finally, we study the image of the Gauss map of compl...

In this paper, we report that we have solved the SVP Challenge over a 128-dimensional lattice in Ideal Lattice Challenge from TU Darmstadt, which is currently the highest dimension in the challenge that has ever been solved. The security of lattice-based cryptography is based on the hardness of solving the shortest vector problem (SVP) in lattices. In 2010, Micciancio and Voulgaris proposed a G...

High-order triangle-based discontinuous Galerkin (DG) methods for hyperbolic equations on a rotating sphere are presented. The DG method can be characterized as the fusion of finite elements with finite volumes. This DG formulation uses high-order Lagrange polynomials on the triangle using nodal sets up to 15th order. The finite element-type area integrals are evaluated using order 2N Gauss cub...

Abstract. Bellman, Kalaba, and Lockett recently proposed a numerical method for inverting the Laplace transform. The method consists in first reducing the infinite interval of integration to a finite one by a preliminary substitution of variables, and then employing an n-point Gauss-Legendre quadrature formula to reduce the inversion problem (approximately) to that of solving a system of n line...

We present another proof of a theorem due to Hoffman and Osserman in Euclidean space concerning the determination of a conformal immersion by its Gauss map. Our approach depends on geometric quantities, that is, the hyperbolic Gauss map G and formulae obtained in hyperbolic space. We use the idea that the Euclidean Gauss map and the hyperbolic Gauss map with some compatibility relation determin...

A novel sparse Gauss–Hermite quadrature filter is proposed using a sparse-grid method for multidimensional numerical integration in the Bayesian estimation framework. The conventional Gauss–Hermite quadrature filter is computationally expensive for multidimensional problems, because the number of Gauss–Hermite quadrature points increases exponentially with the dimension. The number of sparse-gr...

Abstract. In this note, we give some estimates of the generalized quadrature formula of Gauss-Jacobi type for phi-preinvex functions.

This theory provides a compact formulation of Gauss-Jordan elimination for matrices represented as functions. Its distinctive feature is succinctness. It is not meant for large computations. 1 Gauss-Jordan elimination algorithm theory Gauss-Jordan-Elim-Fun imports Main begin Matrices are functions: type-synonym ′a matrix = nat ⇒ nat ⇒ ′a In order to restrict to finite matrices, a matrix is usua...