topheader Welcome 34.204.189.171 @ scios.ch on Tue Oct 22 9:18:51 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
Next revision
Previous revision
start [2013/08/05 21:23]
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.3 [ST-100MB] (Rel. 02-MAR-2012)((Recompilation only, no changes, [[http://​www.scios.ch/​authorize/​index.php|download]])) \\ +- SciOS [[xsi_clips | XSI/CLIPS]] V 2.5.0 [ST-100MB] (Rel. 08-JUL-2019), [[http://​www.scios.ch/​authorize/​index.php|download]])) \\ 
-- SciOS [[xsi_plus | XSI+]] V 2.0.(Win32, Rel. 02-MAR-2012) \\ +- 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.txt · Last modified: 2019/07/08 18:05 (external edit)
topheader
© 1998-2019, SciOS Scientific Operating Systems GmbH

Legal | Credits | Profile | Contact | Customer Login