Result 1 to 20 of 45 total
Relaxed algorithms for $p$-adic numbers. (English)
J. Théor. Nombres Bordx. 23, No. 3, 541-577 (2011).
1
Homotopy techniques for multiplication modulo triangular sets. (English)
J. Symb. Comput. 46, No. 12, 1378-1402 (2011).
2
Meta-expansion of transseries. (English)
J. Symb. Comput. 46, No. 4, 339-359 (2011).
3
Mathematical software ‒ ICMS 2010. Third international congress on mathematical software, Kobe, Japan, September 13‒17, 2010. Proceedings. (English)
Lecture Notes in Computer Science 6327. Berlin: Springer (ISBN 978-3-642-15581-9/pbk). xvi, 368~p. EUR~57.78 (2010).
4
Newton’s method and FFT trading. (English)
J. Symb. Comput. 45, No. 8, 857-878 (2010).
5
Characteristic set method for differential-difference polynomial systems. (English)
J. Symb. Comput. 44, No. 9, 1137-1163 (2009).
6
On asymptotic extrapolation. (English)
J. Symb. Comput. 44, No. 8, 1000-1016 (2009).
7
On the bit-complexity of sparse polynomial multiplication. (English)
Comput. Res. Repos. 2009, Article No. 0901.4323 (2009).
8
Homotopy methods for multiplication modulo triangular sets. (English)
Comput. Res. Repos. 2009, Article No. 0901.3657 (2009).
9
New algorithms for relaxed multiplication. (English)
J. Symb. Comput. 42, No. 8, 792-802 (2007).
10
Generalized power series solutions to linear partial differential equations. (English)
J. Symb. Comput. 42, No. 8, 771-791 (2007).
11
On effective analytic continuation. (English)
Math. Comput. Sci. 1, No. 1, 111-175 (2007).
12
Efficient accelero-summation of holonomic functions. (English)
J. Symb. Comput. 42, No. 4, 389-428 (2007).
13
Around the numeric-symbolic computation of differential Galois groups. (English)
J. Symb. Comput. 42, No. 1-2, 236-264 (2007).
14
On effective analytic continuation (English)
Mathematics in Computer Science 1, No. 1, 111-175 (2007).
15
Complexity bounds for zero-test algorithms. (English)
J. Symb. Comput. 41, No. 9, 1004-1020 (2006).
16
Counterexamples to witness conjectures. (English)
J. Symb. Comput. 41, No. 9, 959-963 (2006).
17
Transseries and real differential algebra. (English)
Lecture Notes in Mathematics 1888. Berlin: Springer (ISBN 3-540-35590-1/pbk). xii, 255~p. EUR~42.75; SFR~73.00 (2006).
18
Computations with effective real numbers. (English)
Theor. Comput. Sci. 351, No. 1, 52-60 (2006).
19
GNU texmacs (English)
Challenges in Symbolic Computation Software (2006).
20
Result 1 to 20 of 45 total
Start
Contact
Print
General Help
