topheader Welcome 35.153.73.72 @ scios.ch on Sat Jul 20 21:51:58 CEST 2019
 
topheader
 

Differences

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

Link to this comparison view

Both sides previous revision Previous revision
start [2013/12/31 16:27]
admin
start [2019/07/08 18:05] (current)
Line 1: Line 1:
 **Welcome to SciOS Scientific Operating Systems GmbH** **Welcome to SciOS Scientific Operating Systems GmbH**
-privately held research, development and consulting company located near Gachnang, Switzerland. ​+a research, development and consulting company located near Gachnang, Switzerland. ​
                                                                                                                                                                        
 \\ \\
 +
 +{{:​logo2.png}}
  
 == NEWS == == NEWS ==
-''​Python 3''​ on Android tablets [[py34a_howto|howto]]. ​Needed ​for XSI4A. \\+- 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: \\ Latest releases: \\
-- SciOS [[xsi_clips | XSI/CLIPS]] V 2.0.[ST-100MB] (Rel. 30-DEC-2013), [[http://​www.scios.ch/​authorize/​index.php|download]])) \\ +- SciOS [[xsi_clips | XSI/CLIPS]] V 2.5.[ST-100MB] (Rel. 08-JUL-2019), [[http://​www.scios.ch/​authorize/​index.php|download]])) \\ 
-- SciOS [[xsi_plus | XSI+]] V 2.0.(Win32/Ux, Rel. 22-NOV-2013) \\ +- SciOS [[xsi_plus | XSI+]] V 2.7.(Win32/64/Ux*/OpenVMS, Rel. 08-JUL-2019) \\ 
-- XSI/CLIPS [[xsi_env_dll | ENV-DLL]] V 2.(Rel. 07-JAN-2013), NEW:MinGW/MSYS version\\ +- XSI/CLIPS [[xsi_env_dll | ENV-DLL]] V 2.(Rel. 08-JUL-2019), (MinGW/MSYS version)\\ 
-- XSI 2.(Rel. 21-JUL-2013) (needs PostgreSQL ​9.2.4) +- XSI2.(Rel. 04-JUL-2018) (requires ​PostgreSQL ​>= 10.4) 
 \\ \\
-Axiom plugin suite 1.1 for WikidPad, IPython Qt/Nb, TeXmacs, WAX. \\ +The following tools (min versions) are compatible with XSI+ 2.6: \\ \\ 
-Python Power Shell [wx], Rel10-JUL-2012 \\+[[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.14/00]]\\ 
 +- [[http://​coq.inria.fr/​coq-87|Coq 8.8.+]], (see xsi-grp-npl, alternative proof language removed!!)\\
 \\ \\
-The following tools (min versions) are compatible with XSI 2.1: \\ \\ +- [[https://agraef.github.io/pure-lang/| Pure language]], (term rewriting) :: Pure V0.68  ​\\ 
-- [[http://www.texmacs.org/tmweb/download/​windows.en.html|TeXmacs 1.0.7.18]]\\ +- [[http://www.paraview.org/​| ​ParaView 5.6+]] \\ 
-- [[http://ipython.org/|IPython 0.13.2 or 1.0dev]] \\ +- [[http://www.sagemath.org/| Sage 8.+]], * Windows binary installer ​[[https://github.com/sagemath/​sage-windows/​releases]]  
-- [[http://root.cern.ch/drupal/​content/​production-release-53400|ROOT 5.34.09]]\\ +
-[[http://coq.inria.fr/coq-84|Coq 8.4]]\\+
 \\ \\
-- [[https://​code.google.com/​p/​pure-lang/​|Pure V0.57]] (NEW:for L-term rewriting) \\ 
-- [[http://​yacas.sourceforge.net/​backups/​yacas-1.3.3.tar.gz| Yacas 1.3.3]] \\ 
-- [[http://​fricas.sourceforge.net/​download.html| Fricas 1.2.1 (incl. cygwin)]] \\ 
-- [[http://​www.paraview.org/​| ParaView 4.0.1]] \\ 
-- [[http://​www.sagemath.org/​| Sage 5.10]], Windows users pls see [[http://​wiki.sagemath.org/​SageAppliance]]  ​ 
 \\ \\
-[[news|older news ...]] +[[news|archived ​news ...]] 
-\\ +
-Use hg.scios.ch for up-to-date sources. \\+
 \\ \\
 To **contact** us, please use this [[contact_form|form]] To **contact** us, please use this [[contact_form|form]]
 
 
start.1388503639.txt.gz · Last modified: 2013/12/31 16:27 by admin
topheader
© 1998-2019, SciOS Scientific Operating Systems GmbH

Legal | Credits | Profile | Contact | Customer Login