2 402 202 книги
Поиск книг
Жанры
Книги
Категории и жанры
Лучшие книги
Библиотека
Помощь
Мобильная версия
Контакты
Как помочь?
libcats.org
Самая большая
электронная библиотека
рунета. Поиск книг и журналов
↓
Только точные совпадения
#1
Variational Methods for Crystalline Microstructure - Analysis and Computation
Georg Dolzmann
2.61 Mb
#2
Dolzmann, Sturm, Weispfenning. Real quantifier elimination in practice, survey (TR MIP-9720, 1997)(25s).ps.gz
121 Kb
#3
Dolzmann. Simplification of quantifier-free formulae. JSC 1997(T)(24s).djvu
170 Kb
#4
Dolzmann. Local quantifier elimination(9s).pdf
181 Kb
#5
Dolzmann, Sturm, Weispfenning. Real quantifier elimination in practice, survey (TR MIP-9720, 1997)(25s).p.gz
121 Kb
#6
Dolzmann. Simplification of quantifier-free formulae. JSC 1997(24s).djvu
161 Kb
#7
Dolzmann. Local quantifier elimination(9s).pdf
181 Kb
#8
Local quantifier elimination
Dolzmann.
Категория:
Papers
,
Computer algebra
,
Quantifier elimination
181 Kb
#9
Simplification of quantifier-free formulae. JSC 1997
Dolzmann.
Категория:
Papers
,
Computer algebra
,
Quantifier elimination
170 Kb
#10
Real quantifier elimination in practice, survey
Dolzmann
,
Sturm
,
Weispfenning.
Категория:
Papers
,
Computer algebra
,
Real alg. geometry
,
CAD
121 Kb
#11
Variational Methods for Crystalline Microstructure - Analysis and Computation
Georg Dolzmann
1.76 Mb
#12
Variational Methods for Crystalline Microstructure - Analysis and Computation
Georg Dolzmann
Категория:
Lecture notes
1.10 Mb
#13
Variational methods for crystalline microstructure: analysis and computation
Georg Dolzmann
1.15 Mb
#14
Variational Methods for Crystalline Microstructure - Analysis and Computation
Georg Dolzmann
1.09 Mb
