topheader Welcome 54.80.188.87 @ scios.ch on Tue Oct 16 2:20:27 CEST 2018
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/PolarSys (topcased.org)
- preview: Polarsys/Papyrus
- NW.js v0.31.4 (update to use with XSI 2.5+).


Python 3 on Android tablets howto. Required for XSI4A.

Latest releases:
- SciOS XSI/CLIPS V 2.5.0 [ST-100MB] (Rel. 04-JUL-2018), download))
- SciOS XSI+ V 2.6.0 (Win32/64/Ux*/OpenVMS, Rel. 03-JUL-2018)
- XSI/CLIPS ENV-DLL V 2.6 (Rel. 04-JUL-2018), (MinGW/MSYS version)
- XSI+ 2.6 (Rel. 04-JUL-2018) (requires PostgreSQL >= 10.4)
The following tools (min versions) are compatible with XSI+ 2.6:

- TeXmacs 1.99.5
- Sphinx 1.4.2
- Jupyter 4.3 (xsi kernel)
- ROOT 6.14/00
- Coq 8.8.+, (see xsi-grp-npl, alternative proof language removed!!)

- purelang.bitbucket.org :: Pure V0.66
- ParaView 5.+
- Sage 8.+, Windows users pls see http://wiki.sagemath.org/SageAppliance or (recommended) use the new installer

archived news ...


To contact us, please use this form

 
 
start.txt · Last modified: 2018/07/07 23:10 (external edit)
topheader
© 1998-2018, SciOS Scientific Operating Systems GmbH

Legal | Credits | Profile | Contact | Customer Login