Search results
Jump to navigation
Jump to search
Page title matches
- ...[[mathematical structure]] ([[Euclidean space]], in this case). Second, a mathematical structure may have more than one definition (for example, [[topological spa In the former case, equivalence of two definitions means that a mathematical object (for example, geometric body) satisfies one definition [[if and only ...26 KB (3,751 words) - 00:08, 16 December 2024
Page text matches
- {{Short description|Mathematical structure}} ...quirements between the comultiplication <math>\Delta</math> and the monoid structures on <math>H</math> and <math>H\otimes H</math>. ...2 KB (286 words) - 17:00, 20 December 2023
- {{Group-like structures}} ...allo |editor3=Jim Stasheff|title=Associahedra, Tamari Lattices and Related Structures: Tamari Memorial Festschrift|url=https://archive.org/details/associahedrata ...2 KB (318 words) - 12:07, 26 December 2023
- In the mathematical discipline of [[graph theory]], the '''(''m'',''n'')-lollipop graph''' is a ...=Johan|title=Lollipop graphs are extremal for commute times|journal=Random Structures and Algorithms|date=March 2000|volume=16|issue=2|pages=131–142|doi=10.1002/ ...2 KB (272 words) - 00:10, 2 May 2024
- The following diagram helps to locate algorithmic logic among other [[Mathematical logic|logics]]. ...ogic)|Terms]]'' - i.e. expressions denoting operations on elements of data structures, ...3 KB (410 words) - 01:15, 1 August 2024
- ...ls in symplectic geometry and symplectic topology. They are also of purely mathematical interest in [[differential geometry]], [[algebraic topology]], and [[K theo Two metaplectic structures <math>({\mathbf P_1},F_{\mathbf P_1})</math> and <math>({\mathbf P_2},F_{\m ...6 KB (852 words) - 01:14, 26 June 2021
- In the [[mathematics|mathematical]] theory of [[category (mathematics)|categories]], a '''sketch''' is a cate ...forming a category-theoretic analog to the logical concept of a [[Theory (mathematical logic)|theory]] and its [[Model theory|models]]. They allow multisorted mod ...3 KB (414 words) - 00:06, 13 August 2023
- == Linear Dirac structures == == Dirac structures on manifolds == ...7 KB (986 words) - 16:16, 18 August 2024
- ...feasibility]]''. This ranking defines a [[partial order]] over information structures known as the '''Blackwell order''', or '''Blackwell's criterion'''.<ref nam ...1=David |title=Equivalent comparison of experiments |journal=The Annals of Mathematical Statistics |date=1953 |volume=24 |issue=2 |pages=265–272|doi=10.1214/aoms/1 ...10 KB (1,492 words) - 05:16, 11 December 2024
- ...en combinations of events. Different sources provide more or less flexible mathematical formalizations of the way events can be triggered and which combinations ar ...event structures with both simplifications, which nlab calls ''prime event structures'', the configurations are the downward-closed subsets of the partial order ...4 KB (550 words) - 23:56, 6 July 2024
- In [[model theory]], '''interpretation''' of a [[structure (mathematical logic)|structure]] ''M'' in another structure ''N'' (typically of a differe ...erties are preserved under interpretability. For example, if the [[Theory (mathematical logic)|theory]] of ''N'' is [[stable theory|stable]] and ''M'' is interpret ...7 KB (1,076 words) - 01:34, 7 January 2025
- ...November 20, 2016, from http://www.colorado.edu/engineering/CAS/courses.d/Structures.d/IAST.Lect26.d/IAST.Lect26.pdf</ref> ...e predicted straight line graph.<ref name=Exp>Experiment 2.5: Stability of Structures. (n.d.). Retrieved November 20, 2016, from https://mycourses.purdue.edu/bbc ...5 KB (705 words) - 05:02, 24 March 2024
- ...the [[first-order theory]] of a [[direct product|product]] of [[structure (mathematical logic)|structure]]s to the first-order theory of elements of the structure. ...2307/2271704}}</ref><ref>{{cite book|last1=Monk | first1=J. Donald | title=Mathematical Logic | publisher=[[Springer-Verlag]] | location=Berlin, New York | series= ...8 KB (1,249 words) - 16:55, 6 November 2024
- ...'' is a certain kind of geometric structure on a [[smooth manifold]]. Such structures were introduced by [[Shigeo Sasaki]] in 1960. ...ntact structure, I |year=1960 |last1=Sasaki |first1=Shigeo |journal=Tohoku Mathematical Journal |volume=12 |issue=3|pages=459–476|doi-access=free }} ...3 KB (512 words) - 10:06, 27 August 2024
- ...chapter=Constraints and Application Conditions: From Graphs to High-Level Structures | editor1=Ehrig H. |editor2=Engels G. |editor3=Parisi-Presicce F. |editor4= ...sited", Habel, Annegret and Müller, Jürgen and Plump, Detlef, Mathematical Structures in Computer Science, vol. 11, no. 05., pp. 637--688, 2001, Cambridge Univer ...5 KB (733 words) - 20:55, 12 October 2024
- ...itle=Demonic operators and monotype factors|year=1993|journal=Mathematical Structures in Computer Science|volume=3|issue=4|doi=10.1017/S096012950000030X|mr=12494 [[Category:Mathematical relations]] ...2 KB (236 words) - 03:46, 17 December 2022
- == Mathematical formulation == ...entation of the methodology to derive EIOPA's risk-free interest rate term structures] ...2 KB (300 words) - 13:46, 29 January 2024
- {{Short description|Method in mathematical logic}} ...used to construct (infinite) [[Structure (mathematical logic)|mathematical structures]] from their (finite) [[Substructure (mathematics)|substructures]]. It is a ...10 KB (1,548 words) - 13:10, 2 April 2024
- ...different sections of the waveguide or to model nonuniform structures. For structures that vary continuously along the z-direction, a form of z-discretisation is ==Mathematical formulation== ...7 KB (994 words) - 04:58, 9 September 2024
- .... Grundlehren der Mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences], 285. Springer Series in Soviet Mathematics. Springer-Verlag, Ber ...romov. [[Metric Structures for Riemannian and Non-Riemannian Spaces|Metric structures for Riemannian and non-Riemannian spaces]]. Based on the 1981 French origin ...3 KB (350 words) - 03:56, 20 September 2024
- ...gic]], and more specifically in [[model theory]], an infinite [[structure (mathematical logic)|structure]] (''M'',<,...) that is [[Total order|totally ordered]] ...ers in ''M''. This is analogous to the [[strongly minimal theory|minimal]] structures, which are exactly the analogous property down to equality. ...11 KB (1,582 words) - 22:21, 20 March 2024