共 50 条
- [1] THE MONOTONY OF INTERVAL-MEDIATED SCHULZ METHOD OF HIGHER-ORDER [J]. ZEITSCHRIFT FUR ANGEWANDTE MATHEMATIK UND MECHANIK, 1987, 67 (02): : 137 - 138
- [2] Monotonicity Inference for Higher-Order Formulas [J]. Journal of Automated Reasoning, 2011, 47 : 369 - 398
- [3] Monotonicity Inference for Higher-Order Formulas [J]. AUTOMATED REASONING, 2010, 6173 : 91 - 106
- [4] Monotonicity Inference for Higher-Order Formulas [J]. JOURNAL OF AUTOMATED REASONING, 2011, 47 (04) : 369 - 398
- [5] EFFICIENCY OF HIGHER-ORDER SCHULZ INTERVAL-METHODS [J]. ZEITSCHRIFT FUR ANGEWANDTE MATHEMATIK UND MECHANIK, 1988, 68 (01): : 60 - 61
- [7] ON A MONOTONICITY PROPERTY FOR HIGHER-ORDER DIFFERENTIAL-EQUATIONS [J]. BOLLETTINO DELLA UNIONE MATEMATICA ITALIANA, 1994, 8B (02): : 391 - 403
- [8] EXPLICIT HIGHER-ORDER SCHULZ METHODS FOR APPROXIMATION OF INVERSE MATRICES [J]. ZEITSCHRIFT FUR ANGEWANDTE MATHEMATIK UND MECHANIK, 1988, 68 (05): : T494 - T496
- [10] ON THE MONOTONICITY OF THE INTERVAL VERSIONS OF SCHULZ METHOD [J]. COMPUTING, 1987, 38 (01) : 71 - 74