APS-1
From MaRDI portal
Software:13951
swMATH1210MaRDI QIDQ13951FDOQ13951
Author name not available (Why is that?)
Official website: http://www.springerlink.com/content/b6556q0873172287/
Cited In (33)
- Paradigm of software component dictionaries for software development
- Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 5--11, 2017
- 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
- GLift
- visualSTATE
- APS
- BSGP
- hiCUDA
- 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
- Using hypertext for symbolic and analytical transformations
- Title not available (Why is that?)
- Parallel dynamic semantics of sequential programs with speculative and incremental computation
- Algebra of algorithmics and design of systems for synthesis of multimedia applications in the windows environment
- Basic protocols, message sequence charts, and the verification of requirements specifications
- The evidence algorithm and problems of representation and processing of mathematical computer knowledge
This page was built for software: APS-1
