When you are done with the changes, please
do not forget to click on the Save button at the
bottom of the page.
| Profile |
|
|
|
(changing the profile will update all the fields below)
|
| UWOBO URL
|
|
|
|
|
| Getter URL
|
|
|
|
|
| URI-Set URL |
|
|
|
|
| Graph Drawer URL |
|
|
|
|
| Proof-Checker URL |
|
|
|
|
| Search Engine URL |
|
|
|
|
| RDFly URL |
|
|
|
|
| Interface URL |
|
|
|
| Natural language rendering |
|
| Maximum size of dependency graph |
|
| Browser |
|
Only new browsers support UNICODE, that is needed to render
mathematical documents. Some old browsers, though, can render
the most common symbols through the "symbol" font.
|
|
To make us understand what kind of browser you have, please
select below the symbol for "not belongs to". If both options
do not show that symbol, then you will be only able to use
the MathML mode with an external plug-out for MathML presentation.
|
|
|