N. Bourbaki. Algebra I -- Chapters 1-3. Springer Verlag, Berlin, 1989.  Home/Search   Document Not in Database   Summary   Related Articles   Check

....elements which is closed under a single valued binary operation which is associative, and relative to which there exists an element satisfying the identity law, and with each element another element (called its inverse) satisfying the inverse law. Indices : DCC 512.2, MSC 20 References : General [Bou89, BM65] ATP [MOW76] RNG Ring Theory. A ring is a system of elements which is an Abelian group under an operation of addition, and which is closed under a binary operation of multiplication, the latter being associative, and distributive with respect to addition. Indices : DCC 512.4, MSC 13 , ....

....Ring Theory. A ring is a system of elements which is an Abelian group under an operation of addition, and which is closed under a binary operation of multiplication, the latter being associative, and distributive with respect to addition. Indices : DCC 512.4, MSC 13 , 16 References : General [Bou89, BB70] ATP [MOW76] ALG Algebra. An algebra is a set with a system of operations defined on it. Indices : DCC 512 References : General [Bou89, BM65, BB70] NUM Number Theory. The study of integers and their properties. Indices : MSC 11Y References : General [HW92] TOP Topology. The study ....

[Article contains additional citation context not shown here]

N. Bourbaki. Algebra I -- Chapters 1-3. Springer Verlag, Berlin, 1989.

....elements which is closed under a single valued binary operation which is associative, and relative to which there exists an element satisfying the identity law, and with each element another element (called its inverse) satisfying the inverse law. Indices : DDC 512.2, MSC 20 References : General [Bou89, BM65] ATP [MOW76] RNG Ring Theory. A ring is a system of elements which is an Abelian group under an operation of addition, and which is closed under a binary operation of multiplication, the latter being associative, and distributive with respect to addition. Indices : DDC 512.4, MSC 13XX, ....

....Ring Theory. A ring is a system of elements which is an Abelian group under an operation of addition, and which is closed under a binary operation of multiplication, the latter being associative, and distributive with respect to addition. Indices : DDC 512.4, MSC 13XX, 16XX References : General [Bou89, BB70] ATP [MOW76] ALG Algebra. An algebra is a set with a system of operations defined on it. Indices : DDC 512 References : General [Bou89, BM65, BB70] ATP . NUM Number Theory. Number theory is the study of integers and their properties. Indices : MSC 11YXX References : General [HW92] ....

[Article contains additional citation context not shown here]

N. Bourbaki. Algebra I -- Chapters 1-3. Springer Verlag, Berlin, 1989.

....with a non ATP reference for a general introduction and a generic ATP reference, is given below. For each domain, appropriate DDC and MSC numbers are also given: ALG Algebra. An algebra is a set with a system of operations defined on it. Indices : DDC 512; MSC 06XX, 20XX. References : General [Bou89, BM65, BB70] ATP . ANA Analysis. Analysis is a branch of mathematics concerned with functions and limits. The main parts of analysis are differential calculus, integral calculus, and the theory of functions. Indices : DDC 515; MSC 26XX. References : General [Ros90] ATP [Ble90] BOO Boolean ....

....68R10. References : General [Har69, BB70] ATP . GRP Group Theory. A group is a set G and a binary operation :GxG G which is associative, and for which there is an identity element in G, and for which each element of G has an inverse in G. Indices : DDC 512.2; MSC 20 References : General [Bou89, BM65] ATP [MOW76] HEN Henkin Models. Henkin models provide a generalized semantics for higher order logics. This leads to a larger class of models and, as a consequence, fewer true sentences. However, in contrast to standard semantics, complete and correct calculi can be found. Indices : DDC ....

[Article contains additional citation context not shown here]

N. Bourbaki. Algebra I -- Chapters 1-3. Springer Verlag, 1989.

....homomorphisms is a homomorphism [BLM 86, Qua92a, Qua92b] The domain contains one standard axiomatization, based on Neumann BernaysG odel Set Theory axioms [BLM 86] see Section 3.13) The problems in this domain are all non Horn. Indices : DDC 512; MSC 06XX, 20XX. References : General [Bou89, BM65, BB70] ATP . 3.2 Analysis Analysis is concerned with functions and limits. The main parts of analysis are differential calculus, integral calculus, and the theory of functions. The Analysis domain contains problems that were proposed as challenges to ATP systems by Woody Bledsoe ....

.... completeness of some single equality axioms for Group Theory [Kun92, McC93] Group Theory is the best source of range restricted problems from the mathematical domains of the TPTP, as required by model generation ATP systems such as SATCHMO [MB88] Indices : DDC 512.2; MSC 20 References : General [Bou89, BM65] ATP [MOW76] 3.8 Lattice Theory A lattice is a set of elements, with two binary operations which are idempotent, commutative, and associative, and which satisfy the absorption law. Although a small mathematical domain in the TPTP, Lattice Theory played a particularly important role in ....

[Article contains additional citation context not shown here]

N. Bourbaki. Algebra I -- Chapters 1-3. Springer Verlag, 1989.

....elements which is closed under a single valued binary operation which is associative, and relative to which there exists an element satisfying the identity law, and with each element another element (called its inverse) satisfying the inverse law. Indices : DDC 512.2, MSC 20 References : General [Bou89, BM65] ATP [MOW76] RNG Ring Theory. A ring is a system of elements which is an Abelian group under an operation of addition, and which is closed under a binary operation of multiplication, the latter being associative, and distributive with respect to addition. Indices : DDC 512.4, MSC 13XX, ....

....Ring Theory. A ring is a system of elements which is an Abelian group under an operation of addition, and which is closed under a binary operation of multiplication, the latter being associative, and distributive with respect to addition. Indices : DDC 512.4, MSC 13XX, 16XX References : General [Bou89, BB70] ATP [MOW76] ALG Algebra. An algebra is a set with a system of operations defined on it. Indices : DDC 512 References : General [Bou89, BM65, BB70] ATP . NUM Number Theory. Number theory is the study of integers and their properties. Indices : MSC 11YXX References : General [HW92] ....

[Article contains additional citation context not shown here]

N. Bourbaki. Algebra I -- Chapters 1-3. Springer Verlag, Berlin, 1989.

....elements which is closed under a single valued binary operation which is associative, and relative to which there exists an element satisfying the identity law, and with each element another element (called its inverse) satisfying the inverse law. Indices : DCC 512.2, MSC 20 References : General [Bou89, BM65] ATP [MOW76] RNG Ring Theory. A ring is a system of elements which is an Abelian group under an operation of addition, and which is closed under a binary operation of multiplication, the latter being associative, and distributive with respect to addition. Indices : DCC 512.4, MSC 13 , ....

....Ring Theory. A ring is a system of elements which is an Abelian group under an operation of addition, and which is closed under a binary operation of multiplication, the latter being associative, and distributive with respect to addition. Indices : DCC 512.4, MSC 13 , 16 References : General [Bou89, BB70] ATP [MOW76] ALG Algebra. An algebra is a set with a system of operations defined on it. Indices : DCC 512 References : General [Bou89, BM65, BB70] NUM Number Theory. The study of integers and their properties. Indices : MSC 11Y References : General [HW92] TOP Topology. The study ....

[Article contains additional citation context not shown here]

N. Bourbaki. Algebra I -- Chapters 1-3. Springer Verlag, Berlin, 1989.

....elements which is closed under a single valued binary operation which is associative, and relative to which there exists an element satisfying the identity law, and with each element another element (called its inverse) satisfying the inverse law. Indices : DDC 512.2, MSC 20 References : General [Bou89, BM65] ATP [MOW76] RNG Ring Theory. A ring is a system of elements which is an Abelian group under an operation of addition, and which is closed under a binary operation of multiplication, the latter being associative, and distributive with respect to addition. Indices : DDC 512.4, MSC 13XX, ....

....Ring Theory. A ring is a system of elements which is an Abelian group under an operation of addition, and which is closed under a binary operation of multiplication, the latter being associative, and distributive with respect to addition. Indices : DDC 512.4, MSC 13XX, 16XX References : General [Bou89, BB70] ATP [MOW76] ALG Algebra. An algebra is a set with a system of operations defined on it. Indices : DDC 512 References : General [Bou89, BM65, BB70] ATP . NUM Number Theory. Number theory is the study of integers and their properties. Indices : MSC 11YXX References : General [HW92] ....

[Article contains additional citation context not shown here]

N. Bourbaki. Algebra I -- Chapters 1-3. Springer Verlag, Berlin, 1989.

....with a non ATP reference for a general introduction and a generic ATP reference, is given below. For each domain, appropriate DDC and MSC numbers are also given: ALG Algebra. An algebra is a set with a system of operations defined on it. Indices : DDC 512; MSC 06XX, 20XX. References : General [Bou89, BM65, BB70] ATP . ANA Analysis. Analysis is a branch of mathematics concerned with functions and limits. The main parts of analysis are differential calculus, integral calculus, and the theory of functions. Indices : DDC 515; MSC 26XX. References : General [Ros90] ATP [Ble90] BOO Boolean ....

....68R10. References : General [Har69, BB70] ATP . GRP Group Theory. A group is a set G and a binary operation :GxG G which is associative, and for which there is an identity element in G, and for which each element of G has an inverse in G. Indices : DDC 512.2; MSC 20 References : General [Bou89, BM65] ATP [MOW76] HEN Henkin Models. Henkin models provide a generalized semantics for higher order logics. This leads to a larger class of models and, as a consequence, fewer true sentences. However, in contrast to standard semantics, complete and correct calculi can be found. Indices : DDC ....

[Article contains additional citation context not shown here]

N. Bourbaki. Algebra I - Chapters 1-3. Springer Verlag, 1989.

....12 GEOFF SUTCLIFFE and CHRISTIAN SUTTNER introduction and a generic ATP reference, is given below. For each domain, appropriate DDC and MSC numbers are also given: ALG Algebra. An algebra is a set with a system of operations defined on it. Indices : DDC 512; MSC 06XX, 20XX. References : General [15, 11, 10], ATP . ANA Analysis. Analysis is a branch of mathematics concerned with functions and limits. The main parts of analysis are differential calculus, integral calculus, and the theory of functions. Indices : DDC 515; MSC 26XX. References : General [91] ATP [13] BOO Boolean Algebra. A Boolean ....

....MSC 05CXX, 68R10. References : General [34, 10] ATP . GRP Group Theory. A group is a set G and a binary operation :GxG G which is associative, and for which there is an identity element in G, and for which each element of G has an inverse in G. Indices : DDC 512.2; MSC 20 References : General [15, 11], ATP [61] HEN Henkin Models. Henkin models provide a generalized semantics for higher order logics. This leads to a larger class of models and, as a consequence, fewer true sentences. However, in contrast to standard semantics, 14 GEOFF SUTCLIFFE and CHRISTIAN SUTTNER complete and correct ....

[Article contains additional citation context not shown here]

N. Bourbaki. Algebra I -- Chapters 1-3. Springer Verlag, 1989.

....with a non ATP reference for a general introduction and a generic ATP reference, is given below. For each domain, appropriate DDC and MSC numbers are also given: ALG Algebra. An algebra is a set with a system of operations defined on it. Indices : DDC 512; MSC 06XX, 20XX. References : General [Bou89, BM65, BB70] ATP . ANA Analysis. Analysis is a branch of mathematics concerned with functions and limits. The main parts of analysis are differential calculus, integral calculus, and the theory of functions. Indices : DDC 515; MSC 26XX. References : General [Ros90] ATP [Ble90] BOO Boolean ....

....68R10. References : General [Har69, BB70] ATP . GRP Group Theory. A group is a set G and a binary operation :GxG G which is associative, and for which there is an identity element in G, and for which each element of G has an inverse in G. Indices : DDC 512.2; MSC 20 References : General [Bou89, BM65] ATP [MOW76] HEN Henkin Models. Henkin models provide a generalized semantics for higher order logics. This leads to a larger class of models and, as a consequence, fewer true sentences. However, in contrast to standard semantics, complete and correct calculi can be found. Indices : ....

[Article contains additional citation context not shown here]

N. Bourbaki. Algebra I - Chapters 1-3. Springer Verlag, 1989.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC