Publication | Closed Access
On computational properties of chains of recurrences
13
Citations
8
References
2001
Year
Unknown Venue
EngineeringComputability TheoryProgram AnalysisMixed ChainsComputer EngineeringFormal MethodsSequential AlgorithmComputational ComplexityComputational PropertiesRecurrences Manipulation ToolsComputer ScienceTime ComplexityDiscrete MathematicsSequence DesignFormal VerificationRecursive FunctionSymbolic Method (Combinatorics)Chained Computations
Backward and mixed chains of recurrences are introduced. A complete set of chains of recurrences manipulation tools is described. Applications of these tools, related to the safety and numeric stability of chained computations are given.
| Year | Citations | |
|---|---|---|
Page 1
Page 1