A change-oriented architecture for mathematical authoring assistance:
Saved in:
| Main Author: | |
|---|---|
| Format: | Thesis Book |
| Language: | English |
| Published: |
Heidelberg
Akad. Verlagsges.
2011
[Amsterdam] IOS Press |
| Series: | Dissertationen zur künstlichen Intelligenz
333 |
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Physical Description: | XVIII, 289 S. graph. Darst. |
| ISBN: | 9783898383332 9781607507123 1607507129 |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV037270784 | ||
| 003 | DE-604 | ||
| 005 | 20160830 | ||
| 007 | t | ||
| 008 | 110309s2011 d||| m||| 00||| eng d | ||
| 020 | |a 9783898383332 |9 978-3-89838-333-2 | ||
| 020 | |a 9781607507123 |9 978-1-60750-712-3 | ||
| 020 | |a 1607507129 |9 1-60750-712-9 | ||
| 035 | |a (OCoLC)705518942 | ||
| 035 | |a (DE-599)BSZ338373861 | ||
| 040 | |a DE-604 |b ger | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91G |a DE-355 | ||
| 084 | |a ST 600 |0 (DE-625)143681: |2 rvk | ||
| 084 | |a KOM 985d |2 stub | ||
| 084 | |a DAT 700d |2 stub | ||
| 084 | |a DAT 710d |2 stub | ||
| 100 | 1 | |a Wagner, Marc |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a A change-oriented architecture for mathematical authoring assistance |c Marc Wagner |
| 264 | 1 | |a Heidelberg |b Akad. Verlagsges. |c 2011 | |
| 264 | 1 | |a [Amsterdam] |b IOS Press | |
| 300 | |a XVIII, 289 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Dissertationen zur künstlichen Intelligenz |v 333 | |
| 502 | |a Zugl.: Saarbrücken, Univ., Diss., 2010 | ||
| 650 | 0 | 7 | |a Computermathematik |0 (DE-588)4788218-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Mathematik |0 (DE-588)4037944-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Wissenschaftlicher Text |0 (DE-588)4199679-3 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)4113937-9 |a Hochschulschrift |2 gnd-content | |
| 689 | 0 | 0 | |a Mathematik |0 (DE-588)4037944-9 |D s |
| 689 | 0 | 1 | |a Wissenschaftlicher Text |0 (DE-588)4199679-3 |D s |
| 689 | 0 | 2 | |a Computermathematik |0 (DE-588)4788218-9 |D s |
| 689 | 0 | |5 DE-604 | |
| 830 | 0 | |a Dissertationen zur künstlichen Intelligenz |v 333 |w (DE-604)BV005345280 |9 333 | |
| 856 | 4 | 2 | |m DNB Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=021183753&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-021183753 | ||
Record in the Search Index
| _version_ | 1804143894328246272 |
|---|---|
| adam_text | IMAGE 1
XVII
CONTENTS
I INTRODUCTION * . ....**. 1
1 MOTIVATION * .......3
1.1 MATHEMATICAL AUTHORING 4
1.2 OVERVIEW OF THIS THESIS 6
2 STATE OF THE ART 7
2.1 HISTORICAL OVERVIEW 7
2.2 SEMANTIC ANNOTATION LANGUAGES 10
2.3 CONTROLLED MATHEMATICAL LANGUAGE 11
2.4 DISCUSSION 12
II CHANGE-ORIENTED ARCHITECTURE 13
3 FOUNDATIONS 17
3.1 NOTIONS AND NOTATION 18
3.2 DOCUMENT MODEL 24
3.3 CHANGE MODEL 27
3.4 ARCHITECTURE MODEL 40
3.5 DISCUSSION 49
4 SEMANTIC CHANCES.. .........51
4.1 SEMANTIC EQUALITY 52
4.2 SEMANTIC SIMILARITY 58
4.3 EDIT COSTS 60
4.4 EDIT GRANULARITY 62
4.5 USE CASE 66
4.6 DISCUSSION 71
5 COMDUTINB CHANCES 73
5.1 CRITICAL TREE PAIRS 74
5.2 CHANGE SCRIPT GENERATION 84
5.3 CHANGE GRAPH SEARCH 91
5.4 USE CASE 100
5.5 COMPLEXITY COMPARISON 108
5.6 DISCUSSION 110
6 INVERTIBLE GRAMMAR FORMALISM .....ILL
6.1 GRAMMAR 112
6.2 INCREMENTAL INTERPRETER 136
6.3 INVERSION 151
6.4 USE CASE 158
6.5 DISCUSSION 172
BIBLIOGRAFISCHE INFORMATIONEN HTTP://D-NB.INFO/1010435876
DIGITALISIERT DURCH
IMAGE 2
XVIU CONTENTS
III MATHEMATICAL AUTHORING ASSISTANCE 175
7 APPLICATION SCENARIO 179
7.1 INTRODUCTION TO FLMEGA 180
7.2 COURSE SCENARIO 192
7.3 EXPLORATORY STUDY 193
7.4 AUTHORING BEHAVIOR 195
7.5 LINGUISTIC ASPECTS 196
7.6 DISCUSSION 201
8 AUTHORING LECTURE NOTES 203
8.1 TRANSFORMATION PIPELINE 204
8.2 SEMANTIC ANNOTATION LANGUAGE 206
8.3 SYNTHESIZING INVERTIBLE GRAMMAR RULES 210
8.4 SUGARING AND SOURING 215
8.5 MANAGEMENT OF CHANGE 219
8.6 AMBIGUITY RESOLUTION 223
8.7 DISCUSSION 225
9 AUTHORING EXERCISE SOLUTIONS 227
9.1 CONTROLLED MATHEMATICAL LANGUAGE 228
9.2 INCREMENTAL PROOF VERIFICATION 233
9.3 FEEDBACK INTEGRATION 237
9.4 INTERACTIVE AUTHORING 239
9.5 DISCUSSION 242
IV CONCLUSION 245
10 CONTRIBUTIONS 247
11 FUTURE WORK 251
REFERENCES 257
INDEX 285
|
| any_adam_object | 1 |
| author | Wagner, Marc |
| author_facet | Wagner, Marc |
| author_role | aut |
| author_sort | Wagner, Marc |
| author_variant | m w mw |
| building | Verbundindex |
| bvnumber | BV037270784 |
| classification_rvk | ST 600 |
| classification_tum | KOM 985d DAT 700d DAT 710d |
| ctrlnum | (OCoLC)705518942 (DE-599)BSZ338373861 |
| discipline | Informatik Kommunikationswesen Wiss. Arbeiten |
| format | Thesis Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01937nam a2200481 cb4500</leader><controlfield tag="001">BV037270784</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20160830 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">110309s2011 d||| m||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783898383332</subfield><subfield code="9">978-3-89838-333-2</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781607507123</subfield><subfield code="9">978-1-60750-712-3</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1607507129</subfield><subfield code="9">1-60750-712-9</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)705518942</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BSZ338373861</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91G</subfield><subfield code="a">DE-355</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 600</subfield><subfield code="0">(DE-625)143681:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">KOM 985d</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 700d</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 710d</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Wagner, Marc</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">A change-oriented architecture for mathematical authoring assistance</subfield><subfield code="c">Marc Wagner</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Heidelberg</subfield><subfield code="b">Akad. Verlagsges.</subfield><subfield code="c">2011</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">[Amsterdam]</subfield><subfield code="b">IOS Press</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XVIII, 289 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">Dissertationen zur künstlichen Intelligenz</subfield><subfield code="v">333</subfield></datafield><datafield tag="502" ind1=" " ind2=" "><subfield code="a">Zugl.: Saarbrücken, Univ., Diss., 2010</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Computermathematik</subfield><subfield code="0">(DE-588)4788218-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="650" ind1="0" ind2="7"><subfield code="a">Wissenschaftlicher Text</subfield><subfield code="0">(DE-588)4199679-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4113937-9</subfield><subfield code="a">Hochschulschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><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="1"><subfield code="a">Wissenschaftlicher Text</subfield><subfield code="0">(DE-588)4199679-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Computermathematik</subfield><subfield code="0">(DE-588)4788218-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Dissertationen zur künstlichen Intelligenz</subfield><subfield code="v">333</subfield><subfield code="w">(DE-604)BV005345280</subfield><subfield code="9">333</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">DNB 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=021183753&sequence=000001&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-021183753</subfield></datafield></record></collection> |
| genre | (DE-588)4113937-9 Hochschulschrift gnd-content |
| genre_facet | Hochschulschrift |
| id | DE-604.BV037270784 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T22:54:55Z |
| institution | BVB |
| isbn | 9783898383332 9781607507123 1607507129 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-021183753 |
| oclc_num | 705518942 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM DE-355 DE-BY-UBR |
| owner_facet | DE-91G DE-BY-TUM DE-355 DE-BY-UBR |
| physical | XVIII, 289 S. graph. Darst. |
| publishDate | 2011 |
| publishDateSearch | 2011 |
| publishDateSort | 2011 |
| publisher | Akad. Verlagsges. IOS Press |
| record_format | marc |
| series | Dissertationen zur künstlichen Intelligenz |
| series2 | Dissertationen zur künstlichen Intelligenz |
| spelling | Wagner, Marc Verfasser aut A change-oriented architecture for mathematical authoring assistance Marc Wagner Heidelberg Akad. Verlagsges. 2011 [Amsterdam] IOS Press XVIII, 289 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Dissertationen zur künstlichen Intelligenz 333 Zugl.: Saarbrücken, Univ., Diss., 2010 Computermathematik (DE-588)4788218-9 gnd rswk-swf Mathematik (DE-588)4037944-9 gnd rswk-swf Wissenschaftlicher Text (DE-588)4199679-3 gnd rswk-swf (DE-588)4113937-9 Hochschulschrift gnd-content Mathematik (DE-588)4037944-9 s Wissenschaftlicher Text (DE-588)4199679-3 s Computermathematik (DE-588)4788218-9 s DE-604 Dissertationen zur künstlichen Intelligenz 333 (DE-604)BV005345280 333 DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=021183753&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Wagner, Marc A change-oriented architecture for mathematical authoring assistance Dissertationen zur künstlichen Intelligenz Computermathematik (DE-588)4788218-9 gnd Mathematik (DE-588)4037944-9 gnd Wissenschaftlicher Text (DE-588)4199679-3 gnd |
| subject_GND | (DE-588)4788218-9 (DE-588)4037944-9 (DE-588)4199679-3 (DE-588)4113937-9 |
| title | A change-oriented architecture for mathematical authoring assistance |
| title_auth | A change-oriented architecture for mathematical authoring assistance |
| title_exact_search | A change-oriented architecture for mathematical authoring assistance |
| title_full | A change-oriented architecture for mathematical authoring assistance Marc Wagner |
| title_fullStr | A change-oriented architecture for mathematical authoring assistance Marc Wagner |
| title_full_unstemmed | A change-oriented architecture for mathematical authoring assistance Marc Wagner |
| title_short | A change-oriented architecture for mathematical authoring assistance |
| title_sort | a change oriented architecture for mathematical authoring assistance |
| topic | Computermathematik (DE-588)4788218-9 gnd Mathematik (DE-588)4037944-9 gnd Wissenschaftlicher Text (DE-588)4199679-3 gnd |
| topic_facet | Computermathematik Mathematik Wissenschaftlicher Text Hochschulschrift |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=021183753&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV005345280 |
| work_keys_str_mv | AT wagnermarc achangeorientedarchitectureformathematicalauthoringassistance |