Redlog user manual: edition 1.0 for REDLOG version 1.0
Abstract: "Redlog stands for REDuce LOGic system. It provides an extension of the computer algebra system REDUCE to a 'computer logic system' implementing symbolic algorithms on first-order formulas wrt. temporarily fixed first-order languages and theories. Underlying theories current...
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Passau
1996
|
| Series: | Universität <Passau> / Fakultät für Mathematik und Informatik: MIP
1996,16 |
| Subjects: | |
| Summary: | Abstract: "Redlog stands for REDuce LOGic system. It provides an extension of the computer algebra system REDUCE to a 'computer logic system' implementing symbolic algorithms on first-order formulas wrt. temporarily fixed first-order languages and theories. Underlying theories currently available are ordered fields and discretely valued fields. Though the focus of the implemented algorithms is on effective quantifier elimination and simplification of quantifier-free formulas, REDLOG is intended and designed as an all-purpose system. REDLOG is freely available to the scientific community." |
| Physical Description: | 31, 4 S. |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV011034431 | ||
| 003 | DE-604 | ||
| 007 | t| | ||
| 008 | 961104s1996 xx |||| 00||| eng d | ||
| 035 | |a (OCoLC)38179125 | ||
| 035 | |a (DE-599)BVBBV011034431 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-154 |a DE-739 |a DE-384 |a DE-12 |a DE-634 | ||
| 100 | 1 | |a Dolzmann, Andreas |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Redlog user manual |b edition 1.0 for REDLOG version 1.0 |c Andreas Dolzmann and Thomas Sturm |
| 264 | 1 | |a Passau |c 1996 | |
| 300 | |a 31, 4 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Universität <Passau> / Fakultät für Mathematik und Informatik: MIP |v 1996,16 | |
| 520 | 3 | |a Abstract: "Redlog stands for REDuce LOGic system. It provides an extension of the computer algebra system REDUCE to a 'computer logic system' implementing symbolic algorithms on first-order formulas wrt. temporarily fixed first-order languages and theories. Underlying theories currently available are ordered fields and discretely valued fields. Though the focus of the implemented algorithms is on effective quantifier elimination and simplification of quantifier-free formulas, REDLOG is intended and designed as an all-purpose system. REDLOG is freely available to the scientific community." | |
| 630 | 0 | 4 | |a REDUCE |
| 650 | 4 | |a Datenverarbeitung | |
| 650 | 4 | |a Algebra |x Data processing | |
| 650 | 4 | |a Logic, Symbolic and mathematical | |
| 650 | 0 | 7 | |a Theoretische Informatik |0 (DE-588)4196735-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Informatik |0 (DE-588)4026894-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Mathematik |0 (DE-588)4037944-9 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Theoretische Informatik |0 (DE-588)4196735-5 |D s |
| 689 | 0 | 1 | |a Informatik |0 (DE-588)4026894-9 |D s |
| 689 | 0 | 2 | |a Mathematik |0 (DE-588)4037944-9 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Sturm, Thomas |e Verfasser |4 aut | |
| 810 | 2 | |a Fakultät für Mathematik und Informatik: MIP |t Universität <Passau> |v 1996,16 |w (DE-604)BV000905393 |9 1996,16 | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-007389201 | |
Record in the Search Index
| _version_ | 1820882317653049344 |
|---|---|
| adam_text | |
| any_adam_object | |
| author | Dolzmann, Andreas Sturm, Thomas |
| author_facet | Dolzmann, Andreas Sturm, Thomas |
| author_role | aut aut |
| author_sort | Dolzmann, Andreas |
| author_variant | a d ad t s ts |
| building | Verbundindex |
| bvnumber | BV011034431 |
| classification_rvk | SS 5600 |
| ctrlnum | (OCoLC)38179125 (DE-599)BVBBV011034431 |
| discipline | Informatik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 cb4500</leader><controlfield tag="001">BV011034431</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">961104s1996 xx |||| 00||| eng d</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)38179125</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV011034431</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-154</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-12</subfield><subfield code="a">DE-634</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Dolzmann, Andreas</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Redlog user manual</subfield><subfield code="b">edition 1.0 for REDLOG version 1.0</subfield><subfield code="c">Andreas Dolzmann and Thomas Sturm</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Passau</subfield><subfield code="c">1996</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">31, 4 S.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Universität <Passau> / Fakultät für Mathematik und Informatik: MIP</subfield><subfield code="v">1996,16</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">Abstract: "Redlog stands for REDuce LOGic system. It provides an extension of the computer algebra system REDUCE to a 'computer logic system' implementing symbolic algorithms on first-order formulas wrt. temporarily fixed first-order languages and theories. Underlying theories currently available are ordered fields and discretely valued fields. Though the focus of the implemented algorithms is on effective quantifier elimination and simplification of quantifier-free formulas, REDLOG is intended and designed as an all-purpose system. REDLOG is freely available to the scientific community."</subfield></datafield><datafield tag="630" ind1="0" ind2="4"><subfield code="a">REDUCE</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Datenverarbeitung</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Algebra</subfield><subfield code="x">Data processing</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic, Symbolic and mathematical</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Theoretische Informatik</subfield><subfield code="0">(DE-588)4196735-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Informatik</subfield><subfield code="0">(DE-588)4026894-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Mathematik</subfield><subfield code="0">(DE-588)4037944-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Theoretische Informatik</subfield><subfield code="0">(DE-588)4196735-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Informatik</subfield><subfield code="0">(DE-588)4026894-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Mathematik</subfield><subfield code="0">(DE-588)4037944-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Sturm, Thomas</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="810" ind1="2" ind2=" "><subfield code="a">Fakultät für Mathematik und Informatik: MIP</subfield><subfield code="t">Universität <Passau></subfield><subfield code="v">1996,16</subfield><subfield code="w">(DE-604)BV000905393</subfield><subfield code="9">1996,16</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-007389201</subfield></datafield></record></collection> |
| id | DE-604.BV011034431 |
| illustrated | Not Illustrated |
| indexdate | 2025-01-10T17:04:59Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-007389201 |
| oclc_num | 38179125 |
| open_access_boolean | |
| owner | DE-154 DE-739 DE-384 DE-12 DE-634 |
| owner_facet | DE-154 DE-739 DE-384 DE-12 DE-634 |
| physical | 31, 4 S. |
| publishDate | 1996 |
| publishDateSearch | 1996 |
| publishDateSort | 1996 |
| record_format | marc |
| series2 | Universität <Passau> / Fakultät für Mathematik und Informatik: MIP |
| spelling | Dolzmann, Andreas Verfasser aut Redlog user manual edition 1.0 for REDLOG version 1.0 Andreas Dolzmann and Thomas Sturm Passau 1996 31, 4 S. txt rdacontent n rdamedia nc rdacarrier Universität <Passau> / Fakultät für Mathematik und Informatik: MIP 1996,16 Abstract: "Redlog stands for REDuce LOGic system. It provides an extension of the computer algebra system REDUCE to a 'computer logic system' implementing symbolic algorithms on first-order formulas wrt. temporarily fixed first-order languages and theories. Underlying theories currently available are ordered fields and discretely valued fields. Though the focus of the implemented algorithms is on effective quantifier elimination and simplification of quantifier-free formulas, REDLOG is intended and designed as an all-purpose system. REDLOG is freely available to the scientific community." REDUCE Datenverarbeitung Algebra Data processing Logic, Symbolic and mathematical Theoretische Informatik (DE-588)4196735-5 gnd rswk-swf Informatik (DE-588)4026894-9 gnd rswk-swf Mathematik (DE-588)4037944-9 gnd rswk-swf Theoretische Informatik (DE-588)4196735-5 s Informatik (DE-588)4026894-9 s Mathematik (DE-588)4037944-9 s DE-604 Sturm, Thomas Verfasser aut Fakultät für Mathematik und Informatik: MIP Universität <Passau> 1996,16 (DE-604)BV000905393 1996,16 |
| spellingShingle | Dolzmann, Andreas Sturm, Thomas Redlog user manual edition 1.0 for REDLOG version 1.0 REDUCE Datenverarbeitung Algebra Data processing Logic, Symbolic and mathematical Theoretische Informatik (DE-588)4196735-5 gnd Informatik (DE-588)4026894-9 gnd Mathematik (DE-588)4037944-9 gnd |
| subject_GND | (DE-588)4196735-5 (DE-588)4026894-9 (DE-588)4037944-9 |
| title | Redlog user manual edition 1.0 for REDLOG version 1.0 |
| title_auth | Redlog user manual edition 1.0 for REDLOG version 1.0 |
| title_exact_search | Redlog user manual edition 1.0 for REDLOG version 1.0 |
| title_full | Redlog user manual edition 1.0 for REDLOG version 1.0 Andreas Dolzmann and Thomas Sturm |
| title_fullStr | Redlog user manual edition 1.0 for REDLOG version 1.0 Andreas Dolzmann and Thomas Sturm |
| title_full_unstemmed | Redlog user manual edition 1.0 for REDLOG version 1.0 Andreas Dolzmann and Thomas Sturm |
| title_short | Redlog user manual |
| title_sort | redlog user manual edition 1 0 for redlog version 1 0 |
| title_sub | edition 1.0 for REDLOG version 1.0 |
| topic | REDUCE Datenverarbeitung Algebra Data processing Logic, Symbolic and mathematical Theoretische Informatik (DE-588)4196735-5 gnd Informatik (DE-588)4026894-9 gnd Mathematik (DE-588)4037944-9 gnd |
| topic_facet | REDUCE Datenverarbeitung Algebra Data processing Logic, Symbolic and mathematical Theoretische Informatik Informatik Mathematik |
| volume_link | (DE-604)BV000905393 |
| work_keys_str_mv | AT dolzmannandreas redlogusermanualedition10forredlogversion10 AT sturmthomas redlogusermanualedition10forredlogversion10 |