|
|
Download PDFOpen PDF in browserMeaning Formulas for Syntax-Based Mathematical Algorithms2 pages•Published: December 4, 2014AbstractA meaning formula for a symbolic algorithm is a statement that captures the mathematical relationship between the input and output expressions of the algorithm. We examine how meaning formulas can be expressed and proved in a formal logic and how they can be used to represent mathematical knowledge and to define mathematical services. In: Temur Kutsia and Andrei Voronkov (editors). SCSS 2014. 6th International Symposium on Symbolic Computation in Software Science, vol 30, pages 10-11. Download PDFOpen PDF in browser |
|
|