Conferences in DBLP
Michael P. Barnett Chemistry and computer algebra: past, present, future. [Citation Graph (0, 0)][DBLP ] Conf ] Erich Kaltofen Polynomial factorization: a success story. [Citation Graph (0, 0)][DBLP ] Conf ] Reinhard C. Laubenbacher A computer algebra approach to biological systems. [Citation Graph (0, 0)][DBLP ] Conf ] Sergei A. Abramov , Ha Q. Le , Marko Petkovsek Rational canonical forms and efficient representations of hypergeometric terms. [Citation Graph (0, 0)][DBLP ] Conf ] F. Aroca , J. Cano , F. Jung Power series solutions for non-linear PDE's. [Citation Graph (0, 0)][DBLP ] Conf ] Abdolali Basiri , Jean-Charles Faugère Changing the ordering of Gröbner bases with LLL: case of two variables. [Citation Graph (0, 0)][DBLP ] Conf ] James C. Beaumont , Russell J. Bradford , James H. Davenport Better simplification of elementary functions through power series. [Citation Graph (0, 0)][DBLP ] Conf ] Alin Bostan , Grégoire Lecerf , Éric Schost Tellegen's principle into practice. [Citation Graph (0, 0)][DBLP ] Conf ] Delphine Boucher , Philippe Gaillard , Felix Ulmer Fourth order linear differential equations with imprimitive group. [Citation Graph (0, 0)][DBLP ] Conf ] Frederick W. Chapman An elementary algorithm for the automatic derivation and proof of tensor product identities via computer algebra. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas Cluzeau Factorization of differential systems in characteristic p . [Citation Graph (0, 0)][DBLP ] Conf ] Gene Cooperman , Eric Robinson Memory-based and disk-based algorithms for very high degree permutation groups. [Citation Graph (0, 0)][DBLP ] Conf ] Ruchira S. Datta Using computer algebra to find nash equilibria. [Citation Graph (0, 0)][DBLP ] Conf ] Wayne Eberly Early termination over small fields. [Citation Graph (0, 0)][DBLP ] Conf ] Richard J. Fateman High-level proofs of mathematical programs using automatic differentiation, simplification, and some common sense. [Citation Graph (0, 0)][DBLP ] Conf ] Richard J. Fateman , Raymond Toy Converting call-by-reference to call-by-value: Fortran and Lisp coexisting. [Citation Graph (0, 0)][DBLP ] Conf ] Anne Fredet Factorization of linear differential operators in exponential extensions. [Citation Graph (0, 0)][DBLP ] Conf ] Keith O. Geddes , Wei Wei Zheng Exploiting fast hardware floating point in high precision computation. [Citation Graph (0, 0)][DBLP ] Conf ] Jürgen Gerhard , Mark Giesbrecht , Arne Storjohann , Eugene V. Zima Shiftless decomposition and polynomial-time rational summation. [Citation Graph (0, 0)][DBLP ] Conf ] Pascal Giorgi , Claude-Pierre Jeannerod , Gilles Villard On the complexity of polynomial matrix computations. [Citation Graph (0, 0)][DBLP ] Conf ] Joris van der Hoeven Relaxed mltiplication using the middle product. [Citation Graph (0, 0)][DBLP ] Conf ] E. Hubert , N. Le Roux Computing power series solutions of a nonlinear PDE system. [Citation Graph (0, 0)][DBLP ] Conf ] Alexander Hulpke , Steve Linton Total ordering on subgroups and cosets. [Citation Graph (0, 0)][DBLP ] Conf ] Erich Kaltofen , John May On approximate irreducibility of polynomials in several variables. [Citation Graph (0, 0)][DBLP ] Conf ] Wolfram Koepf Power series, Bieberbach conjecture and the de Branges and Weinstein functions. [Citation Graph (0, 0)][DBLP ] Conf ] Viktor Levandovskyy , Hans Schönemann Plural: a computer algebra system for noncommutative polynomial algebras. [Citation Graph (0, 0)][DBLP ] Conf ] Scott McCallum On order-invariance of a binomial over a nullifying cell. [Citation Graph (0, 0)][DBLP ] Conf ] Elizabeth L. Mansfield , Ágnes Szántó Elimination theory for differential difference polynomials. [Citation Graph (0, 0)][DBLP ] Conf ] Ludovic Meunier , Bruno Salvy ESF: an automatically generated encyclopedia of special functions. [Citation Graph (0, 0)][DBLP ] Conf ] Manfred Minimair Factoring sparse resultants of linearly combined polynomials. [Citation Graph (0, 0)][DBLP ] Conf ] Gregory J. Reid , Jianliang Tang , Lihong Zhi A complete symbolic-numeric linear method for camera pose determination. [Citation Graph (0, 0)][DBLP ] Conf ] Mohab Safey El Din , Éric Schost Polar varieties and computation of one point in each connected component of a smooth real algebraic set. [Citation Graph (0, 0)][DBLP ] Conf ] Tateaki Sasaki The subresultant and clusters of close roots. [Citation Graph (0, 0)][DBLP ] Conf ] Andreas Seidl , Thomas Sturm A generic projection operator for partial cylindrical algebraic decomposition. [Citation Graph (0, 0)][DBLP ] Conf ] Tanush Shaska Determining the automorphism group of a hyperelliptic curve. [Citation Graph (0, 0)][DBLP ] Conf ] Ulrich Vollmer A note on the hermite basis computation of large integer matrices. [Citation Graph (0, 0)][DBLP ] Conf ] Paul S. Wang , Norbert Kajler , Yi Zhou , Xiao Zou WME: towards a web for mathematics education. [Citation Graph (0, 0)][DBLP ] Conf ] Zhonggang Zeng A method computing multiple roots of inexact polynomials. [Citation Graph (0, 0)][DBLP ] Conf ] 