Subversion Repositories wimsdev

Rev

Rev 2071 | 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>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>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>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.  
  42.