Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/GAP/pkg/agt/   (GAP Algebra Version 4.15.1©)  Datei vom 31.11.2022 mit Größe 229 B image not shown  

Quelle  Dockerfile   Sprache: Shell

 

FROM gapsystem/gap-docker

COPY --chown=1000:1000 . $HOME/agt

RUN sudo pip3 install ipywidgets RISE

RUN jupyter-nbextension install rise --user --py

RUN jupyter-nbextension enable rise --user --py

USER gap

WORKDIR $HOME/agt

Messung
CHZG
999610098

¤ Dauer der Verarbeitung: 0.0 Sekunden  (vorverarbeitet am  2026-11-04) ¤

*© Formatika GbR, Deutschland






Wurzel

Suchen

PVS Prover

Isabelle Prover


Cephes Mathematical Library

Vienna Development Method

Haftungshinweis

Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.

Bemerkung:

Die farbliche Syntaxdarstellung und die Messung sind noch experimentell.