A. A. Babaev

Publication Activity (10 Years)

Years Active: 1988-2014
Publications (10 Years): 0

Top Topics

Distributed Memory

Parallel Algorithm

Top Venues

Comput. Phys. Commun.

Publications

A. A. Babaev
Parallel code NSBC: Simulations of relativistic nuclei scattering by a bent crystal. Comput. Phys. Commun. 185 (1) (2014)
A. A. Babaev, Sergei Soloviev
On conditions of full coherence in biclosed categories: a new application of proof theory. Conference on Computer Logic (1988)