the language 
The language uses case distinction to formalize symbolic geometric objects and relations, reducing the problem of dealing with uncertainty and degeneracy to that of handling geometric constraints.


The algorithm is realized in the language C and message passing interface (MPI) system.


In the language of informal automata, questions are set out of the organization of the exchange of data and signals within the cluster, which afford the asynchronous operation of its processors.


The Language of Methylation in Genomics of Eukaryotes


For this purpose the linearized Helmholtz equation for the vorticity perturbations is reformulated in the language of the deformation field directly characterizing the evolution of the shape of each vortex line.


The description of the disturbed motion of steady vortices in the language of the deformation field is used to investigate the vibrations of a vortex ring.


A number of conditions on such classes are translated into the language of left ideals.


In this paper a conception of predicative truth in the language of naive analysis is given, and the peculiarities of the induced logic are studied.


This paper studies an extension of classical analysis, the language of which is obtained by adding to the language of analysis a twoplace predicate symbol ρ.


Let L be the language of the intuitionistic propositional calculus J completed by the quantifiers ? and ?, and let calculus 2J in language L contain, besides the axioms of J, the axioms ?xB (x) ? B(y) and B(y) ? ?xB (x).


In the present work assertions concerning the disjunctivity, factors, κmixing, and weak multiple mixing of dynamic systems are proved using the language of stochastic intertwining operators.


Semantics of predicate formulas based on the notion of modified realizability for arithmetic formulas and interpretations of the language of arithmetic in all finite types are considered.


The algebras with trinomial identities are characterized in the language of varieties.


The main types of such varieties are singled out in the language of identities, and inclusions between these types are established.


In this paper, we suggest a new functional approach to the study of group classes which enables us to describe all formations and Fitting classes of finite groups in the language of functions.


A special feature of the language is a nonconventional definition of the object type that can be used simultaneously as the description of a syntax class.


The availability of a constructor in the language makes it possible to generate objects while the program is running from componentssubobjects given either by variable values or in the form of representations.


This allows us to obtain an algebraic characterization of the language family generated by conjunctive grammars.


Unlike previous publications on the language, this paper gives a formal definition of a vector, which is used for the description of the semantics of basic constructs.


The language updates that appeared after the first publication are discussed.

