Deprecated: Array and string offset access syntax with curly braces is deprecated in /srv/www/vhosts/scios.ch/httpdocs/inet/inc/init.php on line 557

Warning: Declaration of action_plugin_captcha::register(&$controller) should be compatible with DokuWiki_Action_Plugin::register(Doku_Event_Handler $controller) in /srv/www/vhosts/scios.ch/httpdocs/inet/lib/plugins/captcha/action.php on line 20
start [SciOS::Home]
topheader Welcome 44.200.39.110 @ scios.ch on Thu Mar 28 12:23:57 UTC 2024
 
topheader
 

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

start [2019/07/08 16:05]
start [2022/01/03 16:12] (current)
Line 1: Line 1:
 +**Welcome to SciOS Scientific Operating Systems GmbH**
 +a research, development and consulting company located near Gachnang, Switzerland. ​
 +                                                                                   
 +\\
 +
 +{{:​logo2.png}}
 +
 +== NEWS ==
 +- [[https://​aisys.ch/​hub/​login | JupyterHub (temp. out of service)]] ​ (Request credentials by Contract-IDX) \\
 +- Node.js v11.6, SOCKET.IO 2.0 (enables real-time, bidirectional and event-based communication for XSI+.) \\
 +- [[http://​xps.scios.ch/​inet/​| CLIPS/COOL BPG]] \\
 +- Test online (BPG above): [[http://​edu.scios.ch/​clips_js/​]] \\
 +- Coq verified XSI/COOL code available (defclass/​defmethod). \\
 +- Docker XSI images [[https://​hub.docker.com/​account/​login/​|Login]] \\
 +- TOPCASED/​PolarSys [[http://​www.topcased.org/​|(topcased.org)]] \\
 +- preview: [[https://​www.polarsys.org/​solutions/​papyrus|Polarsys/​Papyrus]] \\
 +- NW.js v0.34.3 SDK, call modules directly from DOM ([[http://​nwjs.io/​|update]] to use with XSI 2.6+). \\
 +\\
 +\\
 +''​Python 3''​ on Android tablets [[py34a_howto|howto]]. Required for XSI4A. \\
 +\\ 
 +Latest releases: \\
 +- SciOS [[xsi_clips | XSI/CLIPS]] V 2.6.5 [ST-100MB] (Rel. 01-JAN-2022),​ [[http://​www.scios.ch/​authorize/​index.php|download]])) \\
 +- SciOS [[xsi_plus | XSI+]] V 2.8.5 (Win32/​64/​Ux*/​OpenVMS,​ Rel. 01-JAN-2022) \\
 +- XSI/CLIPS [[xsi_env_dll | ENV-DLL]] V 2.8.5 (Rel. 01-JAN-2022),​ (MinGW/MSYS version)\\
 +- XSI+ 2.8.5 (Rel. 01-JAN-2022) (requires PostgreSQL >= 12.1, recommended V 14.1) 
 +\\
 +The following tools (min versions) are compatible with XSI+ 2.8.5+: \\ \\
 +- [[http://​www.texmacs.org/​tmweb/​download/​windows.en.html|TeXmacs 1.99.5]]\\
 +- [[http://​www.sphinx-doc.org/​en/​stable/​|Sphinx 1.8.+]]\\
 +- [[http://​jupyter.org/​|Jupyter 4.3 (xsi kernel)]] \\
 +- [[http://​root.cern.ch|ROOT 6.24/06]]\\
 +- [[http://​coq.inria.fr/​coq-87|Coq 8.13.+]], (see xsi-grp-npl,​ alternative proof language removed!!)\\
 +\\
 +- [[https://​agraef.github.io/​pure-lang/​| Pure language]], (term rewriting) :: Pure V0.68  \\
 +- [[http://​www.paraview.org/​| ParaView 5.6+]] \\
 +- [[http://​www.sagemath.org/​| Sage 9.+]], * Windows binary installer [[https://​github.com/​sagemath/​sage-windows/​releases]]  ​
 +\\
 +\\
 +[[news|archived news ...]]
 +
 +\\
 +To **contact** us, please use this [[contact_form|form]]
 +\\
 +
 +
  
 
 
topheader
© 1998-2022, SciOS Scientific Operating Systems GmbH

Legal | Credits | Profile | Contact | Customer Login