Computer Algebra with LISP and REDUCE: An Introduction to Computer-aided Pure Mathematics
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Dordrecht
Springer Netherlands
1991
|
| Schriftenreihe: | Mathematics and Its Applications
72 |
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Beschreibung: | One service mathematics has rendered the tEL moi, .... si j'avait su comment en revenir. je n'y serais point alle'.' human race. It has put common sense back Jules Verne where it belongs, on the topmost shelf next to the dusty canister labelled 'discarded non sense', The series is divergent; therefore we may be Eric T. Bell able to do something with it. O. Heaviside Mathematics is a tool for thought. A highly necessary tool in a world where both feedback and non linearities abound. Similarly, all kinds of parts of mathematics serve as tools for other parts and for other sciences. Applying a simple rewriting rule to the quote on the right above one finds such statements as: 'One service topology has rendered mathematical physics ...'; 'One service logic has rendered com puter science ...'; 'One service category theory has rendered mathematics ,..'. All arguably true. And all statements obtainable this way form part of the raison d'elre of this series |
| Beschreibung: | 1 Online-Ressource (XI, 264 p) |
| ISBN: | 9789401135023 9789401055499 |
| DOI: | 10.1007/978-94-011-3502-3 |
Internformat
MARC
| LEADER | 00000nmm a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV042423909 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 150317s1991 |||| o||u| ||||||eng d | ||
| 020 | |a 9789401135023 |c Online |9 978-94-011-3502-3 | ||
| 020 | |a 9789401055499 |c Print |9 978-94-010-5549-9 | ||
| 024 | 7 | |a 10.1007/978-94-011-3502-3 |2 doi | |
| 035 | |a (OCoLC)1184310058 | ||
| 035 | |a (DE-599)BVBBV042423909 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-384 |a DE-703 |a DE-91 |a DE-634 | ||
| 082 | 0 | |a 005.131 |2 23 | |
| 084 | |a MAT 000 |2 stub | ||
| 100 | 1 | |a Brackx, F. |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Computer Algebra with LISP and REDUCE |b An Introduction to Computer-aided Pure Mathematics |c by F. Brackx, D. Constales |
| 264 | 1 | |a Dordrecht |b Springer Netherlands |c 1991 | |
| 300 | |a 1 Online-Ressource (XI, 264 p) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a Mathematics and Its Applications |v 72 | |
| 500 | |a One service mathematics has rendered the tEL moi, .... si j'avait su comment en revenir. je n'y serais point alle'.' human race. It has put common sense back Jules Verne where it belongs, on the topmost shelf next to the dusty canister labelled 'discarded non sense', The series is divergent; therefore we may be Eric T. Bell able to do something with it. O. Heaviside Mathematics is a tool for thought. A highly necessary tool in a world where both feedback and non linearities abound. Similarly, all kinds of parts of mathematics serve as tools for other parts and for other sciences. Applying a simple rewriting rule to the quote on the right above one finds such statements as: 'One service topology has rendered mathematical physics ...'; 'One service logic has rendered com puter science ...'; 'One service category theory has rendered mathematics ,..'. All arguably true. And all statements obtainable this way form part of the raison d'elre of this series | ||
| 650 | 4 | |a Computer science | |
| 650 | 4 | |a Electronic data processing | |
| 650 | 4 | |a Algebra / Data processing | |
| 650 | 4 | |a Artificial intelligence | |
| 650 | 4 | |a Computer Science | |
| 650 | 4 | |a Symbolic and Algebraic Manipulation | |
| 650 | 4 | |a Programming Languages, Compilers, Interpreters | |
| 650 | 4 | |a Artificial Intelligence (incl. Robotics) | |
| 650 | 4 | |a Numeric Computing | |
| 650 | 4 | |a Datenverarbeitung | |
| 650 | 4 | |a Informatik | |
| 650 | 4 | |a Künstliche Intelligenz | |
| 650 | 0 | 7 | |a LISP |0 (DE-588)4035918-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a REDUCE |g Programm |0 (DE-588)4193775-2 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Computeralgebra |0 (DE-588)4010449-7 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a LISP |0 (DE-588)4035918-9 |D s |
| 689 | 0 | 1 | |a Computeralgebra |0 (DE-588)4010449-7 |D s |
| 689 | 0 | |8 1\p |5 DE-604 | |
| 689 | 1 | 0 | |a REDUCE |g Programm |0 (DE-588)4193775-2 |D s |
| 689 | 1 | 1 | |a Computeralgebra |0 (DE-588)4010449-7 |D s |
| 689 | 1 | |8 2\p |5 DE-604 | |
| 700 | 1 | |a Constales, D. |e Sonstige |4 oth | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-94-011-3502-3 |x Verlag |3 Volltext |
| 912 | |a ZDB-2-SMA |a ZDB-2-BAE | ||
| 940 | 1 | |q ZDB-2-SMA_Archive | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-027859326 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 883 | 1 | |8 2\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
Datensatz im Suchindex
| _version_ | 1804153100226789376 |
|---|---|
| any_adam_object | |
| author | Brackx, F. |
| author_facet | Brackx, F. |
| author_role | aut |
| author_sort | Brackx, F. |
| author_variant | f b fb |
| building | Verbundindex |
| bvnumber | BV042423909 |
| classification_tum | MAT 000 |
| collection | ZDB-2-SMA ZDB-2-BAE |
| ctrlnum | (OCoLC)1184310058 (DE-599)BVBBV042423909 |
| dewey-full | 005.131 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.131 |
| dewey-search | 005.131 |
| dewey-sort | 15.131 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik Mathematik |
| doi_str_mv | 10.1007/978-94-011-3502-3 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03342nmm a2200649zcb4500</leader><controlfield tag="001">BV042423909</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">150317s1991 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9789401135023</subfield><subfield code="c">Online</subfield><subfield code="9">978-94-011-3502-3</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9789401055499</subfield><subfield code="c">Print</subfield><subfield code="9">978-94-010-5549-9</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-94-011-3502-3</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1184310058</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042423909</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-384</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-634</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.131</subfield><subfield code="2">23</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">MAT 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Brackx, F.</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Computer Algebra with LISP and REDUCE</subfield><subfield code="b">An Introduction to Computer-aided Pure Mathematics</subfield><subfield code="c">by F. Brackx, D. Constales</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Dordrecht</subfield><subfield code="b">Springer Netherlands</subfield><subfield code="c">1991</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (XI, 264 p)</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">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Mathematics and Its Applications</subfield><subfield code="v">72</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">One service mathematics has rendered the tEL moi, .... si j'avait su comment en revenir. je n'y serais point alle'.' human race. It has put common sense back Jules Verne where it belongs, on the topmost shelf next to the dusty canister labelled 'discarded non sense', The series is divergent; therefore we may be Eric T. Bell able to do something with it. O. Heaviside Mathematics is a tool for thought. A highly necessary tool in a world where both feedback and non linearities abound. Similarly, all kinds of parts of mathematics serve as tools for other parts and for other sciences. Applying a simple rewriting rule to the quote on the right above one finds such statements as: 'One service topology has rendered mathematical physics ...'; 'One service logic has rendered com puter science ...'; 'One service category theory has rendered mathematics ,..'. All arguably true. And all statements obtainable this way form part of the raison d'elre of this series</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Electronic data processing</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Algebra / Data processing</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Artificial intelligence</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer Science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Symbolic and Algebraic Manipulation</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programming Languages, Compilers, Interpreters</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Artificial Intelligence (incl. Robotics)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Numeric Computing</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Datenverarbeitung</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Informatik</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Künstliche Intelligenz</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">LISP</subfield><subfield code="0">(DE-588)4035918-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">REDUCE</subfield><subfield code="g">Programm</subfield><subfield code="0">(DE-588)4193775-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Computeralgebra</subfield><subfield code="0">(DE-588)4010449-7</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">LISP</subfield><subfield code="0">(DE-588)4035918-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Computeralgebra</subfield><subfield code="0">(DE-588)4010449-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">REDUCE</subfield><subfield code="g">Programm</subfield><subfield code="0">(DE-588)4193775-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Computeralgebra</subfield><subfield code="0">(DE-588)4010449-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="8">2\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Constales, D.</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-94-011-3502-3</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-SMA</subfield><subfield code="a">ZDB-2-BAE</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-SMA_Archive</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-027859326</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">2\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield></record></collection> |
| id | DE-604.BV042423909 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T01:21:14Z |
| institution | BVB |
| isbn | 9789401135023 9789401055499 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-027859326 |
| oclc_num | 1184310058 |
| open_access_boolean | |
| owner | DE-384 DE-703 DE-91 DE-BY-TUM DE-634 |
| owner_facet | DE-384 DE-703 DE-91 DE-BY-TUM DE-634 |
| physical | 1 Online-Ressource (XI, 264 p) |
| psigel | ZDB-2-SMA ZDB-2-BAE ZDB-2-SMA_Archive |
| publishDate | 1991 |
| publishDateSearch | 1991 |
| publishDateSort | 1991 |
| publisher | Springer Netherlands |
| record_format | marc |
| series2 | Mathematics and Its Applications |
| spelling | Brackx, F. Verfasser aut Computer Algebra with LISP and REDUCE An Introduction to Computer-aided Pure Mathematics by F. Brackx, D. Constales Dordrecht Springer Netherlands 1991 1 Online-Ressource (XI, 264 p) txt rdacontent c rdamedia cr rdacarrier Mathematics and Its Applications 72 One service mathematics has rendered the tEL moi, .... si j'avait su comment en revenir. je n'y serais point alle'.' human race. It has put common sense back Jules Verne where it belongs, on the topmost shelf next to the dusty canister labelled 'discarded non sense', The series is divergent; therefore we may be Eric T. Bell able to do something with it. O. Heaviside Mathematics is a tool for thought. A highly necessary tool in a world where both feedback and non linearities abound. Similarly, all kinds of parts of mathematics serve as tools for other parts and for other sciences. Applying a simple rewriting rule to the quote on the right above one finds such statements as: 'One service topology has rendered mathematical physics ...'; 'One service logic has rendered com puter science ...'; 'One service category theory has rendered mathematics ,..'. All arguably true. And all statements obtainable this way form part of the raison d'elre of this series Computer science Electronic data processing Algebra / Data processing Artificial intelligence Computer Science Symbolic and Algebraic Manipulation Programming Languages, Compilers, Interpreters Artificial Intelligence (incl. Robotics) Numeric Computing Datenverarbeitung Informatik Künstliche Intelligenz LISP (DE-588)4035918-9 gnd rswk-swf REDUCE Programm (DE-588)4193775-2 gnd rswk-swf Computeralgebra (DE-588)4010449-7 gnd rswk-swf LISP (DE-588)4035918-9 s Computeralgebra (DE-588)4010449-7 s 1\p DE-604 REDUCE Programm (DE-588)4193775-2 s 2\p DE-604 Constales, D. Sonstige oth https://doi.org/10.1007/978-94-011-3502-3 Verlag Volltext 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 2\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Brackx, F. Computer Algebra with LISP and REDUCE An Introduction to Computer-aided Pure Mathematics Computer science Electronic data processing Algebra / Data processing Artificial intelligence Computer Science Symbolic and Algebraic Manipulation Programming Languages, Compilers, Interpreters Artificial Intelligence (incl. Robotics) Numeric Computing Datenverarbeitung Informatik Künstliche Intelligenz LISP (DE-588)4035918-9 gnd REDUCE Programm (DE-588)4193775-2 gnd Computeralgebra (DE-588)4010449-7 gnd |
| subject_GND | (DE-588)4035918-9 (DE-588)4193775-2 (DE-588)4010449-7 |
| title | Computer Algebra with LISP and REDUCE An Introduction to Computer-aided Pure Mathematics |
| title_auth | Computer Algebra with LISP and REDUCE An Introduction to Computer-aided Pure Mathematics |
| title_exact_search | Computer Algebra with LISP and REDUCE An Introduction to Computer-aided Pure Mathematics |
| title_full | Computer Algebra with LISP and REDUCE An Introduction to Computer-aided Pure Mathematics by F. Brackx, D. Constales |
| title_fullStr | Computer Algebra with LISP and REDUCE An Introduction to Computer-aided Pure Mathematics by F. Brackx, D. Constales |
| title_full_unstemmed | Computer Algebra with LISP and REDUCE An Introduction to Computer-aided Pure Mathematics by F. Brackx, D. Constales |
| title_short | Computer Algebra with LISP and REDUCE |
| title_sort | computer algebra with lisp and reduce an introduction to computer aided pure mathematics |
| title_sub | An Introduction to Computer-aided Pure Mathematics |
| topic | Computer science Electronic data processing Algebra / Data processing Artificial intelligence Computer Science Symbolic and Algebraic Manipulation Programming Languages, Compilers, Interpreters Artificial Intelligence (incl. Robotics) Numeric Computing Datenverarbeitung Informatik Künstliche Intelligenz LISP (DE-588)4035918-9 gnd REDUCE Programm (DE-588)4193775-2 gnd Computeralgebra (DE-588)4010449-7 gnd |
| topic_facet | Computer science Electronic data processing Algebra / Data processing Artificial intelligence Computer Science Symbolic and Algebraic Manipulation Programming Languages, Compilers, Interpreters Artificial Intelligence (incl. Robotics) Numeric Computing Datenverarbeitung Informatik Künstliche Intelligenz LISP REDUCE Programm Computeralgebra |
| url | https://doi.org/10.1007/978-94-011-3502-3 |
| work_keys_str_mv | AT brackxf computeralgebrawithlispandreduceanintroductiontocomputeraidedpuremathematics AT constalesd computeralgebrawithlispandreduceanintroductiontocomputeraidedpuremathematics |