Dynamically Typed Computations for Order-sorted Equational Presentations
- 作者C. Hintermeier; C. Kirchner; H. Kirchner
- 卷第25卷
- 期第4期
- 印刷ISSN0747-7171
- 电子ISSN1095-855X
- 文件大小1210.29KB
- 发表时间1998
- DOI10.1006/jsco.1997.0187
- 页码455-526
Descent for differential modules and skew fieldsMark van Hoeij; Marius van der Put · Journal of Algebra · 2006
Factoring Polynomials and the Knapsack ProblemMark van Hoeij · 2002
Computing Riemann matrices of algebraic curvesBernard Deconinck; Mark van Hoeij · 2001
Generating subfieldsvan Hoeij, Mark; Klüners, Jürgen; Novocin, Andrew · Journal of Symbolic Computation · 2013
Solving linear recurrence equationsCha, Yongjae; van Hoeij, Mark; Levy, Giles · ACM SIGSAM Bulletin · 2011
Computing Riemann Theta FunctionsBernard Deconinck, Matthias Heil, Alexander Bobenko, Mark van Hoeij and Marcus Schmies · Mathematics of Computation · 2004
Computing Riemann theta functionsDeconinck, Bernard; Heil, Matthias; Bobenko, Alexander; van Hoeij, Mark; Schmies, Marcus · Mathematics of Computation · 2003
Factoring univariate polynomials over the rationalsNovocin, Andy; van Hoeij, Mark · ACM SIGSAM Bulletin · 2009