BOOKS LISTS DIARY ACTIVITY REVIEWS STATS MEMBERS

Yükleniyor

Track books, build shelves, write reviews, make public lists, and follow readers whose taste you trust.

Explore

Browse books
Lists
Diary
Stats

Community

Reader activity
Public lists
Reviews
Members

Newsletter

Get weekly book recommendations.

© 2026 Cilt. All rights reserved.

Yükleniyor

Yazar

Bob F Caviness

3 cilt bulundu.

Cilt sonuçları

EUROCAL '85. European Conference on Computer Algebra. Linz, Austria, April 1-3, 1985. Proceedings: Volume 2

EUROCAL '85. European Conference on Computer Algebra. Linz, Austria, April 1-3, 1985. Proceedings: Volume 2

Bob F. Caviness · Springer

676 sayfa · 1985

Kategori yok

Quantifier elimination and cylindrical algebraic decomposition

Quantifier elimination and cylindrical algebraic decomposition

Bob F. Caviness, J. R. Johnson · Springer

431 sayfa · 1998

Decomposition method / Congresses / Algorithms / Data processing / Algebra

CiltQuantifier Elimination and Cylindrical Algebraic DecompositionBob F Caviness, Jeremy R Johnson

Quantifier Elimination and Cylindrical Algebraic Decomposition

Bob F Caviness, Jeremy R Johnson · Island Press

Sayfa sayısı yok · 1998

Kategori yok