Results 211 to 220 of about 725,048 (264)

The Variance-Gamma Product Distribution. [PDF]

open access: yesResults Math
Gaunt RE, Li S, Sutcliffe HL.
europepmc   +1 more source

Discrete mathematics: applied methods of set theory, counting and representation of information and mathematical logic

open access: closed, 2022
The textbook presents in the most simplified form the basic theoretical provisions of set theory, number representation, combinatorics and mathematical logic, as well as ways to solve practical problems using their methods. A large number of examples are considered.
Nikolay Gdanskiy   +2 more
openalex   +2 more sources

A MATHEMATICAL THEORY OF DESIGN Representation of Design Artifacts (Part I)

open access: closedInternational Journal of General Systems, 1999
Abstract This study presents a Formal General Design Theory (FGDT), a mathematical theory of design. The main goal of FGDT is to lay out a domain independent modeling of design artifacts ( ‘Part I’) and the design process ( ‘Part II’ ). We discuss issues such as: the scope of the theory with respect to real design and the guidelines it provides for ...
Oded Maimon, Dan Braha
openalex   +2 more sources

Formal Representation of Mathematics in a Dependently Typed Set Theory

open access: closed, 2007
We have formalized material from an introductory real analysis textbook in the proof assistant Scunak. Scunak is a system based on set theory encoded in a dependent type theory. We use the formalized material to illustrate some interesting aspects of the relationship between informal presentations of mathematics and their formal representation.
Feryal Fulya Horozal, Chad E. Brown
openalex   +2 more sources

Mathematical representation of articular surfaces using influence surface theory

open access: closedKSME International Journal, 1998
Many mathematical techniques have been developed to determine the geometry of articular joint surfaces, because of its so importance to the study of human joint biomechanics. However, a three-dimensional geometric model of the articular joint, which is essential to solid modelling, contact area measurement, and load bearing analyses, has not been well ...
Jung‐Soo Han, Hak Soo Han
openalex   +2 more sources

Molecular set theory: A mathematical representation for chemical reaction mechanisms

open access: closedThe Bulletin of Mathematical Biophysics, 1960
The present investigation is part of a program aimed at examining the mathematical basis of reaction rate theory (Bartholomay,Bull. Math. Biophys. 20, 1958) from the point of view of individual molecular events. Certain inconsistencies resulting from the classical procedure of using stoichiometric “chemical equations” to represent the ...
Anthony F. Bartholomay
openalex   +2 more sources

Mathematical self-determination theory I: Real representation

Journal of Mathematical Psychology, 2023
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +2 more sources

Home - About - Disclaimer - Privacy