Publication | Open Access
Some experiments in algebraic manipulation by computer
13
Citations
5
References
1965
Year
EngineeringComputational ComplexitySymbolic ComputationList ProcessorAlgebraic ManipulationsParallel ComputingSymbolic ManipulationProgramming Language TheoryAlgebraic ManipulationAbstract InterpretationComputer EngineeringWord (Computer Architecture)Computer ScienceIbm 7094Program AnalysisAutomated ReasoningAlgebraic MethodFormal MethodsComputer AlgebraParallel Programming
A set of subroutines to allow algebraic manipulations on the IBM 7094 computer has been written using a List Processor, SLIP. A series of four problems of increasing difficulty were solved using these routines.
| Year | Citations | |
|---|---|---|
Page 1
Page 1