The following pages link to Correctness criteria for algebraic closures of the estimate-calculating algorithm model (Q954216):
Displayed 1 item.