Solving open problems in right alternative rings with Z-module reasoning View Full Text


Ontology type: schema:ScholarlyArticle     


Article Info

DATE

1989-06

AUTHORS

Tie-Cheng Wang, Rick Stevens

ABSTRACT

This paper presents our experiments using an automated reasoning program, called the Z-module reasoning system, to prove a number of interesting theorems in right alternative rings. Important results include a computer solution of the conjecture that (x, x, y)2x(x, x, y)2=0 holds in every right alternative ring and a computer solution of a generalized version of this conjecture. The paper illustrates how one uses the Z-module reasoning system to solve different problems with varying complexity. More... »

PAGES

141-165

References to SciGraph publications

  • 1987-06. Some experiments in nonassociative ring theory with an automated theorem prover in JOURNAL OF AUTOMATED REASONING
  • 1986. ECR: An equality conditional resolution proof procedure in 8TH INTERNATIONAL CONFERENCE ON AUTOMATED DEDUCTION
  • 1988. Elements of Z-module reasoning in 9TH INTERNATIONAL CONFERENCE ON AUTOMATED DEDUCTION
  • 1985-06. Reasoning about equality in JOURNAL OF AUTOMATED REASONING
  • 1987-12. Case studies of Z-module reasoning: Proving benchmark theorems from ring theory in JOURNAL OF AUTOMATED REASONING
  • Identifiers

    URI

    http://scigraph.springernature.com/pub.10.1007/bf00243001

    DOI

    http://dx.doi.org/10.1007/bf00243001

    DIMENSIONS

    https://app.dimensions.ai/details/publication/pub.1004880150


    Indexing Status Check whether this publication has been indexed by Scopus and Web Of Science using the SN Indexing Status Tool
    Incoming Citations Browse incoming citations for this publication using opencitations.net

    JSON-LD is the canonical representation for SciGraph data.

    TIP: You can open this SciGraph record using an external JSON-LD service: JSON-LD Playground Google SDTT

    [
      {
        "@context": "https://springernature.github.io/scigraph/jsonld/sgcontext.json", 
        "about": [
          {
            "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/08", 
            "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
            "name": "Information and Computing Sciences", 
            "type": "DefinedTerm"
          }, 
          {
            "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/0802", 
            "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
            "name": "Computation Theory and Mathematics", 
            "type": "DefinedTerm"
          }
        ], 
        "author": [
          {
            "affiliation": {
              "alternateName": "Mathematics and Computer Science Division, Argonne National Laboratory, 60439, Argonne, IL, USA", 
              "id": "http://www.grid.ac/institutes/grid.187073.a", 
              "name": [
                "Mathematics and Computer Science Division, Argonne National Laboratory, 60439, Argonne, IL, USA"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Wang", 
            "givenName": "Tie-Cheng", 
            "id": "sg:person.012140531103.19", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.012140531103.19"
            ], 
            "type": "Person"
          }, 
          {
            "affiliation": {
              "alternateName": "Mathematics and Computer Science Division, Argonne National Laboratory, 60439, Argonne, IL, USA", 
              "id": "http://www.grid.ac/institutes/grid.187073.a", 
              "name": [
                "Mathematics and Computer Science Division, Argonne National Laboratory, 60439, Argonne, IL, USA"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Stevens", 
            "givenName": "Rick", 
            "id": "sg:person.0707416220.12", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.0707416220.12"
            ], 
            "type": "Person"
          }
        ], 
        "citation": [
          {
            "id": "sg:pub.10.1007/bf00243209", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1032603112", 
              "https://doi.org/10.1007/bf00243209"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/bf00247439", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1008726187", 
              "https://doi.org/10.1007/bf00247439"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/bf00244996", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1044321350", 
              "https://doi.org/10.1007/bf00244996"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/3-540-16780-3_95", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1005486702", 
              "https://doi.org/10.1007/3-540-16780-3_95"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/bfb0012821", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1023924416", 
              "https://doi.org/10.1007/bfb0012821"
            ], 
            "type": "CreativeWork"
          }
        ], 
        "datePublished": "1989-06", 
        "datePublishedReg": "1989-06-01", 
        "description": "This paper presents our experiments using an automated reasoning program, called the Z-module reasoning system, to prove a number of interesting theorems in right alternative rings. Important results include a computer solution of the conjecture that (x, x, y)2x(x, x, y)2=0 holds in every right alternative ring and a computer solution of a generalized version of this conjecture. The paper illustrates how one uses the Z-module reasoning system to solve different problems with varying complexity.", 
        "genre": "article", 
        "id": "sg:pub.10.1007/bf00243001", 
        "inLanguage": "en", 
        "isAccessibleForFree": false, 
        "isPartOf": [
          {
            "id": "sg:journal.1136522", 
            "issn": [
              "0168-7433", 
              "1573-0670"
            ], 
            "name": "Journal of Automated Reasoning", 
            "publisher": "Springer Nature", 
            "type": "Periodical"
          }, 
          {
            "issueNumber": "2", 
            "type": "PublicationIssue"
          }, 
          {
            "type": "PublicationVolume", 
            "volumeNumber": "5"
          }
        ], 
        "keywords": [
          "reasoning system", 
          "right alternative rings", 
          "reasoning program", 
          "open problem", 
          "computer solution", 
          "different problems", 
          "interesting theorems", 
          "generalized version", 
          "reasoning", 
          "complexity", 
          "system", 
          "alternative rings", 
          "solution", 
          "version", 
          "experiments", 
          "program", 
          "number", 
          "important results", 
          "conjecture", 
          "results", 
          "theorem", 
          "problem", 
          "ring", 
          "paper", 
          "module reasoning system", 
          "module reasoning"
        ], 
        "name": "Solving open problems in right alternative rings with Z-module reasoning", 
        "pagination": "141-165", 
        "productId": [
          {
            "name": "dimensions_id", 
            "type": "PropertyValue", 
            "value": [
              "pub.1004880150"
            ]
          }, 
          {
            "name": "doi", 
            "type": "PropertyValue", 
            "value": [
              "10.1007/bf00243001"
            ]
          }
        ], 
        "sameAs": [
          "https://doi.org/10.1007/bf00243001", 
          "https://app.dimensions.ai/details/publication/pub.1004880150"
        ], 
        "sdDataset": "articles", 
        "sdDatePublished": "2021-11-01T17:57", 
        "sdLicense": "https://scigraph.springernature.com/explorer/license/", 
        "sdPublisher": {
          "name": "Springer Nature - SN SciGraph project", 
          "type": "Organization"
        }, 
        "sdSource": "s3://com-springernature-scigraph/baseset/20211101/entities/gbq_results/article/article_193.jsonl", 
        "type": "ScholarlyArticle", 
        "url": "https://doi.org/10.1007/bf00243001"
      }
    ]
     

    Download the RDF metadata as:  json-ld nt turtle xml License info

    HOW TO GET THIS DATA PROGRAMMATICALLY:

    JSON-LD is a popular format for linked data which is fully compatible with JSON.

    curl -H 'Accept: application/ld+json' 'https://scigraph.springernature.com/pub.10.1007/bf00243001'

    N-Triples is a line-based linked data format ideal for batch operations.

    curl -H 'Accept: application/n-triples' 'https://scigraph.springernature.com/pub.10.1007/bf00243001'

    Turtle is a human-readable linked data format.

    curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/bf00243001'

    RDF/XML is a standard XML format for linked data.

    curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/pub.10.1007/bf00243001'


     

    This table displays all metadata directly associated to this object as RDF triples.

    111 TRIPLES      22 PREDICATES      57 URIs      44 LITERALS      6 BLANK NODES

    Subject Predicate Object
    1 sg:pub.10.1007/bf00243001 schema:about anzsrc-for:08
    2 anzsrc-for:0802
    3 schema:author Nee31dfc7853746058da4c6a5c7352cea
    4 schema:citation sg:pub.10.1007/3-540-16780-3_95
    5 sg:pub.10.1007/bf00243209
    6 sg:pub.10.1007/bf00244996
    7 sg:pub.10.1007/bf00247439
    8 sg:pub.10.1007/bfb0012821
    9 schema:datePublished 1989-06
    10 schema:datePublishedReg 1989-06-01
    11 schema:description This paper presents our experiments using an automated reasoning program, called the Z-module reasoning system, to prove a number of interesting theorems in right alternative rings. Important results include a computer solution of the conjecture that (x, x, y)2x(x, x, y)2=0 holds in every right alternative ring and a computer solution of a generalized version of this conjecture. The paper illustrates how one uses the Z-module reasoning system to solve different problems with varying complexity.
    12 schema:genre article
    13 schema:inLanguage en
    14 schema:isAccessibleForFree false
    15 schema:isPartOf Nb23ff7c8125f41c18b410aa60a9b3bdb
    16 Nb7ed0e64079c41fc961d4b100e91a8d5
    17 sg:journal.1136522
    18 schema:keywords alternative rings
    19 complexity
    20 computer solution
    21 conjecture
    22 different problems
    23 experiments
    24 generalized version
    25 important results
    26 interesting theorems
    27 module reasoning
    28 module reasoning system
    29 number
    30 open problem
    31 paper
    32 problem
    33 program
    34 reasoning
    35 reasoning program
    36 reasoning system
    37 results
    38 right alternative rings
    39 ring
    40 solution
    41 system
    42 theorem
    43 version
    44 schema:name Solving open problems in right alternative rings with Z-module reasoning
    45 schema:pagination 141-165
    46 schema:productId N136deabe093848c8a0647550a5f17b62
    47 N2be274c9a975401f8d8991d4656fcf1d
    48 schema:sameAs https://app.dimensions.ai/details/publication/pub.1004880150
    49 https://doi.org/10.1007/bf00243001
    50 schema:sdDatePublished 2021-11-01T17:57
    51 schema:sdLicense https://scigraph.springernature.com/explorer/license/
    52 schema:sdPublisher Nb5772072763047d0be4fb43ebe73b031
    53 schema:url https://doi.org/10.1007/bf00243001
    54 sgo:license sg:explorer/license/
    55 sgo:sdDataset articles
    56 rdf:type schema:ScholarlyArticle
    57 N136deabe093848c8a0647550a5f17b62 schema:name dimensions_id
    58 schema:value pub.1004880150
    59 rdf:type schema:PropertyValue
    60 N2be274c9a975401f8d8991d4656fcf1d schema:name doi
    61 schema:value 10.1007/bf00243001
    62 rdf:type schema:PropertyValue
    63 N589586f192a847cba35a681efdd8e59c rdf:first sg:person.0707416220.12
    64 rdf:rest rdf:nil
    65 Nb23ff7c8125f41c18b410aa60a9b3bdb schema:issueNumber 2
    66 rdf:type schema:PublicationIssue
    67 Nb5772072763047d0be4fb43ebe73b031 schema:name Springer Nature - SN SciGraph project
    68 rdf:type schema:Organization
    69 Nb7ed0e64079c41fc961d4b100e91a8d5 schema:volumeNumber 5
    70 rdf:type schema:PublicationVolume
    71 Nee31dfc7853746058da4c6a5c7352cea rdf:first sg:person.012140531103.19
    72 rdf:rest N589586f192a847cba35a681efdd8e59c
    73 anzsrc-for:08 schema:inDefinedTermSet anzsrc-for:
    74 schema:name Information and Computing Sciences
    75 rdf:type schema:DefinedTerm
    76 anzsrc-for:0802 schema:inDefinedTermSet anzsrc-for:
    77 schema:name Computation Theory and Mathematics
    78 rdf:type schema:DefinedTerm
    79 sg:journal.1136522 schema:issn 0168-7433
    80 1573-0670
    81 schema:name Journal of Automated Reasoning
    82 schema:publisher Springer Nature
    83 rdf:type schema:Periodical
    84 sg:person.012140531103.19 schema:affiliation grid-institutes:grid.187073.a
    85 schema:familyName Wang
    86 schema:givenName Tie-Cheng
    87 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.012140531103.19
    88 rdf:type schema:Person
    89 sg:person.0707416220.12 schema:affiliation grid-institutes:grid.187073.a
    90 schema:familyName Stevens
    91 schema:givenName Rick
    92 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.0707416220.12
    93 rdf:type schema:Person
    94 sg:pub.10.1007/3-540-16780-3_95 schema:sameAs https://app.dimensions.ai/details/publication/pub.1005486702
    95 https://doi.org/10.1007/3-540-16780-3_95
    96 rdf:type schema:CreativeWork
    97 sg:pub.10.1007/bf00243209 schema:sameAs https://app.dimensions.ai/details/publication/pub.1032603112
    98 https://doi.org/10.1007/bf00243209
    99 rdf:type schema:CreativeWork
    100 sg:pub.10.1007/bf00244996 schema:sameAs https://app.dimensions.ai/details/publication/pub.1044321350
    101 https://doi.org/10.1007/bf00244996
    102 rdf:type schema:CreativeWork
    103 sg:pub.10.1007/bf00247439 schema:sameAs https://app.dimensions.ai/details/publication/pub.1008726187
    104 https://doi.org/10.1007/bf00247439
    105 rdf:type schema:CreativeWork
    106 sg:pub.10.1007/bfb0012821 schema:sameAs https://app.dimensions.ai/details/publication/pub.1023924416
    107 https://doi.org/10.1007/bfb0012821
    108 rdf:type schema:CreativeWork
    109 grid-institutes:grid.187073.a schema:alternateName Mathematics and Computer Science Division, Argonne National Laboratory, 60439, Argonne, IL, USA
    110 schema:name Mathematics and Computer Science Division, Argonne National Laboratory, 60439, Argonne, IL, USA
    111 rdf:type schema:Organization
     




    Preview window. Press ESC to close (or click here)


    ...