Subversion Repositories wimsdev

Rev

Rev 5766 | Details | Compare with Previous | Last modification | View Log | RSS feed

Rev Author Line No. Line
2071 zjchen 1
<ol>
2
  $tit Intelligent translations of mathematical expressions $titend
3
      between the following formats: <ul>
4
        <li>raw math expression, recognizable by most mathematical softwares.
5
        <li>error-tolerant raw math expression: 2x will be understood as
6
            2*x, etc.
17228 bpr 7
          <br>(Implementation started since version 0.11.2)
2071 zjchen 8
        <li>html-formatted math, to display a math expression as correctly
9
            as possible using html capabilities.
17228 bpr 10
            <br>(Implementation started since version 0.11.6)
2071 zjchen 11
        <li>When this should be available: Math-ML language.
12
        <li>TeX-source, which can be either displayed formatted via instex,
13
            or sent as-is (so the user may incorporate it into
14
            his TeX documents).
15
        <li>LyX-source? LyX formatted math is not as beautiful as TeX, but
16
            is much faster. We need a utility to process LyX sources,
17
            outputing the result to a gif file.
18
      </ul>
19
 
20
  $tit More mathematical functionalities built into wims server:$titend
21
      complex numbers, multi-variable functions, numerical substitution of
22
      variables in mathematical expressions, etc.
23
 
24
  $tit Interface to more software packages. (Including a proof-verification
25
      system?)$titend
26
 
27
  $tit Colored math fonts and TeX formulas. $titend
17228 bpr 28
      To allow people to make pages with various (or dynamic)
2071 zjchen 29
      foreground/background color settings, with math fonts and TeX formulas
30
      following these settings.
17228 bpr 31
 
2071 zjchen 32
  $tit Incorporation of remote (and non-wims) URL's into wims system.$titend
17228 bpr 33
 
2071 zjchen 34
  $tit Utilities to allow people to develop wims applications from their
35
      remote sites.$titend
17228 bpr 36
 
2071 zjchen 37
  $tit A more complete wims language: while loop, case, etc.$titend
17228 bpr 38
 
2071 zjchen 39
</ol>
40
 
41