Results 191 to 200 of about 740,482 (234)
Some of the next articles are maybe not open access.
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
To the mathematical theory of representation of information in neural nets
Ukrainian Mathematical Journal, 1995We study irreducible nonorthogonal resolutions of the identity. The results obtained show that, in contrast to traditional requirements of “independent measurements” type, the noncommutative approach gives a more precise description of information systems.
openaire +1 more source
Knowledge Representation in Mathematics a Case Study in Graph Theory
1983In this dissertation we present our work on representational languages for graph theory. We have shown that a knowledge representation can be structured to provide both expressive and procedural power. Our major research contributions are three. First we have defined representations of infinite sets and recommended that mathematical concepts be ...
openaire +1 more source
Mathematical self-determination theory II: Affine space representation
Journal of Mathematical Psychology, 2023openaire +1 more source
Students' Mathematical Representation Ability in Project-Based Graph Theory Learning
Journal on Mathematics Education Research (J-MER)Mathematical representation ability is a fundamental skill that allows students to understand and apply mathematical concepts in various real situations. This study aims to analyze students' mathematical representation ability in project-based graph theory learning.
Taneo, Prida N. L., Daniel, Farida
openaire +1 more source
Working Hypotheses, Mathematical Representation, and the Logic of Theory-Mediation
2023Zvi Biener, Mary Domski
openaire +1 more source