Rev 2071 | Go to most recent revision | 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. |
||
5766 | 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. |
||
5766 | 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 |
||
28 | To allow people to make pages with various (or dynamic) |
||
29 | foreground/background color settings, with math fonts and TeX formulas |
||
30 | following these settings. |
||
31 | |||
32 | $tit Incorporation of remote (and non-wims) URL's into wims system.$titend |
||
33 | |||
34 | $tit Utilities to allow people to develop wims applications from their |
||
35 | remote sites.$titend |
||
36 | |||
37 | $tit A more complete wims language: while loop, case, etc.$titend |
||
38 | |||
39 | </ol> |
||
40 | |||
41 |