transformation rule
31formal logic — the branch of logic concerned exclusively with the principles of deductive reasoning and with the form rather than the content of propositions. [1855 60] * * * Introduction the abstract study of propositions, statements, or assertively used …
32Intermediate treatment of tensors — In mathematics and physics, a tensor is an idealized geometric or physical quantity whose numerical description, relative to a particular frame of reference, consists of a multiple indexed array of numbers. A vector, for example, is a tensor with …
33Propositional calculus — In mathematical logic, a propositional calculus or logic (also called sentential calculus or sentential logic) is a formal system in which formulas of a formal language may be interpreted as representing propositions. A system of inference rules… …
34Theorem — The Pythagorean theorem has at least 370 known proofs[1] In mathematics, a theorem is a statement that has been proven on the basis of previously established statements, such as other theorems, and previously accepted statements …
35mathematics — /math euh mat iks/, n. 1. (used with a sing. v.) the systematic treatment of magnitude, relationships between figures and forms, and relations between quantities expressed symbolically. 2. (used with a sing. or pl. v.) mathematical procedures,… …
36Stress (mechanics) — Continuum mechanics …
37Pseudotensor — In physics and mathematics, a pseudotensor is usually a quantity that transforms like a tensor under a proper rotation, but gains an additional sign flip under an improper rotation (a transformation that can be expressed as an inversion followed… …
38Covariance and contravariance of vectors — For other uses of covariant or contravariant , see covariance and contravariance. In multilinear algebra and tensor analysis, covariance and contravariance describe how the quantitative description of certain geometric or physical entities… …
39List of philosophy topics (R-Z) — RRaRabad Rabbinic law Rabbinic theology Francois Rabelais François Rabelais race racetrack paradox racism Gustav Radbruch Janet Radcliffe Richards Sarvepalli Radhakrishnan radical Aristotelianism radical behaviourism radical feminism radical… …
40Shape grammar — Shape grammars in computation are a specific class of production systems that generate geometric shapes. With shape grammars, forms can be created that are not stored in the computer previously. Shape grammars have been studied in particular in… …
