Results 201 to 210 of about 7,686,168 (250)
Some of the next articles are maybe not open access.
Recent Developments in Representation Theory and Mathematical Physics
2022Workshop ...
openaire +2 more sources
Mini-Workshop: Recent Developments in Representation Theory and Mathematical Physics
Oberwolfach Reports, 2023This mini-workshop was devoted to foster the interactions between mathematicians and mathematical physicists who are working on questions related to representation theory. This includes for example the representation theory of supergroups, vertex operator algebras and quantum groups. Another focus was on link and manifold invariants and TQFTs.
Tudor Dimofte +2 more
openaire +1 more source
A comprehensive theory of representation for mathematics education
The Journal of Mathematical Behavior, 1998Representation is a difficult concept. Behaviorists wanted to get rid of it; many researchers prefer other terms like “conception” or “reasoning” or even “encoding;” and many cognitive science resarchers have tried to avoid the problem by reducing thinking to production rules.There are at least two simple and naive reasons for considering ...
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 +2 more sources
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 +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
Knowledge representation for mathematical discovery: Three experiments in graph theory
Applied Intelligence, 1991zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Susan L. Epstein, N. S. Sridharan
openaire +3 more sources
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
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
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