Spracherkennung für: .dep vermutete Sprache: Unknown {[0] [0] [0]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]
/top,sigma_lemmas,linear_map,sigma_vector,linear_map_def,vect_of_vect,matrices,matrix_operator,matrix_lemmas,block_matrices
reals/sign,sqrt_exists,sigma_below,sigma,sqrt,sq
vectors/vectors
top:sigma_lemmas,linear_map,sigma_vector,linear_map_def,vect_of_vect,matrices,matrix_operator,matrix_lemmas,block_matrices
sigma_lemmas:vectors@vectors
linear_map:vectors@vectors
sigma_vector:linear_map
linear_map_def:sigma_vector,sigma_lemmas
vect_of_vect:vectors@vectors
matrices:vect_of_vect
matrix_operator:matrices,linear_map_def
matrix_lemmas:matrix_operator
block_matrices:matrices,sigma_lemmas
[Dauer der Verarbeitung: 0.15 Sekunden, vorverarbeitet 2026-06-16]
