wneuper/isac: doc/krempler/intro-ak.aux@522ecf7b76e6

     1 \relax

     2 \citation{Buc1982}

     3 \citation{wn:diss}

     4 \citation{Pau1994a}

     5 \citation{isac_hp}

     6 \@writefile{toc}{\contentsline {section}{\numberline {0.1}The ${\cal  I}\mkern -2mu{\cal  S}\mkern -5mu{\cal  AC}${} Project}{2}}

     7 \@writefile{toc}{\contentsline {subsection}{\numberline {0.1.1}History, Scope and Goal of the ${\cal  I}\mkern -2mu{\cal  S}\mkern -5mu{\cal  AC}${} Project}{2}}

     8 \citation{fwf03}

     9 \citation{www:EduMath}

    10 \citation{Bee1992}

    11 \citation{www:MathXpert}

    12 \citation{ActiveMath2001}

    13 \@writefile{toc}{\contentsline {subsection}{\numberline {0.1.2}Related Projects and Products}{4}}

    14 \@writefile{toc}{\contentsline {subsubsection}{Educational Software}{4}}

    15 \citation{theorema-ws2}

    16 \@writefile{toc}{\contentsline {subsubsection}{Computer Algebra Systems (CAS)}{5}}

    17 \citation{wolfr:mat}

    18 \citation{derive}

    19 \citation{Isa-intro}

    20 \@writefile{toc}{\contentsline {subsubsection}{Theorem Provers}{6}}

    21 \@writefile{toc}{\contentsline {subsubsection}{Expert Systems}{6}}

    22 \citation{isac-mowgli2}

    23 \citation{dino2002}

    24 \citation{fink:da}

    25 \citation{Ober01}

    26 \citation{wn:diss}

    27 \citation{promise-R-D}

    28 \citation{ggt02}

    29 \citation{richard:da}

    30 \citation{MG:thesis}

    31 \@writefile{toc}{\contentsline {subsubsection}{Standards and Tools Used}{7}}

    32 \@writefile{toc}{\contentsline {subsection}{\numberline {0.1.3}Status of the Project}{7}}

    33 \citation{AG:thesis}

    34 \citation{MH04:thesis}

    35 \citation{RG04:thesis}

    36 \@writefile{toc}{\contentsline {section}{\numberline {0.2}Scopes and Goals}{8}}

    37 \@writefile{toc}{\contentsline {subsection}{\numberline {0.2.1}Goal of this Thesis}{8}}

    38 \citation{Neu2002b}

    39 \@writefile{toc}{\contentsline {subsection}{\numberline {0.2.2}Position of this Thesis within the ${\cal  I}\mkern -2mu{\cal  S}\mkern -5mu{\cal  AC}${} Project}{9}}

    40 \citation{wn:diss}

    41 \@writefile{toc}{\contentsline {subsection}{\numberline {0.2.3}Structure of this Thesis}{10}}

    42 \@writefile{toc}{\contentsline {section}{\numberline {0.3}Introduction to Terms Used throughout this Thesis}{10}}

    43 \newlabel{AK:intro:terms}{{0.3}{10}}

    44 \@writefile{toc}{\contentsline {subsection}{\numberline {0.3.1}System Components of ${\cal  I}\mkern -2mu{\cal  S}\mkern -5mu{\cal  AC}${}}{10}}

    45 \@writefile{toc}{\contentsline {subsubsection}{Math Engine}{10}}

    46 \@writefile{toc}{\contentsline {subsubsection}{Knowledge Base}{10}}

    47 \@writefile{toc}{\contentsline {subsubsection}{Kernel}{11}}

    48 \@writefile{toc}{\contentsline {subsubsection}{Knowledge Browser}{11}}

    49 \@writefile{toc}{\contentsline {subsubsection}{Worksheet}{11}}

    50 \@writefile{toc}{\contentsline {subsubsection}{Dialog}{11}}

    51 \@writefile{toc}{\contentsline {subsubsection}{User Model}{11}}

    52 \@writefile{toc}{\contentsline {subsection}{\numberline {0.3.2}Abstraction Levels of Dialog Behaviour}{11}}

    53 \@writefile{toc}{\contentsline {subsubsection}{Dialog Atom}{11}}

    54 \@writefile{toc}{\contentsline {subsubsection}{Dialog Strategy}{11}}

    55 \@writefile{toc}{\contentsline {subsubsection}{Dialog Activity}{12}}

    56 \@writefile{toc}{\contentsline {subsection}{\numberline {0.3.3}Key Elements in Calculations}{12}}

    57 \@writefile{toc}{\contentsline {subsubsection}{Formula}{12}}

    58 \@writefile{toc}{\contentsline {subsubsection}{Tactic}{12}}

    59 \@writefile{toc}{\contentsline {subsection}{\numberline {0.3.4}${\cal  I}\mkern -2mu{\cal  S}\mkern -5mu{\cal  AC}${}'s Concept of Calculations}{12}}

    60 \@writefile{toc}{\contentsline {subsubsection}{Calc Tree}{12}}

    61 \@writefile{toc}{\contentsline {subsubsection}{Subproblem}{12}}

    62 \@writefile{toc}{\contentsline {subsubsection}{Calc Head}{13}}

    63 \@writefile{toc}{\contentsline {subsubsection}{Specifiying Phase}{13}}

    64 \@writefile{toc}{\contentsline {subsubsection}{Solving Phase}{13}}

    65 \@writefile{toc}{\contentsline {subsection}{\numberline {0.3.5}Mathematical Knowledge}{13}}

    66 \@writefile{toc}{\contentsline {subsubsection}{Problem}{13}}

    67 \@writefile{toc}{\contentsline {subsubsection}{Theory}{13}}

    68 \@writefile{toc}{\contentsline {subsubsection}{Method}{13}}

    69 \@writefile{toc}{\contentsline {subsection}{\numberline {0.3.6}Describing a Calculation Task to ${\cal  I}\mkern -2mu{\cal  S}\mkern -5mu{\cal  AC}${}}{14}}

    70 \@writefile{toc}{\contentsline {subsubsection}{Example}{14}}

    71 \@writefile{toc}{\contentsline {subsubsection}{Formalization}{14}}

    72 \@writefile{toc}{\contentsline {subsubsection}{Model}{14}}

    73 \@writefile{toc}{\contentsline {subsubsection}{Specification}{14}}

    74 \@writefile{toc}{\contentsline {subsubsection}{Description}{14}}

    75 \@writefile{toc}{\contentsline {subsubsection}{Explanation}{14}}

    76 \@setckpt{intro-ak}{

    77 \setcounter{page}{15}

    78 \setcounter{equation}{0}

    79 \setcounter{enumi}{0}

    80 \setcounter{enumii}{0}

    81 \setcounter{enumiii}{0}

    82 \setcounter{enumiv}{0}

    83 \setcounter{footnote}{8}

    84 \setcounter{mpfootnote}{0}

    85 \setcounter{part}{1}

    86 \setcounter{chapter}{0}

    87 \setcounter{section}{3}

    88 \setcounter{subsection}{6}

    89 \setcounter{subsubsection}{0}

    90 \setcounter{paragraph}{0}

    91 \setcounter{subparagraph}{0}

    92 \setcounter{figure}{0}

    93 \setcounter{table}{0}

    94 \setcounter{usecase}{0}

    95 \setcounter{userreq}{0}

    96 \setcounter{softreq}{0}

    97 }

author	akremp
	Wed, 09 Mar 2005 05:53:06 +0100
changeset 2157	522ecf7b76e6
parent 2156	aa25d72a23a2
child 2168	64f238fb00dd
permissions	-rw-r--r--