APS-1
From MaRDI portal
Software:13951
No author found.
Related Items (28)
On the creation of a macromodel of social development ⋮ Algebraic programming: Methods and tools ⋮ Formalized program specifications and transformation synthesis ⋮ Basic paradigms of programming ⋮ Implementation of some algorithms of combinatorial group theory in the algebraic programming system APS-1 ⋮ Parallel dynamic semantics of sequential programs with speculative and incremental computation ⋮ Parallelization of the Buchberger algorithm ⋮ Hardware simulation in distributed computing systems: Methods and tools ⋮ Paradigm of software component dictionaries for software development ⋮ A rewriting machine and optimization of strategies of term rewriting ⋮ Unnamed Item ⋮ 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 ⋮ Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 5--11, 2017 ⋮ Tools for simulation of parallel computations in a system of algebraic programming ⋮ Algebra of algorithmics and design of systems for synthesis of multimedia applications in the windows environment ⋮ Trapezoid method for solving systems of linear inequalities and its implementation in insertion modeling ⋮ Integrated tools for design and synthesis of classes of algorithms and programs ⋮ Systems specification by basic protocols ⋮ Translation of algebraic programs into executable codes ⋮ Objects in algebraic programming system ⋮ Implementation of numerical-analytical approximation methods for functions defined by ordinary differential equations ⋮ The development of a partial evaluator for extended lambda calculus ⋮ Using hypertext for symbolic and analytical transformations ⋮ Theorem proving in a mathematical information environment ⋮ The evidence algorithm and problems of representation and processing of mathematical computer knowledge ⋮ Basic protocols, message sequence charts, and the verification of requirements specifications ⋮ Computations in APS
This page was built for software: APS-1
