Results 191 to 200 of about 494,493 (249)
Some of the next articles are maybe not open access.
Mathematical Representation for Wald’s Compartment Theory*
Journal of the Optical Society of America, 1963G. Wald has suggested a compartment theory for the functioning of the rods which corresponds mathematically to that of the Geiger–Muller counter. In this paper a discussion is given as to how the compartment theory fits various models for Geiger–Muller counters. Numerical examples are given to illustrate how the mathematical models can be compared with
openaire +1 more source
Mathematical representation of articular surfaces using influence surface theory
KSME International Journal, 1998Many 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
openaire +1 more source
Representation Theory and Random Point Processes
, 2004We discuss a connection between two areas of mathematics which until recently seemed to be rather distant from each other: (1) noncommutative harmonic analysis on groups and (2) some topics in probability theory related to random point processes.
A. Borodin, G. Olshanski
semanticscholar +1 more source
Knowledge representation for mathematical discovery: Three experiments in graph theory
Applied Intelligence, 1991zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Epstein, Susan L., Sridharan, N. S.
openaire +2 more sources
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.
I. Blagoveschenskiy +2 more
openaire +1 more source
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.
I. Blagoveschenskiy +2 more
openaire +1 more source
Graduate Studies in Mathematics, 2019
These are the notes accompanying the lectures on Spin Geometry, a PG course taught in Edinburgh in the Spring of 2010. The only requirement is a working familiarity with basic differential geometry and basic representation theory; although scholia on the
jr H. Blaine Lawson, M. Michelsohn
semanticscholar +1 more source
These are the notes accompanying the lectures on Spin Geometry, a PG course taught in Edinburgh in the Spring of 2010. The only requirement is a working familiarity with basic differential geometry and basic representation theory; although scholia on the
jr H. Blaine Lawson, M. Michelsohn
semanticscholar +1 more source
Comparing the theory of representations and constructive mathematics
2005The paper explores the analogy between reducibility statements of Weihrauch's theory of representations and theorems of constructive mathematics which can be reformulated as inclusions between sets. Kleene's function-realizability is the key to understanding of the analogy, and suggests an alternative way of looking at the theory of reducibilities.
openaire +1 more source
A MATHEMATICAL THEORY OF DESIGN Representation of Design Artifacts (Part I)
International Journal of General Systems, 1999Abstract 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
openaire +1 more source
Formal Representation of Mathematics in a Dependently Typed Set Theory
2007We 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
openaire +1 more source
Molecular set theory: A mathematical representation for chemical reaction mechanisms
The Bulletin of Mathematical Biophysics, 1960The 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 ...
openaire +1 more source