TL;DR: Logic of propositions reasoning about predicates functions and operations set notation composite objects and invariants map notation sequence notation data rectification more on data types operation decomposition.
Abstract: Logic of propositions reasoning about predicates functions and operations set notation composite objects and invariants map notation sequence notation data rectification more on data types operation decomposition a small case study.
TL;DR: In this paper, general thermodynamic definitions of the higher order elastic coefficients of thermoelastic media are presented in tensor and engineering notation, which are natural generalizations of the customary definitions of second-order coefficients.
Abstract: General thermodynamic definitions of the higher order elastic coefficients of thermoelastic media are presented in tensor and engineering notation. They are natural generalizations of the customary definitions of second-order coefficients, they retain the usual conventions relating tensor and engineering stresses and strains, and they simplify thermodynamic calculations.
TL;DR: Two notations are being promoted that everybody will be able to use in published papers without needing to explain what they mean: (1) Iverson's convention for characteristic functions; and the "right" notation for Stirling numbers, at last.
Abstract: (1992). Two Notes on Notation. The American Mathematical Monthly: Vol. 99, No. 5, pp. 403-422.