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]
topheader Welcome 34.227.112.145 @ scios.ch on Thu Mar 28 10:42:43 UTC 2024
 
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/01 17:37]
admin
start [2022/01/03 16:12] (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 ==
-Latest releases: \\ +- [[https://​aisys.ch/​hub/​login | JupyterHub (temp. out of service)]]  ​(Request credentials by Contract-IDX) \\ 
-SciOS [[xsi_clips | XSI/CLIPS]] 2.0.3 [ST-100MB] ​(Rel. 02-MAR-2012)((Recompilation only, no changes, ​[[http://www.scios.ch/authorize/index.php|download]])) \\ +- Node.js v11.6, SOCKET.IO ​2.0 (enables real-time, bidirectional and event-based communication for XSI+.\\ 
-SciOS [[xsi_plus | XSI+]] V 2.0.3 (Win32, Rel. 02-MAR-2012) \\ +[[http://xps.scios.ch/inet/| CLIPS/COOL BPG]] \\ 
-- XSI/​CLIPS ​[[xsi_env_dll ​ENV-DLL]] V 2.(Rel07-JAN-2013), NEW:MinGW/MSYS version\\ +Test online (BPG above): ​[[http://edu.scios.ch/​clips_js/​]] \\ 
-XSI 2.1 (Rel21-JUL-2013) ​(needs PostgreSQL 9.2.4+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+). \\
 \\ \\
-- Axiom plugin suite 1.1 for WikidPad, IPython Qt/Nb, TeXmacs, WAX. \\ 
-- Python Power Shell [wx], Rel. 10-JUL-2012 \\ 
 \\ \\
-The following tools (min versions) are compatible with XSI 2.1: \\ \\ +''​Python 3''​ on Android tablets [[py34a_howto|howto]]. Required for XSI4A. \\ 
-- [[http://www.texmacs.org/​tmweb/​download/​windows.en.html|TeXmacs 1.0.7.18]]\\ +\\  
-- [[http://ipython.org/​|IPython 0.13.2 or 1.0dev]] \\ +Latest releases: ​\\ 
-- [[http://root.cern.ch/drupal/content/production-release-53400|ROOT 5.34.09]]\\ +SciOS [[xsi_clips | XSI/CLIPS]] V 2.6.5 [ST-100MB(Rel. 01-JAN-2022), ​[[http://www.scios.ch/​authorize/​index.php|download]])) \\ 
-- [[http://coq.inria.fr/coq-84|Coq ​8.4]]\\+SciOS [[xsi_plus | XSI+]] V 2.8.5 (Win32/64/Ux*/OpenVMS, Rel. 01-JAN-2022) \\ 
 +XSI/​CLIPS ​[[xsi_env_dll | 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) 
 \\ \\
-- [[https://​code.google.com/​p/​pure-lang/​|Pure V0.57]] (NEW:for L-term rewriting) ​\\ +The following tools (min versions) are compatible with XSI+ 2.8.5+\\ \\ 
-- [[http://yacas.sourceforge.net/backups/yacas-1.3.3.tar.gzYacas 1.3.3]] \\ +- [[http://www.texmacs.org/tmweb/download/​windows.en.html|TeXmacs ​1.99.5]]\\ 
-- [[http://fricas.sourceforge.net/download.htmlFricas ​1.2.1 (incl. cygwin)]] \\ +- [[http://www.sphinx-doc.org/​en/​stable/|Sphinx ​1.8.+]]\\ 
-- [[http://www.paraview.org/​| ​ParaView ​4.0.1]] \\ +- [[http://jupyter.org/|Jupyter ​4.3 (xsi kernel)]] \\ 
-- [[http://www.sagemath.org/Sage 5.10]], Windows users pls see [[http://wiki.sagemath.org/SageAppliance]]  +- [[http://root.cern.ch|ROOT 6.24/06]]\\ 
 +[[http://coq.inria.fr/coq-87|Coq 8.13.+]], (see xsi-grp-npl,​ alternative proof language removed!!)\\
 \\ \\
-[[news|older news ...]]+[[https://​agraef.github.io/​pure-lang/​Pure language]], (term rewriting) :: Pure V0.68  \\ 
 +- [[http://​www.paraview.org/​| ParaView 5.6+]] \\ 
 +- [[http://​www.sagemath.org/​| Sage 9.+]], * Windows binary installer [[https://​github.com/​sagemath/​sage-windows/​releases]]  
 \\ \\
-Use hg.scios.ch for up-to-date sources\\+\\ 
 +[[news|archived news ...]] 
 \\ \\
 To **contact** us, please use this [[contact_form|form]] To **contact** us, please use this [[contact_form|form]]
 
 
start.1375378639.txt.gz · Last modified: 2013/08/01 17:37 by admin
topheader
© 1998-2022, SciOS Scientific Operating Systems GmbH

Legal | Credits | Profile | Contact | Customer Login