Rev 5766 | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 5766 | Rev 17228 | ||
|---|---|---|---|
| Line 2... | Line 2... | ||
| 2 | $tit Intelligent translations of mathematical expressions $titend |
2 | $tit Intelligent translations of mathematical expressions $titend |
| 3 | between the following formats: <ul> |
3 | between the following formats: <ul> |
| 4 | <li>raw math expression, recognizable by most mathematical softwares. |
4 | <li>raw math expression, recognizable by most mathematical softwares. |
| 5 | <li>error-tolerant raw math expression: 2x will be understood as |
5 | <li>error-tolerant raw math expression: 2x will be understood as |
| 6 | 2*x, etc. |
6 | 2*x, etc. |
| 7 | <br |
7 | <br>(Implementation started since version 0.11.2) |
| 8 | <li>html-formatted math, to display a math expression as correctly |
8 | <li>html-formatted math, to display a math expression as correctly |
| 9 | as possible using html capabilities. |
9 | as possible using html capabilities. |
| 10 | <br |
10 | <br>(Implementation started since version 0.11.6) |
| 11 | <li>When this should be available: Math-ML language. |
11 | <li>When this should be available: Math-ML language. |
| 12 | <li>TeX-source, which can be either displayed formatted via instex, |
12 | <li>TeX-source, which can be either displayed formatted via instex, |
| 13 | or sent as-is (so the user may incorporate it into |
13 | or sent as-is (so the user may incorporate it into |
| 14 | his TeX documents). |
14 | his TeX documents). |
| 15 | <li>LyX-source? LyX formatted math is not as beautiful as TeX, but |
15 | <li>LyX-source? LyX formatted math is not as beautiful as TeX, but |
| Line 23... | Line 23... | ||
| 23 | 23 | ||
| 24 | $tit Interface to more software packages. (Including a proof-verification |
24 | $tit Interface to more software packages. (Including a proof-verification |
| 25 | system?)$titend |
25 | system?)$titend |
| 26 | 26 | ||
| 27 | $tit Colored math fonts and TeX formulas. $titend |
27 | $tit Colored math fonts and TeX formulas. $titend |
| 28 | To allow people to make pages with various (or dynamic) |
28 | To allow people to make pages with various (or dynamic) |
| 29 | foreground/background color settings, with math fonts and TeX formulas |
29 | foreground/background color settings, with math fonts and TeX formulas |
| 30 | following these settings. |
30 | following these settings. |
| 31 | 31 | ||
| 32 | $tit Incorporation of remote (and non-wims) URL's into wims system.$titend |
32 | $tit Incorporation of remote (and non-wims) URL's into wims system.$titend |
| 33 | |
33 | |
| 34 | $tit Utilities to allow people to develop wims applications from their |
34 | $tit Utilities to allow people to develop wims applications from their |
| 35 | remote sites.$titend |
35 | remote sites.$titend |
| 36 | |
36 | |
| 37 | $tit A more complete wims language: while loop, case, etc.$titend |
37 | $tit A more complete wims language: while loop, case, etc.$titend |
| 38 | |
38 | |
| 39 | </ol> |
39 | </ol> |
| 40 | 40 | ||
| 41 | 41 | ||