- arXiv.org
- Data Analysis, Statistics and Probability
- Popular Physics
- Space Physics
- Optics
- Fluid Dynamics
- Physics and Society
- Biological Physics
- General Physics
- History and Philosophy of Physics
- Atomic and Molecular Clusters
- Plasma Physics
- Medical Physics
- Atomic Physics
- Geophysics
- Chemical Physics
- Computational Physics
- Instrumentation and Detectors
- Classical Physics
- Atmospheric and Oceanic Physics
- Physics Education
- Accelerator Physics

- Statistics Theory
- Number Theory
- Analysis of PDEs
- Information Theory
- History and Overview
- Combinatorics
- Algebraic Geometry
- Representation Theory
- Symplectic Geometry
- Complex Variables
- Probability
- Mathematical Physics
- Group Theory
- Operator Algebras
- Metric Geometry
- Numerical Analysis
- Dynamical Systems
- Optimization and Control
- Logic
- General Topology
- Quantum Algebra
- Differential Geometry
- Geometric Topology
- General Mathematics
- Functional Analysis
- Algebraic Topology
- K-Theory and Homology
- Classical Analysis and ODEs
- Rings and Algebras
- Spectral Theory
- Commutative Algebra
- Category Theory

- Formal Languages and Automata Theory
- Computational Complexity
- Multiagent Systems
- General Literature
- Information Theory
- Symbolic Computation
- Information Retrieval
- Sound
- Databases
- Learning
- Other Computer Science
- Computer Vision and Pattern Recognition
- Social and Information Networks
- Neural and Evolutionary Computing
- Numerical Analysis
- Operating Systems
- Emerging Technologies
- Software Engineering
- Programming Languages
- Digital Libraries
- Hardware Architecture
- Artificial Intelligence
- Systems and Control
- Human-Computer Interaction
- Cryptography and Security
- Performance
- Distributed, Parallel, and Cluster Computing
- Discrete Mathematics
- Mathematical Software
- Computer Science and Game Theory
- Computational Engineering, Finance, and Science
- Computers and Society
- Computational Geometry
- Computation and Language
- Robotics
- Data Structures and Algorithms
- Graphics
- Networking and Internet Architecture
- Multimedia
- Logic in Computer Science

- A novel and scalable geometric multi-level algorithm is presented for the numerical solution of elliptic partial differential equations, specially designed to run with high occupancy of streaming processors inside Graphics Processing Units(GPUs). The algorithm consists of iterative, superposed operations on a single grid, and it is composed of two simple full-grid routines: a restriction and a coarsened interpolation-relaxation. The restriction is used to collect sources using recursive coarsened averages, and the interpolation-relaxation simultaneously applies coarsened finite-difference operators and interpolations. The routines are scheduled in a saw-like refining cycle. Convergence to machine precision is achieved repeating the full cycle using accumulated residuals and successively collecting the solution. Its total number of operations scale linearly with the number of nodes. It provides an attractive fast solver for Boundary Value Problems (BVPs), specially for simulations running entirely in the GPU. Applications shown in this work include the deformation of two-dimensional grids, the computation of three-dimensional streamlines for a singular trifoil-knot vortex and the calculation of three-dimensional electric potentials in heterogeneous dielectric media.

A formally verified proof of the Central Limit Theorem

Zoltán Zimborás May 28 2014 04:42 UTC