Algebraic definition of a functional programming language and its semantic models
Algebraic elimination of -transitions.
Algebraic representation formulas for null curves in Sl(2,ℂ)
We study curves in Sl(2,ℂ) whose tangent vectors have vanishing length with respect to the biinvariant conformal metric induced by the Killing form, so-called null curves. We establish differential invariants of them that resemble infinitesimal arc length, curvature and torsion of ordinary curves in Euclidean 3-space. We discuss various differential-algebraic representation formulas for null curves. One of them, a modification of the Bianchi-Small formula, gives an Sl(2,ℂ)-equivariant bijection...
Algebraical loops and transformation of variables
Algèbres effectives dans la programmation logique avec contraintes
Algèbres non déterministiques et -catégories
Algorithm 25. Discrete optimization by the method of Mao and Wallingford
Algorithm 26. Limit distribution of the number of items in the queueing system E₂/E₂/n
Algorithm 27. Statistical prediction by the method of harmonical weights
Algorithm 29. Solving systems of linear equations by Sokolov's method
Algorithm 30. The calculation of the minimum of a certain function of one variable
Algorithm 31. The calculation of the minimum of a certain function of several variables
Algorithm 32. Construction of polynomial values orthogonal on given set of one-dimensional variable
Algorithm 35. Calculation of measures of stochastical dependence
Algorithm 37. Solution of sparse linear equation systems
Algorithm 42. Enclosure of a point to the minimum spanning tree
Algorithm 43. Evaluation of an improper integral on a finite interval
Algorithm 48. Solving boundary value problems for the biharmonic equation by the method of summary representations
Algorithm 54. An algorithm for binary-to-decimal conversion of real numbers
Algorithm 88. A new algorithm calculating the distance between binary arborescences