Artificial Intelligence in Mathematics: based on the proceedings of a Conference on Artificial Intelligence in Mathematics ... in April 1991
Gespeichert in:
| Format: | Tagungsbericht Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Oxford
Clarendon Press
1994
|
| Schriftenreihe: | Institute of Mathematics and Its Applications: [The Institute of Mathematics and its Applications conference series / New series]
51 |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | X, 328 S. graph. Darst. |
| ISBN: | 0198536860 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV009830905 | ||
| 003 | DE-604 | ||
| 005 | 19990204 | ||
| 007 | t | ||
| 008 | 941004s1994 d||| |||| 10||| engod | ||
| 020 | |a 0198536860 |9 0-19-853686-0 | ||
| 035 | |a (OCoLC)844316024 | ||
| 035 | |a (DE-599)BVBBV009830905 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-12 |a DE-739 |a DE-703 | ||
| 084 | |a SD 1991 |0 (DE-625)142725: |2 rvk | ||
| 245 | 1 | 0 | |a Artificial Intelligence in Mathematics |b based on the proceedings of a Conference on Artificial Intelligence in Mathematics ... in April 1991 |c ed. by Jeffrey Johnson ... |
| 264 | 1 | |a Oxford |b Clarendon Press |c 1994 | |
| 300 | |a X, 328 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Institute of Mathematics and Its Applications: [The Institute of Mathematics and its Applications conference series / New series] |v 51 | |
| 650 | 0 | 7 | |a Mathematik |0 (DE-588)4037944-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Künstliche Intelligenz |0 (DE-588)4033447-8 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 1991 |z Glasgow |2 gnd-content | |
| 689 | 0 | 0 | |a Künstliche Intelligenz |0 (DE-588)4033447-8 |D s |
| 689 | 0 | 1 | |a Mathematik |0 (DE-588)4037944-9 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Johnson, Jeffrey |e Sonstige |4 oth | |
| 711 | 2 | |a Conference on Partificial Intelligence in Mathematics |d 1991 |c Glasgow |j Sonstige |0 (DE-588)1228607-2 |4 oth | |
| 810 | 2 | |a New series] |t Institute of Mathematics and Its Applications: [<<The>> Institute of Mathematics and its Applications conference series |v 51 |w (DE-604)BV002802287 |9 51 | |
| 856 | 4 | 2 | |m HBZ Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006508580&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-006508580 | ||
Datensatz im Suchindex
| _version_ | 1804124185927090176 |
|---|---|
| adam_text | Contents
List of Contributors ix
PART I AN INTRODUCTION TO ARTIFICIAL INTELLIGENCE
IN MATHEMATICS
An Introduction to Artificial Intelligence in Mathematics 3
Jeffrey Johnson, Sean McKee, and Alfred Vella
PART II THE IMPACT OF ARTIFICIAL INTELLIGENCE ON
MATHEMATICS: PHILOSOPHICAL AND STRUCTURAL ISSUES
What is Artificial Intelligence and is it Relevant to Mathematics? 31
James L. Alty
Artificial Intelligence and the Mathcycle 43
Alfred Vella and Carol Vella
Learning from AM 55
Graeme Ritchie
Learning Qualitative Models of Dynamic Systems 67
Ivan Bratko, Stephen Muggleton, and Alen Variiek
Varieties of Approximation 77
John S. N. Elvey
Uncertainty Versus Computational Complexity 95
Jean Claude Simon
Representing Ignorance, or: Knowing What We Do Not Know 109
Laurent Siklossy
PART III LOGIC AND COMPUTER PROOF
A System for Multi Level Mathematical Reasoning 119
Fausto Giunchiglia and Paolo Traverso
From Meta level Tactics to Object level Programs 135
Christian Horn and Alan Smaill
Searching Dependency Between Algebraic Equations: an Algorithm 147
Applied to Automated Reasoning
Yang Lu and Zhang Jingzhong
viii Contents
PART IV ARTIFICIAL INTELLIGENCE IN COMPUTER ALGEBRA
AND COMPUTER SYSTEMS FOR MATHEMATICS
The Role of Intelligence in Computer Algebra 159
James H. Davenport
An Artificial Intelligence Environment for Computer Algebra 173
J. Calmet and I. A. Tjandra
Modelling Mathematical Objects in Knowledge Based Systems for 183
Scientific Computing
Frangois Rechenmann
Hybrid Knowledge Representation and Theorem Proving in Mathematics 195
Philippe Laublet
The Mathematics Understander 209
Edmund Furse
Heuristics for Solving Overdetermined Systems of Partial Differential 225
Equations
Thomas Wolf and Andreas Brand
Declarative Programming for Mathematical Exploration 233
Ron Knott
Hypertext for Computational Mathematics 251
Peter Samuels
PART V ARTIFICIAL INTELLIGENCE IN APPLIED
MATHEMATICS AND STATISTICS
Artificial Intelligence and Statistics: Synergy in Action? 265
David J. Hand
A Framework for Combining Reasoning Components with Mathematical 279
Software
B. Ford, S. J. Hague, R. M. J. lies, and I. Reid
An Intelligent Assistant for the Statistical Analysis of Markov Process Data 293
Fergus Daly
Genetic Algorithms and Optimising Large Nonlinear Systems 305
P. Oliveira, S. McKee, and C. Coles
Representation, Knowledge Elicitation and Mathematical Science 313
Jeffrey Johnson
|
| any_adam_object | 1 |
| building | Verbundindex |
| bvnumber | BV009830905 |
| classification_rvk | SD 1991 |
| ctrlnum | (OCoLC)844316024 (DE-599)BVBBV009830905 |
| discipline | Mathematik |
| format | Conference Proceeding Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01929nam a2200385 cb4500</leader><controlfield tag="001">BV009830905</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19990204 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">941004s1994 d||| |||| 10||| engod</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0198536860</subfield><subfield code="9">0-19-853686-0</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)844316024</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV009830905</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-12</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-703</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SD 1991</subfield><subfield code="0">(DE-625)142725:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Artificial Intelligence in Mathematics</subfield><subfield code="b">based on the proceedings of a Conference on Artificial Intelligence in Mathematics ... in April 1991</subfield><subfield code="c">ed. by Jeffrey Johnson ...</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Oxford</subfield><subfield code="b">Clarendon Press</subfield><subfield code="c">1994</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">X, 328 S.</subfield><subfield code="b">graph. Darst.</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">Institute of Mathematics and Its Applications: [The Institute of Mathematics and its Applications conference series / New series]</subfield><subfield code="v">51</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="650" ind1="0" ind2="7"><subfield code="a">Künstliche Intelligenz</subfield><subfield code="0">(DE-588)4033447-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">1991</subfield><subfield code="z">Glasgow</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Künstliche Intelligenz</subfield><subfield code="0">(DE-588)4033447-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><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">Johnson, Jeffrey</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">Conference on Partificial Intelligence in Mathematics</subfield><subfield code="d">1991</subfield><subfield code="c">Glasgow</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)1228607-2</subfield><subfield code="4">oth</subfield></datafield><datafield tag="810" ind1="2" ind2=" "><subfield code="a">New series]</subfield><subfield code="t">Institute of Mathematics and Its Applications: [<<The>> Institute of Mathematics and its Applications conference series</subfield><subfield code="v">51</subfield><subfield code="w">(DE-604)BV002802287</subfield><subfield code="9">51</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">HBZ Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006508580&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-006508580</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 1991 Glasgow gnd-content |
| genre_facet | Konferenzschrift 1991 Glasgow |
| id | DE-604.BV009830905 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T17:41:39Z |
| institution | BVB |
| institution_GND | (DE-588)1228607-2 |
| isbn | 0198536860 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-006508580 |
| oclc_num | 844316024 |
| open_access_boolean | |
| owner | DE-12 DE-739 DE-703 |
| owner_facet | DE-12 DE-739 DE-703 |
| physical | X, 328 S. graph. Darst. |
| publishDate | 1994 |
| publishDateSearch | 1994 |
| publishDateSort | 1994 |
| publisher | Clarendon Press |
| record_format | marc |
| series2 | Institute of Mathematics and Its Applications: [The Institute of Mathematics and its Applications conference series / New series] |
| spelling | Artificial Intelligence in Mathematics based on the proceedings of a Conference on Artificial Intelligence in Mathematics ... in April 1991 ed. by Jeffrey Johnson ... Oxford Clarendon Press 1994 X, 328 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Institute of Mathematics and Its Applications: [The Institute of Mathematics and its Applications conference series / New series] 51 Mathematik (DE-588)4037944-9 gnd rswk-swf Künstliche Intelligenz (DE-588)4033447-8 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 1991 Glasgow gnd-content Künstliche Intelligenz (DE-588)4033447-8 s Mathematik (DE-588)4037944-9 s DE-604 Johnson, Jeffrey Sonstige oth Conference on Partificial Intelligence in Mathematics 1991 Glasgow Sonstige (DE-588)1228607-2 oth New series] Institute of Mathematics and Its Applications: [<<The>> Institute of Mathematics and its Applications conference series 51 (DE-604)BV002802287 51 HBZ Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006508580&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Artificial Intelligence in Mathematics based on the proceedings of a Conference on Artificial Intelligence in Mathematics ... in April 1991 Mathematik (DE-588)4037944-9 gnd Künstliche Intelligenz (DE-588)4033447-8 gnd |
| subject_GND | (DE-588)4037944-9 (DE-588)4033447-8 (DE-588)1071861417 |
| title | Artificial Intelligence in Mathematics based on the proceedings of a Conference on Artificial Intelligence in Mathematics ... in April 1991 |
| title_auth | Artificial Intelligence in Mathematics based on the proceedings of a Conference on Artificial Intelligence in Mathematics ... in April 1991 |
| title_exact_search | Artificial Intelligence in Mathematics based on the proceedings of a Conference on Artificial Intelligence in Mathematics ... in April 1991 |
| title_full | Artificial Intelligence in Mathematics based on the proceedings of a Conference on Artificial Intelligence in Mathematics ... in April 1991 ed. by Jeffrey Johnson ... |
| title_fullStr | Artificial Intelligence in Mathematics based on the proceedings of a Conference on Artificial Intelligence in Mathematics ... in April 1991 ed. by Jeffrey Johnson ... |
| title_full_unstemmed | Artificial Intelligence in Mathematics based on the proceedings of a Conference on Artificial Intelligence in Mathematics ... in April 1991 ed. by Jeffrey Johnson ... |
| title_short | Artificial Intelligence in Mathematics |
| title_sort | artificial intelligence in mathematics based on the proceedings of a conference on artificial intelligence in mathematics in april 1991 |
| title_sub | based on the proceedings of a Conference on Artificial Intelligence in Mathematics ... in April 1991 |
| topic | Mathematik (DE-588)4037944-9 gnd Künstliche Intelligenz (DE-588)4033447-8 gnd |
| topic_facet | Mathematik Künstliche Intelligenz Konferenzschrift 1991 Glasgow |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006508580&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV002802287 |
| work_keys_str_mv | AT johnsonjeffrey artificialintelligenceinmathematicsbasedontheproceedingsofaconferenceonartificialintelligenceinmathematicsinapril1991 AT conferenceonpartificialintelligenceinmathematicsglasgow artificialintelligenceinmathematicsbasedontheproceedingsofaconferenceonartificialintelligenceinmathematicsinapril1991 |