Results 231 to 240 of about 1,127,134 (301)

Formal Representation of Mathematics in a Dependently Typed Set Theory

, 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   +3 more sources

REPRESENTATION THEORY OF ARTIN ALGEBRAS (Cambridge Studies in Advanced Mathematics 36) By Maurice Auslander, Idun Reiten and Sverre O. Smalø: 423 pp., £50.00, ISBN 0 521 41134 3 (Cambridge University Press, 1995). [PDF]

Bulletin of the London Mathematical Society, 1997
P. Webb
semanticscholar   +2 more sources

Some of the next articles are maybe not open access.

Related searches:

SCHUR ALGEBRAS AND REPRESENTATION THEORY (Cambridge Tracts in Mathematics 112)

Bulletin of the London Mathematical Society, 1996
J. Green
semanticscholar   +3 more sources

Mathematical Representations of Development Theories [PDF]

, 1979
In this chapter we explore the consequences of particular stage linkage structures for the evolution of a population. We first argue the importance of constructing dynamic models of development theories and show the implications of various stage connections for population movements.
Burton H. Singer, Seymour Spilerman
openaire   +1 more source

ChatGPT and Semiotic Representation Theory: Innovating the Measurement of Cognitive Demand in Mathematical Tasks

Determining the level of cognitive demand in school tasks is a significant challenge, marked by the lack of consensus among evaluators when assigning cognitive complexity in different areas of knowledge. In view of this problem, we propose a methodology based on the Theory of Registers of Semiotic Representation to guide the assignment of cognitive ...
Eduardo Puraivan, Connie Cofré-Morales, Miguel Rodríguez Jara, Tamara Lasnibat Godoy, Juan Carlos Carmilema Tapia, Carlos Hervás-Gómez, María Dolores Díaz Noguera   +6 more
openalex   +3 more sources

Complex Semisimple Quantum Groups and Representation Theory

Lecture notes in mathematics, 2017
This book provides a thorough introduction to the theory of complex semisimple quantum groups, that is, Drinfeld doubles of q-deformations of compact semisimple Lie groups.
Christian Voigt, R. Yuncken
semanticscholar   +1 more source

Adaptive mathematical morphology: A unified representation theory

2009 16th IEEE International Conference on Image Processing (ICIP), 2009
In this paper, we present a general theory of adaptive mathematical morphology (AMM) in the Euclidean space. The proposed theory preserves the notion of a structuring element, which is crucial in the design of geometrical signal and image processing applications.
Nidhal Bouaynaya, Dan Schonfeld
openaire   +2 more sources

HARMONIC MAPS AND MINIMAL IMMERSIONS THROUGH REPRESENTATION THEORY (Perspectives in Mathematics 12)

Bulletin of the London Mathematical Society, 1991
Paul Baird
openalex   +3 more sources

Mathematical representation and psychological theory.

, 2004
Kurt Lewin
openalex   +2 more sources

Knowledge representation for mathematical discovery: Three experiments in graph theory

Applied Intelligence, 1991
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
N. S. Sridharan, Susan L. Epstein
openaire   +3 more sources