Entity usage

This page lists pages that use the given entity (e.g. Q42). The list is sorted by descending page ID, so that newer pages are listed first.

Showing below up to 50 results in range #51 to #100.

Involutive divisions: Slice and pair properties: Label: en
Parallel computation of Janet and Gröbner bases over rational numbers: Label: en
Asymptotics of sums of hypergeometric terms: Label: en
Symbolic additive decomposition of rational functions: Label: en
On the rational summation problem: Label: en
An algorithm for scheduling exchanges over a bus with centralized control and an analysis of its efficiency: Label: en
Syntax-directed implementation of visual languages based on automaton graphical grammars: Label: en
Search optimization in semistructured databases using hierarchy of document schemas: Label: en
Generation of positive and negative tests for parsers: Label: en
Test sequence construction using minimum information on the tested system: Label: en
An algorithm for partitioning a set into simple parts: Label: en
Obtaining affine transformations to improve locality of loop nests: Label: en
Functional parallel typified language and its implementation on clusters: Label: en
An approach to the verification of symmetric parameterized distributed systems: Label: en
Symbolic method of verification of definite iterations over altered data structures: Label: en
Distribution of operations and data arrays over processors: Label: en
Assessment of a flexible architecture for distributed control: Label: en
An ASM-based formal model of a Java program: Label: en
Decidability of the analysis problem for dataflow models of programs: Label: en
Outlier detection algorithms in data mining systems: Label: en
Synthesis of neural network-based approximators with heterogeneous architecture: Label: en
Graphic representation method and neural network recognition of time-frequency vectors of speech information: Label: en
Locally optimal algorithms for designing schedules based on Hopfield networks: Label: en
Implementation of spectral transformations in the class of fast neural networks: Label: en
The jubilee of Svyatoslav Sergeevich Lavrov: Label: en
Canonical forms of XML schemas: Label: en
Irredundant algorithms for traversing directed graphs: The deterministic case: Label: en
On program schemes with commuting and monotone operators: Label: en
Automated construction of identification procedures for objects belonging to several classes: Label: en
Formal semantics of Java expressions and statements: Label: en
Detecting objects in images in real-time computer vision systems using structured geometric models: Label: en
A consistent generation of pipeline parallelism and distribution of operations and data among processors: Label: en
On the Euler-Imshenetskii-Darboux transformation of linear second-order equations: Label: en
Fast evaluation of the hypergeometric function \(_pF_{p-1}\)(a;b;z) at the singular point \(z = 1\) by means of the Hurwitz zeta function \(\xi(\alpha,s)\).: Label: en
Normal forms and integrability of ODE systems: Label: en
Effectiveness of involutive criteria in computation of polynomial Janet bases: Label: en
Methods for justifying arithmetic hypotheses and computer algebra: Label: en
Membership problem for differential ideals generated by a composition of polynomials: Label: en
Symbolic solution of nonhomogeneous linear ordinary differential equations in terms of power series: Label: en
Solution spaces of \(H\)-systems and the Ore-Sato theorem (extended abstract): Label: en
Generation of difference schemes for the Burgers equation by constructing Gröbner bases: Label: en
Symbolic algorithm for factorization of the evolution operator of the time-dependent Schrödinger equation: Label: en
On constructivity of involutive divisions: Label: en
Lattices of right divisors of linear ordinary differential operators: Label: en
Discrete relations on abstract simplicial complexes: Label: en
Construction of exact partial solutions of nonintegrable systems by means of formal Laurent and Puiseux series: Label: en
Some symbolic computation algorithms in cosmic dynamics problems: Label: en
Symbolic computation with sequences: Label: en
Parallel integration (extended abstract): Label: en
In memory of Manuel Bronstein: Label: en