Conferences in DBLP
Michael P. Barnett Chemistry and computer algebra: past, present, future. [Citation Graph (0, 0)][DBLP ] ISSAC, 2003, pp:1-2 [Conf ] Erich Kaltofen Polynomial factorization: a success story. [Citation Graph (0, 0)][DBLP ] ISSAC, 2003, pp:3-4 [Conf ] Reinhard C. Laubenbacher A computer algebra approach to biological systems. [Citation Graph (0, 0)][DBLP ] ISSAC, 2003, pp:5-6 [Conf ] Sergei A. Abramov , Ha Q. Le , Marko Petkovsek Rational canonical forms and efficient representations of hypergeometric terms. [Citation Graph (0, 0)][DBLP ] ISSAC, 2003, pp:7-14 [Conf ] F. Aroca , J. Cano , F. Jung Power series solutions for non-linear PDE's. [Citation Graph (0, 0)][DBLP ] ISSAC, 2003, pp:15-22 [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 ] ISSAC, 2003, pp:23-29 [Conf ] James C. Beaumont , Russell J. Bradford , James H. Davenport Better simplification of elementary functions through power series. [Citation Graph (0, 0)][DBLP ] ISSAC, 2003, pp:30-36 [Conf ] Alin Bostan , Grégoire Lecerf , Éric Schost Tellegen's principle into practice. [Citation Graph (0, 0)][DBLP ] ISSAC, 2003, pp:37-44 [Conf ] Delphine Boucher , Philippe Gaillard , Felix Ulmer Fourth order linear differential equations with imprimitive group. [Citation Graph (0, 0)][DBLP ] ISSAC, 2003, pp:45-49 [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 ] ISSAC, 2003, pp:50-57 [Conf ] Thomas Cluzeau Factorization of differential systems in characteristic p . [Citation Graph (0, 0)][DBLP ] ISSAC, 2003, pp:58-65 [Conf ] Gene Cooperman , Eric Robinson Memory-based and disk-based algorithms for very high degree permutation groups. [Citation Graph (0, 0)][DBLP ] ISSAC, 2003, pp:66-73 [Conf ] Ruchira S. Datta Using computer algebra to find nash equilibria. [Citation Graph (0, 0)][DBLP ] ISSAC, 2003, pp:74-79 [Conf ] Wayne Eberly Early termination over small fields. [Citation Graph (0, 0)][DBLP ] ISSAC, 2003, pp:80-87 [Conf ] Richard J. Fateman High-level proofs of mathematical programs using automatic differentiation, simplification, and some common sense. [Citation Graph (0, 0)][DBLP ] ISSAC, 2003, pp:88-94 [Conf ] Richard J. Fateman , Raymond Toy Converting call-by-reference to call-by-value: Fortran and Lisp coexisting. [Citation Graph (0, 0)][DBLP ] ISSAC, 2003, pp:95-102 [Conf ] Anne Fredet Factorization of linear differential operators in exponential extensions. [Citation Graph (0, 0)][DBLP ] ISSAC, 2003, pp:103-110 [Conf ] Keith O. Geddes , Wei Wei Zheng Exploiting fast hardware floating point in high precision computation. [Citation Graph (0, 0)][DBLP ] ISSAC, 2003, pp:111-118 [Conf ] Jürgen Gerhard , Mark Giesbrecht , Arne Storjohann , Eugene V. Zima Shiftless decomposition and polynomial-time rational summation. [Citation Graph (0, 0)][DBLP ] ISSAC, 2003, pp:119-126 [Conf ] Pascal Giorgi , Claude-Pierre Jeannerod , Gilles Villard On the complexity of polynomial matrix computations. [Citation Graph (0, 0)][DBLP ] ISSAC, 2003, pp:135-142 [Conf ] Joris van der Hoeven Relaxed mltiplication using the middle product. [Citation Graph (0, 0)][DBLP ] ISSAC, 2003, pp:143-147 [Conf ] E. Hubert , N. Le Roux Computing power series solutions of a nonlinear PDE system. [Citation Graph (0, 0)][DBLP ] ISSAC, 2003, pp:148-155 [Conf ] Alexander Hulpke , Steve Linton Total ordering on subgroups and cosets. [Citation Graph (0, 0)][DBLP ] ISSAC, 2003, pp:156-160 [Conf ] Erich Kaltofen , John May On approximate irreducibility of polynomials in several variables. [Citation Graph (0, 0)][DBLP ] ISSAC, 2003, pp:161-168 [Conf ] Wolfram Koepf Power series, Bieberbach conjecture and the de Branges and Weinstein functions. [Citation Graph (0, 0)][DBLP ] ISSAC, 2003, pp:169-175 [Conf ] Viktor Levandovskyy , Hans Schönemann Plural: a computer algebra system for noncommutative polynomial algebras. [Citation Graph (0, 0)][DBLP ] ISSAC, 2003, pp:176-183 [Conf ] Scott McCallum On order-invariance of a binomial over a nullifying cell. [Citation Graph (0, 0)][DBLP ] ISSAC, 2003, pp:184-190 [Conf ] Elizabeth L. Mansfield , Ágnes Szántó Elimination theory for differential difference polynomials. [Citation Graph (0, 0)][DBLP ] ISSAC, 2003, pp:191-198 [Conf ] Ludovic Meunier , Bruno Salvy ESF: an automatically generated encyclopedia of special functions. [Citation Graph (0, 0)][DBLP ] ISSAC, 2003, pp:199-206 [Conf ] Manfred Minimair Factoring sparse resultants of linearly combined polynomials. [Citation Graph (0, 0)][DBLP ] ISSAC, 2003, pp:207-214 [Conf ] Gregory J. Reid , Jianliang Tang , Lihong Zhi A complete symbolic-numeric linear method for camera pose determination. [Citation Graph (0, 0)][DBLP ] ISSAC, 2003, pp:215-223 [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 ] ISSAC, 2003, pp:224-231 [Conf ] Tateaki Sasaki The subresultant and clusters of close roots. [Citation Graph (0, 0)][DBLP ] ISSAC, 2003, pp:232-239 [Conf ] Andreas Seidl , Thomas Sturm A generic projection operator for partial cylindrical algebraic decomposition. [Citation Graph (0, 0)][DBLP ] ISSAC, 2003, pp:240-247 [Conf ] Tanush Shaska Determining the automorphism group of a hyperelliptic curve. [Citation Graph (0, 0)][DBLP ] ISSAC, 2003, pp:248-254 [Conf ] Ulrich Vollmer A note on the hermite basis computation of large integer matrices. [Citation Graph (0, 0)][DBLP ] ISSAC, 2003, pp:255-257 [Conf ] Paul S. Wang , Norbert Kajler , Yi Zhou , Xiao Zou WME: towards a web for mathematics education. [Citation Graph (0, 0)][DBLP ] ISSAC, 2003, pp:258-265 [Conf ] Zhonggang Zeng A method computing multiple roots of inexact polynomials. [Citation Graph (0, 0)][DBLP ] ISSAC, 2003, pp:266-272 [Conf ]