products
/
sources
/
formale Sprachen
/
Coq
/
theories
/
Classes
/
Quellcode-Bibliothek
©
Kompilation durch diese Firma
[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]
Datei: fundamental_theorem.prf Sprache: Unknown
Spracherkennung für: .mlpack vermutete Sprache: C {C[16] Abap[254] [0]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]
Utile
Polynom
Ideal
Nsatz
G_nsatz
[ Normaldarstellung0.47Diashow
]