Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/PVS/matrices/pvsbin/   (Beweissystem der NASA Version 6.0.9©)  Datei vom 8.10.2014 mit Größe 820 B image not shown  

Quelle  matrices.dep   Sprache: unbekannt

 
/top,matrices,matrix_inv,matrix_diag,matrix_upper_triang,matrix_det,matrix_props,query_coeff,tensor_product,linear_dependence
structures/listn,for_iterate,array2list,more_list_props
reals/log_nat,prelude_aux,real_fun_ops,sigma_swap,product,sigma,base_repr,sigma_nat
orders/lex3
ints/mod_lems
top:matrices,matrix_inv,matrix_det,query_coeff,matrix_props,matrix_diag,tensor_product,matrix_upper_triang
matrices:structures@listn,reals@sigma_nat,structures@array2list,reals@sigma_swap
matrix_inv:matrix_diag
matrix_diag:matrix_upper_triang
matrix_upper_triang:matrix_det
matrix_det:matrix_props,orders@lex3
matrix_props:matrices,reals@real_fun_ops
query_coeff:tensor_product
tensor_product:matrices,matrix_props,matrix_inv,linear_dependence,reals@base_repr,ints@mod_lems,reals@product
linear_dependence:matrices,matrix_props

[ Dauer der Verarbeitung: 0.6 Sekunden  (vorverarbeitet)  ]