Entity usage

Showing below up to 50 results in range #1 to #50.

1. Computer algebra calculations in supersymmetric electrodynamics: Label: en
2. Error checking in real arithmetics: Label: en
3. Analysis of the correctness of a parallel program for set partitioning: Label: en
4. Categorical description of asynchronous parallel computations: Label: en
5. A system of programs for checking and controlling errors: Label: en
6. The core of a \(CF\)-grammar and syntax analysis: Label: en
7. Scheme canonical forms and their construction in special automaton models of recursive programs: Label: en
8. Numerical investigations of a parallelizing algorithm for solving a three-dimensional diffusion problem with the KORAT 3D program and multiprocessor computing systems: Label: en
9. Formal methods, language, and tools for the synthesis of celluar automata and architectures: Label: en
10. Parallel programming of linear processor arrays: Label: en
11. On the correctness of parallel algorithms: Label: en
12. On universal magic: Label: en
13. Symbolic search algorithms for partial d'Alembertian solutions to linear equations: Label: en
14. Horn programming with built-in predicates: Label: en
15. On the construction of complete systems of equivalent transformations of program schemes: Label: en
16. Information retrieval and representation in a multimedia system: A knowledge-based approach: Label: en
17. On an extension of the class of context-free languages: Label: en
18. Rational solutions of linear difference and \(q\)-differential equations with polynomial coefficients: Label: en
19. A scheme for effective specialization of imperative programs: Label: en
20. Parallel programming of boundary-valued problems for the Poisson and Helmholtz equations by a multigrid algorithm: Label: en
21. On Laplace and Dini transformations for multidimensional equations with a decomposable principal symbol: Label: en
22. `True concurrency' semantics for time Petri nets with weak time and persistent atomic policies: Label: en
23. Binarization of the swallow swarm optimization for feature selection: Label: en
24. Algorithms and programs for calculating the roots of polynomial of one or two variables: Label: en
25. Efficient implementation of fast Hough transform using CPCA coprocessor: Label: en
26. Modeling and optimization of functioning of the information Web portal: Label: en
27. A program auto-parallelizer based on the component technology of optimizing compiler construction: Label: en
28. Multithreaded testing of program interfaces: Label: en
29. Complete open-state testing of limitedly nondeterministic systems: Label: en
30. Compact representation of polynomials for algorithms for computing Gröbner and involutive bases: Label: en
31. Invertible Darboux transformations of type I: Label: en
32. On exponential-logarithmic solutions of linear differential systems with power series coefficients: Label: en
33. Qualitative investigation of a gene model using computer algebra algorithms: Label: en
34. Simulation of a quantum algorithm for phase estimation: Label: en
35. Differential equation systems with selected part of the unknowns: Label: en
36. Algorithm for checking triviality of ``mixed ideals in the ring of differential polynomials: Label: en
37. Investigation of a real algebraic surface: Label: en
38. Search of rational solutions to differential and difference systems by means of formal series: Label: en
39. An algorithm for constructing Darboux transformations of type I for third-order hyperbolic operators of two variables: Label: en
40. On checking existence of infinitely differentiable solutions of partial differential equations with boundary conditions: Label: en
41. Algorithm for construction of volume forms on toric varieties starting from a convex integer polytope: Label: en
42. Approximation of a quantum algorithm for order finding: Label: en
43. Partitions of the set of selected unknowns in linear differential-algebraic systems: Label: en
44. Using two types of computer algebra systems to solve Maxwell optics problems: Label: en
45. Parameterization of the discriminant set of a polynomial: Label: en
46. Procedures for searching local solutions of linear differential systems with infinite power series in the role of coefficients: Label: en
47. Construction of generalized Gauss-Jacobi quadratures by means of computer algebra methods: Label: en
48. On a method for finding the roots of an ideal: Label: en
49. Characteristic sets for ordinary differential equations: Label: en
50. Cohomology of restricted Lie algebras of Hamiltonian vector fields: computer analysis: Label: en