Spracherkennung für: .dep vermutete Sprache: Unknown {[0] [0] [0]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]
/top,real_order,system_solvers,poly_systems,tarski_query_matrix,tarski_query,poly_families,sturmtarski,compute_sturm_tarski,strategies,poly_system_strategy,examples
interval_arith/interval
structures/listn,sort_array,for_iterate,permutations,array2list,min_array_def,more_list_props,max_array_def,below_arrays,Unit_adt,Unit,sort_array_def
reals/binomial_identities,factorial,binomial,abs_lems,sign,log_nat,polynomials,prelude_aux,root,real_orders,real_fun_ops,more_polynomial_props,RealInt,sigma_upto,sigma_swap,min_max,product_nat,product,real_order_ep,sigma,base_repr,sq,sigma_nat
matrices/matrix_det,matrix_inv,matrix_upper_triang,matrices,tensor_product,matrix_props,linear_dependence,query_coeff,matrix_diag
orders/lex3
Sturm/clear_denominators,polynomial_division,poly_strategy,remainder_sequence,compute_sturm,number_sign_changes,strategies,polynomial_pseudo_divide,gcd_coeff,polylist,sturm
ints/factorial,div,gcd,divides_lems,div_nat,floor_div_lems,mod_lems,max_bounded_posnat,min_posnat,floor_more,pigeonhole,abs_rews
top:real_order,system_solvers,compute_sturm_tarski,sturmtarski,poly_families,tarski_query,tarski_query_matrix,poly_systems,strategies,examples
real_order:
system_solvers:poly_systems,matrices@query_coeff
poly_systems:reals@polynomials,reals@more_polynomial_props,reals@sign,reals@real_orders,structures@sort_array,tarski_query_matrix
tarski_query_matrix:tarski_query
tarski_query:poly_families,reals@product_nat,matrices@tensor_product,matrices@matrices,matrices@query_coeff
poly_families:sturmtarski,compute_sturm_tarski,reals@base_repr
sturmtarski:reals@polynomials,reals@more_polynomial_props,reals@sign,Sturm@polynomial_division,Sturm@number_sign_changes,structures@more_list_props,ints@gcd,structures@sort_array,Sturm@gcd_coeff
compute_sturm_tarski:sturmtarski,Sturm@remainder_sequence,Sturm@clear_denominators,reals@more_polynomial_props
strategies:poly_system_strategy,Sturm@strategies
poly_system_strategy:poly_systems,system_solvers
examples:strategies
