Results 1 to 10 of about 395,539 (297)
FAST ROBUST ARITHMETICS FOR GEOMETRIC ALGORITHMS AND APPLICATIONS TO GIS [PDF]
The International Archives of the Photogrammetry, Remote Sensing and Spatial Information Sciences, 2021 Geometric predicates are used in many GIS algorithms, such as the construction of Delaunay Triangulations for Triangulated Irregular Networks (TIN) or geospatial predicates.
T. Bartels, V. Fisikopoulos
doaj +1 more source
Quantum-inspired permanent identities [PDF]
Quantum, 2022 The permanent is pivotal to both complexity theory and combinatorics. In quantum computing, the permanent appears in the expression of output amplitudes of linear optical computations, such as in the Boson Sampling model.
Ulysse Chabaud +2 more
doaj +1 more source
Computable analysis for verified exact real computation [PDF]
Leibniz International Proceedings in Informatics (LIPIcs), 2020 We use ideas from computable analysis to formalize exact real number computation in the Coq proof assistant. Our formalization is built on top of the Incone library, a Coq library for computable analysis. We use the theoretical framework that computable analysis provides to systematically generate target specifications for real number algorithms. First
Konečný, Michal +2 more
openaire +4 more sources
Fast Kernel Smoothing in R with Applications to Projection Pursuit
Journal of Statistical Software, 2022 This paper introduces the R package FKSUM, which offers fast and exact evaluation of univariate kernel smoothers. The main kernel computations are implemented in C++, and are wrapped in simple, intuitive and versatile R functions.
David P. Hofmeyr
doaj +1 more source
Fractal and Fractional, 2021 We shall discuss three methods of inverse Laplace transforms. A Sinc-Thiele approximation, a pure Sinc, and a Sinc-Gaussian based method. The two last Sinc related methods are exact methods of inverse Laplace transforms which allow us a numerical ...
Gerd Baumann
doaj +1 more source
Exact p-adic computation in Magma [PDF]
Journal of Symbolic Computation, 2021 We describe a new arithmetic system for the Magma computer algebra system for working with $p$-adic numbers exactly, in the sense that numbers are represented lazily to infinite $p$-adic precision. This is the first highly featured such implementation.
openaire +4 more sources
Steep unidirectional wave groups – fully nonlinear simulations vs. experiments [PDF]
Nonlinear Processes in Geophysics, 2015 A detailed quantitative comparison of fully nonlinear computations with the measurements of unidirectional wave groups is presented. Computational results on evolving wave groups were compared with previous available experiments.
L. Shemer, B. K. Ee
doaj +1 more source
Reduction in Degrees of Freedom for Large-Scale Nonlinear Systems in Computer-Assisted Proofs
Mathematics, 2023 In many physical systems, it is important to know the exact trajectory of a solution. Relevant applications include celestial mechanics, fluid mechanics, robotics, etc.
Nikolay M. Evstigneev, Oleg I. Ryabkov
doaj +1 more source
Results in Physics, 2021 In this paper, we obtain the exact traveling solutions of the M-fractional generalized reaction Duffing model and density dependent M-fractional diffusion reaction equation by using three fertile, G′/G,1/G, modified G′/G2 and 1/G′-expansion methods ...
Imran Siddique +4 more
doaj +1 more source
Quasi-exact quantum computation [PDF]
Physical Review Research, 2020 We study quasi-exact quantum error correcting codes and quantum computation with them. A quasi-exact code is an approximate code such that it contains a finite number of scaling parameters, the tuning of which can flow it to corresponding exact codes, serving as its fixed points.
Dong-Sheng Wang +3 more
openaire +3 more sources