Results 1  10
of
23
Categories of Groups
, 2000
"... this paper. In this paper x, y denote sets, D denotes a non empty set, and U 1 denotes a universal class. The following propositions are true: (2) ..."
Abstract

Cited by 39 (4 self)
 Add to MetaCart
this paper. In this paper x, y denote sets, D denotes a non empty set, and U 1 denotes a universal class. The following propositions are true: (2)
Associated Matrix of Linear Map
, 2002
"... this paper. 1. PRELIMINARIES Let A be a set, let X be a set, let D be a non empty set of finite sequences of A, let p be a partial function from X to D, and let i be a set. Then p i is an element of D ..."
Abstract

Cited by 17 (2 self)
 Add to MetaCart
this paper. 1. PRELIMINARIES Let A be a set, let X be a set, let D be a non empty set of finite sequences of A, let p be a partial function from X to D, and let i be a set. Then p i is an element of D
Binary Arithmetics
, 1999
"... this article some theorems concerning these operators. We also introduce the concept of an nbit register. Such registers are used in the definition of binary unsigned arithmetic presented in this article. Theorems on the relationships of such concepts to the operations of natural numbers are also g ..."
Abstract

Cited by 4 (0 self)
 Add to MetaCart
this article some theorems concerning these operators. We also introduce the concept of an nbit register. Such registers are used in the definition of binary unsigned arithmetic presented in this article. Theorems on the relationships of such concepts to the operations of natural numbers are also given. MML Identifier: BINARITH.
Some Features of the Mizar Language
, 1993
"... set. The italic is used for names of Mizar grammatical constructions. If I have used them in a skeletal Mizar text I rather use boldface for reserved words of Mizar and roman otherwise. Contents 1 Introduction 2 2 Lexicon 4 3 Notation 6 4 A syntactic puzzle 7 5 Hidden arguments 9 6 Permissiven ..."
Abstract

Cited by 4 (0 self)
 Add to MetaCart
set. The italic is used for names of Mizar grammatical constructions. If I have used them in a skeletal Mizar text I rather use boldface for reserved words of Mizar and roman otherwise. Contents 1 Introduction 2 2 Lexicon 4 3 Notation 6 4 A syntactic puzzle 7 5 Hidden arguments 9 6 Permissiveness 10 7 Attributes 12 8 Structures and Selectors 14 1 1 Introduction A Mizar Article consists of two parts : the Environment Declaration and the Text Proper The Environment Declaration begins with environ and consists of Directives. The Text Proper is a finite sequence of Sections, every Section begins with begin and consists of Items. The division of the Text Proper into Sections is only for editing purposes and has no impact on the corr
The Field of Quotients over an Integral Domain
 Journal of Formalized Mathematics
, 1999
"... this paper. 1. Preliminaries ..."