|
|
 |
| Результат поиска |
Поиск книг, содержащих: Characteristic set
| Книга | Страницы для поиска | | Graham R.L., Grotschel M., Lovasz L. — Handbook of combinatorics (vol. 1) | 506 | | Mishra B. — Algorithmic algebra | 20, 167—168, 174 | | Ritt J.F. — Differential algebra | 5 | | Hazewinkel M. (ed.) — Handbook of Algebra, Volume 4 | 256, 258, 278 | | Kolchin E.R. — Differential algebra and algebraic groups | 82 | | Chou S.-C. — Mechanical Geometry Theorem Proving | 27, 47, 48, 84, 95 | | Martinez A. — An Introduction to Semiclassical and Microlocal Analysis | 56, 116 | | Zariski O. — Algebraic Surfaces | 94 | | von zur Gathen J., Gerhard J. — Modern computer algebra | 593 | | Dongming Wang — Elimination Practice: Software Tools and Applications | 28, 30, 37, 66, 115 | | Maier D. — The theory of relational databases | 87 | | Wen-Tsun W. — Mathematics Mechanization | c3s3. 4, c3d4. 1 | | Mirsky L. — Transversal theory. An account of some aspects of combinatorial mathematics | 225 | | Cusick T.W. — Stream Ciphers and Number Theory | 141, 142 | | Ritt J.F. — Differential algebra | 5 | | Rota G.-C. — Studies in combinatorics (MAA Studies in Mathematics, volume 17) | 201 | | Suppes P.(ed.) — Handbook of Proof Theory.Studies in logic the foundations of mathematics.Volume 137. | 254, 296 | | Wang D. (ed.), Zheng Z. (ed.) — Differential Equations with Symbolic Computations | 344 | | McGettrick A.D. — The Definition of Programming Languages | 115 |
|
|
|
|
О проекте