Results 221 to 230 of about 735,523 (265)
Some of the next articles are maybe not open access.
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
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
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
Poly(ADP-Ribose) polymerase (PARP) inhibitors: Exploiting a synthetic lethal strategy in the clinic
Ca-A Cancer Journal for Clinicians, 2011Timothy A Yap, Johann Sebastian de Bono
exaly