An algorithm for computing an integral basis in an algebraic
function field. J. Symb. Comput., 18, 353-363 (1994). Recent additions are marked in yellow.
An algorithm for computing an integral basis in an algebraic
function field. J. Symb. Comput., 18, 353-363 (1994).
Computing parametrizations of rational algebraic curves.
ISSAC '94 Proceedings, 187-190 (1994).
An algorithm for computing the Weierstrass normal form.
ISSAC '95 Proceedings, 90-95 (1995).
See also the same problem for the hyperelliptic case.
Rational Parametrizations of Algebraic Curves using a Canonical Divisor.
J. Symb. Comput., 23, 209-227 (1997).
Computing Riemann matrices of algebraic curves.
Joint work with Bernard Deconinck.
PhysicaD, 152, 28-46 (2001).
Computing Riemann Theta Functions.
Bernard Deconinck, Matthias Heil, Alexander Bobenko, Mark van Hoeij and Markus Schmies.
Math. Comp. 73, 1417-1442 (2004).
Solving conics over function fields. Joint work
with John Cremona.
Journal de Theorie des Nombres de Bordeaux, 18, p. 595-606 (2006).
Rational Solutions of Linear Difference Equations.
ISSAC '98 Proceedings, 120-123 (1998).
Finite Singularities and Hypergeometric Solutions of Linear Recurrence
Equations.
J. Pure Appl. Algebra, 139, 109-131 (1999).
Desingularization of
linear difference operators with polynomial
coefficients. Joint work with
S.A. Abramov.
ISSAC '99 Proceedings, 269-275 (1999) dvi file.
Related results can be found in the next paper:
Set of Poles of Solutions of Linear Difference Equations with Polynomial Coefficients.
Joint work with S.A. Abramov.
Computational Mathematics and Mathematical Physics, Vol. 43,
No. 1, p. 57--62 (2003) dvi file.
A conjecture in the problem of rational
definite summation. See also the preliminary
SumRat implementation. (2002).
Computing Hypergeometric
Solutions of Linear Recurrence Equations. Joint work with
Thomas Cluzeau.
AAECC, Vol. 17, 83-115 (2006).
Apparent Singularities
of Linear Difference Equations with Polynomial Coefficients. Joint work
with S.A. Abramov and M. A. Barkatou.
AAECC, Vol. 17, 117-133 (2006).
Slides on
"Factorization and hypergeometric solutions of linear recurrence systems"
at Manuel Bronstein's conference (July 2006).
Subanalytic Solutions of Linear Difference Equations and Multidimensional Hypergeometric Sequences,
joint work with S. Abramov, M. Barkatou, and M. Petkovsek.
Journal of Symbolic Computation 46, p. 1205-1228, (2011).
Liouvillian Solutions of Irreducible Linear Difference Equations, ISSAC'2009 Proceedings, p. 87-93,
joint work with YongJae Cha.
Liouvillian Solutions of Irreducible Second Order Linear Difference Equations,
joint work with Giles Levy, ISSAC'2010 Proceedings,
p. 297-302. More can be be found in the Ph.D thesis of Giles Levy.
Here are the slides of the talk.
Solving Recurrence Relations using Local Invariants,
joint work with YongJae Cha and Giles Levy,
ISSAC'2010 Proceedings, p. 303-310. More can be found in the Ph.D thesis of Yongjae Cha.
Abstract for: Software demonstration at ISSAC'2010,
presented by Giles Levy pdf files.
Formal Solutions and Factorization of Differential Operators
with Power Series Coefficients.
J. Symb. Comput., 24, 1-30 (1997).
Factorization of Differential Operators with Rational Functions Coefficients.
J. Symb. Comput., 24, 537-561 (1997).
An algorithm for computing invariants of differential Galois groups.
Joint work with
J.A. Weil.
J. Pure Appl. Algebra, 117&118, 353-379 (1997).
Rational Solutions of the Mixed Differential Equation
and its Application to Factorization of Differential Operators.
ISSAC '96 Proceedings, 219-225 (1996).
Note: the 4 papers above are also included in
my Ph.D thesis
postscript file,
pdf file
(1996, written in English with a short
summary in Dutch). Here is the list of errata.
It is a custom in the Netherlands to include a
number of statements, ``stellingen'', with
the thesis (some of these are in English, some in Dutch).
Here is my masters thesis (1992,
an integral basis algorithm, written in Dutch).
A method for the Integration of Solutions of Ore Equations.
Joint work with S.A. Abramov.
ISSAC '97 Proceedings, 172-175 (1997).
Note: there is now a newer version
of this paper which has appeared as
Integration of Solutions of Linear Functional Equations
in: Integral Transforms and Special Functions, 1999, Vol.8, No 1-2, pp. 3-12.
Liouvillian solutions of linear differential equations of order three and higher.
Joint work with Jean-Francois Ragot,
Felix Ulmer and
Jacques-Arthur Weil. J. Symb. Comput., 28, 589-609 (1999).
The Minimum Polynomial of an Algebraic Solution of Abel's problem.
Preprint FSU00-02.
Decomposing a 4'th order linear differential equation as a symmetric
product. Banach Center Publications, 58, 89-96, (2002).
abstract.
Closed Form Solutions of Linear Odes having Elliptic Function Coefficients.
Joint work with Reinhold Burger and
George Labahn.
ISSAC'04 Proceedings, 58-64, (2004).
Descent for differential modules and skew fields. Joint
work with Marius van der Put.
Journal of Algebra, 296, pp. 18-55 (2006).
A Modular Algorithm to Compute the Exponential Solutions
of a Linear Differential Operator. Joint
work with Thomas Cluzeau.
J. Symb. Comput., 38, 1043-1076 (2004).
dvi file.
Solving Second Order Linear Differential Equations with Klein's Theorem.
Joint work with Jacques-Arthur Weil.
ISSAC'05 Proceedings, 340-347, (2005).
draft implementation,
slides of the talk.
The Fourth-Order Type
Linear Ordinary Differential Equations. Joint work with W. N. Everitt
and D. J. Smith. Preprint (not submitted for publication) (2006).
Solving Third Order Linear Differential
Equations in Terms of Second Order Equations,
ISSAC'07 Proceedings, 355-360, (2007).
slides of the ISSAC'2007 talk.
A longer version of this talk was
presented at the DART workshop
(DART slides).
Closed Form Solutions for Linear Differential and
Difference Equations, Project Description for NSF grant 0728853 (Sept. 2007 - 2010).
Solving Linear Differential Equations in Terms of Special Functions, Project Description for NSF grant 1017880 (Sept. 2010 - 2013).
Solving Differential Equations in Terms of Bessel Functions,
Joint work with R. Debeerst and W. Koepf. ISSAC'08 Proceedings, 39-46, (2008).
Finding all Bessel type solutions for Linear
Differential Equations with Rational Function Coefficients,
joint with Quan Yuan, ISSAC'2010 Proceedings, p 37-44, (2010).
2-descent for Second Order Linear Differential Equations,
joint work with Tingting Fang,
ISSAC'2011 Proceedings, p. 107-114 (2011).
See also: extended version.
Explicit formula for the generating series of diagonal 3D rook paths,
Alin Bostan, Frederic Chyzak, Mark van Hoeij, Lucien Pech.
Seminaire Lotharingien de Combinatoire, B66a (2011).
The Ising model: from elliptic curves to modular forms and Calabi-Yau
equations A. Bostan, S. Boukraa, S. Hassani, M. van Hoeij,
J.-M. Maillard, J-A. Weil and N. Zenine.
J. Phys. A: Math. Theor. 44 045204 (2011).
Diagonal Ising susceptibility: elliptic integrals, modular forms
and Calabi-Yau equations M. Assis, S. Boukraa, S. Hassani, M. van Hoeij, J-M. Maillard, B.M. McCoy.
J. Phys. A: Math. Theor. 45 075205 (2012).
On Hirzebruch invariants of elliptic fibrations,
joint with James Fullwood. Preprint (2011).
Factoring polynomials and the knapsack problem.
Journal of Number Theory, 95, 167-189, (2002).
ps file.
Additional information can be found in the source code of the
implementation
and in this summary
(proceedings of CaLC'2001,
Lect. Notes in Comp. Science, 2146, p. 45-50).
Some sample inputs, many of which could
not be factored before, e.g. M12.
Towards Factoring Bivariate Approximate Polynomials.
Rob Corless, Mark Giesbrecht, Mark van Hoeij,
Ilias Kotsireas and Stephen Watt,
ISSAC '01 proceedings, 85-92 (2001)
ps file.
A Modular GCD algorithm over Number Fields presented with Multiple Extensions.
Joint work with Michael Monagan.
ISSAC'02 proceedings, 109-116, (2002).
Algorithms for Polynomial GCD Computation over Algebraic Function Fields. Some
comments.
Joint work with Michael Monagan,
ISSAC'04 proceedings, 297-304, (2004).
ps file.
Factoring polynomials over global fields.
Joint work with K. Belabas, J. Klueners, and A. Steel. Preprint
arXiv:math/0409510v1,
Journal de Theorie des Nombres de Bordeaux, 21, 15-39, (2009).
Generating Subfields,
Joint work with J. Klueners. Abstract of a talk at
Oberwolfach,
July 22, 2005.
Approximate Bivariate Factorization, a Geometric Viewpoint,
Joint work with A. Galligo,
SNC'2007 Proceedings, p. 1-10 (2007).
Complexity of factoring polynomials with rational number coefficients,
slides at a plenary talk at Journees Arithmetique, July 2-6,
Edinburgh. For more, see this preprint,
the poster at ISSAC'2007,
the poster at ECCAD'2008,
and the Ph.D thesis of Andrew Novocin.
Gradual sub-lattice reduction and a new complexity
for factoring polynomials, joint with Andrew Novocin,
LATIN 2010, p. 539-553 (2010).
Appendix in the paper: The Complete Generating Function for Gessel Walks is Algebraic
by Alin Bostan and Manuel Kauers, Proc. Amer. Math. Soc. 138 (2010), p. 3063-3078.
Isomorphisms of Algebraic Number Fields, joint work with Vivek Pal, submitted.
Generating Subfields,
joint work with Juergen Klueners and Andrew Novocin,
ISSAC'2011 Proceedings, p. 345-352 (2011). Slides of the talk
and a Maple example.
See also: extended version.
Practical Polynomial Factoring in Polynomial Time,
joint work with William Hart and Andrew Novocin,
ISSAC'2011 Proceedings, p. 163-170 (2011).
Andy Novocin, Factoring Univariate Polynomials over the Rationals (April 2008)
Giles Levy,
Solutions of Second Order Recurrence Relations (December 2009)
Yongjae Cha,
Closed Form Solutions of Linear Difference Equations (December 2010)