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

Impressum manual.tex   Sprache: Latech

 

%!TEX root = manual.tex
% !TeX TS-program = pdftex
% !TEX spellcheck =en_GB
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%
%%  manual.tex               CRISP documentation            Burkhard Höfling
%%
%%  Copyright © 2000, Burkhard Höfling
%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

\input ../../../doc/gapmacro.tex
% \casesensitivetrue
\citebookstrue
\biblitemtrue
\bibindent 4.5 em

\hyphenation{Is-ListOr-Col-lec-tion}
\Package{CRISP}
\Package{FORMAT}
\emergencystretch 1 em

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\BeginningOfBook{crisp}
  \UseReferences{../../../doc/ref}
  \TitlePage{\unskip{
    \vfill
    \centerline{\subtitlefont Burkhard H{\accent 127 o}fling}
    \baselineskip 72 pt
    \centerline{}
    \centerline{\inchhigh CRISP}
    \baselineskip 36 pt
    \centerline{\subtitlefont Version 1.4.8}
    \centerline{}
    \centerline{}
   \centerline{\subtitlefont Computing with Radicals, Injectors}
    \centerline{\subtitlefont Schunck classes and Projectors}
    \centerline{\subtitlefont of finite soluble groups}          
  }}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  \TableOfContents
  
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  \FrontMatter
     
    \def\thechapter{}
    \input copyright
%    \Input{preface}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  \Chapters
  
    \Input{intro}
    \Input{classes}    % classes
    \Input{grpclass}   % group classes and closure properties
    \Input{schunck}    % Schunck classes and formations
    \Input{fitting}    % Fitting sets, normal subgroups
    \Input{examples}   % pre-defined classes and class families
    \Input{normal}  % functions for normal subgroups, minimal normal subgroups and the socle

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  \Appendices     % don't uncomment - this is needed for the online manual

    \Input{versions}
    
    \Bibliography
    \Index

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\EndOfBook

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%
%E
%%

¤ Diese beiden folgenden Angebotsgruppen bietet das Unternehmen0.142Angebot  ¤

*Eine klare Vorstellung vom Zielzustand






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.