The
Lib
.net
Online Library TheLib.net
» Компьютерная алгебра » Page 23
How to tangle with a nested radical
gz
Author:
Landau S.
Language:
English
Year:
1991
0
0
26.01.2024
0
0
Read online
Simplification of nested radicals (1990 preprint)
gz
Author:
Landau S.
Language:
English
0
0
26.01.2024
0
0
Read online
Simplification of nested radicals (SIAM J Comp. 1992)
djvu
Author:
Landau S.
Language:
English
0
0
26.01.2024
0
0
Read online
Radical simplification using algebraic extension fields (EUROCAL87)
djvu
Author:
Smedley.
Language:
English
0
0
26.01.2024
0
0
Read online
Lineare Quantorelimination in bewerteten Koerpern
gz
Author:
Sturm T.
Language:
English
Year:
1995
0
0
26.01.2024
0
0
Read online
Real quadratic quantifier elimination in Risa-Asir
gz
Author:
Sturm T.
Language:
English
Year:
1996
0
0
26.01.2024
0
0
Read online
Efficient decision procedures for locally finite theories II
djvu
Author:
Weispfenning.
Language:
English
Year:
1988
0
0
26.01.2024
0
0
Read online
Quantifier elimination in degree 3
djvu
Author:
Weispfenning.
Language:
English
0
0
26.01.2024
0
0
Read online
Decreasing the nesting depth of square roots
djvu
Author:
Borodin et al.
Language:
English
Year:
1985
0
0
26.01.2024
0
0
Read online
Decreasing the root nesting
djvu
Author:
Borodin et al.
Language:
English
Year:
1985
0
0
26.01.2024
0
0
Read online
1
...
19
20
21
22
23
24
25
26
27
...
50
Авторизация
Запомнить
Войти на сайт
Регистрация
Восстановить пароль
Или войти через
