Completion of Brauer's theorem on group characters.

Önal, Hayri


Characterization of quasidiagonal isomorphisms between some types of Köthe spaces
Sözen, Yaşar; Nurlu, Zafer; Department of Mathematics (1996)
Proof of the basic theorem on concept lattices in Isabelle/HOL
Sertkaya, Barış; Oğuztüzün, Mehmet Halit S.; Tiefenbach, Andreas; Department of Computer Engineering (2003)
Formel Concept Analysis is an emerging field of applied mathematics based on a lattice-theoretic formalization of the notions of concept and conceptual hierarchy. It thereby facilitates mathematical thinking for conceptual data analysis and knowledge processing. Isabelle, on the other hand, is a generic interactive theory development environment for implementing logical formalisms. It has been instantiated to support reasoning in several object-logics. Specialization of Isabelle for Higher Order Logic is ca...
Proof of the basic theorem on concept lattices in Isabelle/HOL
Sertkaya, B; Oğuztüzün, Mehmet Halit S. (2004-01-01)
This paper presents a machine-checked proof of the Basic Theorem on Concept Lattices, which appears in the book "Formal Concept Analysis" by Canter and Wille, in the Isabelle/HOL Proof Assistant. As a by-product, the underlying lattice theory by Kammueller has been extended.
Construction of surface bundles with nonzero signature.
Arıkan, Mehmet Fırat; Önder, Turgut; Department of Mathematics (2002)
Characterization of Riesz Spaces with Topologically Full Center
Alpay, Safak; Orhon, Mehmet (2013-07-26)
Let E be a Riesz space and let E-similar to denote its order dual. The orthomorphisms Orth(E) on E, and the ideal center Z(E) of E, are naturally embedded in Orth(E-similar to) and Z(E-similar to) respectively. We construct two unital algebra and order- continuous Riesz homomorphisms.
Citation Formats
H. Önal, “Completion of Brauer’s theorem on group characters.,” Middle East Technical University, 1975.