APS

swMATH8969MaRDI QIDQ20964FDOQ20964

Author name not available (Why is that?)

Cited In (26)

• Paradigm of software component dictionaries for software development
• A rewriting machine and optimization of strategies of term rewriting
• Formalized program specifications and transformation synthesis
• Implementation of numerical-analytical approximation methods for functions defined by ordinary differential equations
• Objects in algebraic programming system
• The development of a partial evaluator for extended lambda calculus
• An automatic method for the dynamic construction of abstractions of states of a formal model
• Parallel inference search in logical calculus based on the algebraic programming system
• Trapezoid method for solving systems of linear inequalities and its implementation in insertion modeling
• Algebraic programming: Methods and tools
• Theorem proving in a mathematical information environment
• Basic paradigms of programming
• Implementation of some algorithms of combinatorial group theory in the algebraic programming system APS-1
• Systems specification by basic protocols
• Parallelization of the Buchberger algorithm
• Hardware simulation in distributed computing systems: Methods and tools
• Integrated tools for design and synthesis of classes of algorithms and programs
• Translation of algebraic programs into executable codes
• On the creation of a macromodel of social development
• Computations in APS
• Tools for simulation of parallel computations in a system of algebraic programming
• Title not available (Why is that?)
• Parallel dynamic semantics of sequential programs with speculative and incremental computation
• Implementation of the Nielsen algorithm in the algebraic programming system APS-1
• Algebra of algorithmics and design of systems for synthesis of multimedia applications in the windows environment
• The evidence algorithm and problems of representation and processing of mathematical computer knowledge

This page was built for software: APS