Anatoly V. Anisimov

Learn More
Formalizing mathematical argument is a fascinating activity in itself and (we hope!) also bears important practical applications. While traditional proof theory investigates deducibility of an individual statement from a collection of premises, a mathematical proof, with its structure and continuity, can hardly be presented as a single sequent or a set of(More)
Dealing with a formal mathematical text (which we regard as a structured collection of hypotheses and conclusions), we often want to perform various analysis and transformation tasks on the initial formulas, without preliminary normalization. One particular example is checking for " ontological correctness " , namely, that every occurrence of a non-logical(More)
A model-free theoretical framework for a phenomenological description of spin-lattice relaxation by anomalous translational diffusion in inhomogeneous systems based on the fractional diffusion equation is developed. The dependence of the spin-lattice relaxation time on the size of the pores in porous glass Vycor is experimentally obtained and found to agree(More)
We offer novel algorithms for efficient encoding/decoding of variable-to-fixed length codes, requiring at most quadratic amount of space: O(L 2), where L is the depth of a coding tree. This is a major improvement compared to exponential O(2 L) usage of space by conventional techniques using complete representations of coding trees in computer's memory.(More)
We analyzed the effect of hydrostatic pressure at the 2–4 MPa level on the growth and organization of maize seedlings cells. At a pressure value of 2 MPa, we observed clarification of mitochondrial matrix, clusterization of endoplasmic reticulum elements with formation of ergastoplasm sites, and an increase of the number of small vacuoles in the cytoplasm.(More)