topheader Welcome 54.234.247.118 @ scios.ch on Thu Dec 14 3:27:44 CET 2017
topheader

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

NEWS

- Coq verified XSI/COOL code available (defclass/defmethod).
- Docker XSI images Login
- TOPCASED is migrating to PolarSys (topcased.org)
- preview: Polarsys/Papyrus
- NW.js v0.15.0 (update to use with XSI 2.4+).


Python 3 on Android tablets howto. Required for XSI4A.

Latest releases:
- SciOS XSI/CLIPS V 2.1.7 [ST-100MB] (Rel. 11-DEC-2016), download))
- SciOS XSI+ V 2.3 (Win32/64/Ux*/OpenVMS, Rel. 10-DEC-2016)
- XSI/CLIPS ENV-DLL V 2.4.8 (Rel. 11-DEC-2016), (MinGW/MSYS version)
- XSI+ 2.4 (Rel. 11-DEC-2016) (requires PostgreSQL >= 9.4.8)
The following tools (min versions) are compatible with XSI+ 2.4:

- TeXmacs 1.99.4
- Sphinx 1.4.1
- Jupyter 4.1 (xsi kernel)
- ROOT 6.06/02
- Coq 8.4/pl6 or 8.5 b2, (see xsi-grp-npl, alternative proof language)

- purelang.bitbucket.org :: Pure V0.64
- ParaView 5.0
- Sage 7.2, Windows users pls see http://wiki.sagemath.org/SageAppliance

archived news ...


To contact us, please use this form

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

Legal | Credits | Profile | Contact | Customer Login