Subversion Repositories wimsdev

Rev

Rev 9071 | Go to most recent revision | Blame | Compare with Previous | Last modification | View Log | RSS feed

  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><li>error-tolerant raw math expression: 2x will be understood as
  6.             2*x, etc.
  7.           <br>(Implementation started since version 0.11.2)
  8.         </li><li>html-formatted math, to display a math expression as correctly
  9.             as possible using html capabilities.
  10.             <br>(Implementation started since version 0.11.6)
  11.         </li><li>Math-ML language.
  12.         </li><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><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.       </li></ul>
  19.   </li>
  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.   </li>
  24.   $tit Interface to more software packages. (Including a proof-verification
  25.       system?)$titend
  26.   </li>
  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.   </li>$tit Incorporation of remote (and non-wims) URL's into wims system.$titend
  33.  
  34.  </li>$tit Utilities to allow people to develop wims applications from their
  35.      remote sites.$titend
  36.  
  37.  </li>$tit A more complete wims language: while loop, case, etc.$titend
  38.  </li>
  39. </ol>
  40.  
  41.  
  42.