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]
Action disabled: source
topheader Welcome 54.204.142.235 @ scios.ch on Fri Mar 29 11:18:57 UTC 2024
 
topheader
 

Welcome to SciOS Scientific Operating Systems GmbH a research, development and consulting company located near Gachnang, Switzerland.


NEWS

- 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+.)
- CLIPS/COOL BPG
- Test online (BPG above): http://edu.scios.ch/clips_js/
- Coq verified XSI/COOL code available (defclass/defmethod).
- Docker XSI images Login
- TOPCASED/PolarSys (topcased.org)
- preview: Polarsys/Papyrus
- NW.js v0.34.3 SDK, call modules directly from DOM (update to use with XSI 2.6+).


Python 3 on Android tablets howto. Required for XSI4A.

Latest releases:
- SciOS XSI/CLIPS V 2.6.5 [ST-100MB] (Rel. 01-JAN-2022), download))
- SciOS XSI+ V 2.8.5 (Win32/64/Ux*/OpenVMS, Rel. 01-JAN-2022)
- XSI/CLIPS 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+:

- TeXmacs 1.99.5
- Sphinx 1.8.+
- Jupyter 4.3 (xsi kernel)
- ROOT 6.24/06
- Coq 8.13.+, (see xsi-grp-npl, alternative proof language removed!!)

- Pure language, (term rewriting) :: Pure V0.68
- ParaView 5.6+
- Sage 9.+, * Windows binary installer https://github.com/sagemath/sage-windows/releases

archived news ...


To contact us, please use this form

 
 
start.txt · Last modified: 2022/01/03 16:12 (external edit)
topheader
© 1998-2022, SciOS Scientific Operating Systems GmbH

Legal | Credits | Profile | Contact | Customer Login