Rapid computation of Bernoulli and related numbers
暂无分享,去创建一个
[1] Keith O. Geddes,et al. Maple V Programming Guide , 1996 .
[2] Rüdiger Loos,et al. Applying Linear Quantifier Elimination , 1993, Comput. J..
[3] Kevin G. Hare,et al. Multisectioning, Rational Poly-Exponential Functions and Parallel Computation , 1999 .
[4] Adriano M. Garsia,et al. Group actions on Stanley-Reisner rings and invariants of permutation groups☆ , 1984 .
[5] A. J. Strecok,et al. On the calculation of the inverse of the error function , 1968 .
[6] Laurent Bernardin,et al. A review of symbolic solvers , 1996, SIGS.
[7] D. H. Lehmer. Lacunary Recurrence Formulas for The Numbers of Bernoulli and Euler , 1935 .
[8] Volker Weispfenning,et al. Quantifier Elimination for Real Algebra — the Quadratic Case and Beyond , 1997, Applicable Algebra in Engineering, Communication and Computing.
[9] L. Dries. A generalization of the Tarski-Seidenberg theorem, and some nondefinability results , 1986 .
[10] Volker Weispfenning,et al. Mixed real-integer linear quantifier elimination , 1999, ISSAC '99.
[11] Daniel Richardson. Local Theories and Cylindrical Decomposition , 1998 .
[12] Richard J. Fateman,et al. Symbolic Mathematics System Evaluators , 2002 .
[13] Carl B. Boyer,et al. A History of Mathematics. , 1993 .
[14] A. Tarski. A Decision Method for Elementary Algebra and Geometry , 2023 .
[15] Willy Hereman,et al. Review of Symbolic Software for the Computation of Lie Symmetries of Differential Equations , 1994 .
[16] Volker Weispfenning,et al. Gröbner bases for polynomial ideals over commutative regular rings , 1987, EUROCAL.
[17] Angus Macintyre,et al. On the decidability of the real exponential field , 1996 .
[18] L. Dries. Remarks on Tarski's problem concerning (R, +, *, exp) , 1984 .