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 |