Conferences in DBLP
Ian G. Lisle , Gregory J. Reid , A. Boulton Algorithmic Determination of Structure of Infinite Lie Pseudogroups of Symmetries of PDEs. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas Wolf Programs for Applying Symmetries. [Citation Graph (0, 0)][DBLP ] Conf ] Fritz Schwarz Symmetries of 2nd rd [Citation Graph (0, 0)][DBLP ] Conf ] M. J. Doffou , Robert L. Grossman The Symbolic Computation of Differential Invariants of Polynomial Vector Field Systems Using Trees. [Citation Graph (0, 0)][DBLP ] Conf ] Ron Avitzur , Olaf Bachmann , Norbert Kajler From Honest to Intelligent Plotting. [Citation Graph (0, 0)][DBLP ] Conf ] Eugene V. Zima Simplification and Optimization Transformations of Chains of Recurrences. [Citation Graph (0, 0)][DBLP ] Conf ] Trân Quoc Nam A Hybrid Symbolic-Numerical Method for Tracing Surface-to-Surface Intersections. [Citation Graph (0, 0)][DBLP ] Conf ] Shankar Krishnan , Dinesh Manocha Numeric-Symbolic Algorithms for Evaluating One-Dimensional Algebraic Sets. [Citation Graph (0, 0)][DBLP ] Conf ] Mario Daberkow , Michael Pohst Computations with Relative Extensions of Number Fields with an Application to the Construction of Hilbert Class Fields. [Citation Graph (0, 0)][DBLP ] Conf ] Peter A. Broadbery , T. Gómez-Díaz , Stephen M. Watt On the Implementation of Dynamic Evaluation. [Citation Graph (0, 0)][DBLP ] Conf ] Kazuhiro Yokoyama , Ziming Li , István Nemes Finding Roots of Unity Among Quotients of the Roots of an Integral Polynomial. [Citation Graph (0, 0)][DBLP ] Conf ] Mark van Hoeij An Algorithm for Computing the Weierstrass Normal Form. [Citation Graph (0, 0)][DBLP ] Conf ] Dima Grigoriev , Yagati N. Lakshman Algorithms for Computing Sparse Shifts for Multivariate Polynomials. [Citation Graph (0, 0)][DBLP ] Conf ] Daniel Richardson A Simplified Method of Recognizing Zero Among Elementary Constants. [Citation Graph (0, 0)][DBLP ] Conf ] Mark Giesbrecht Fast Computation of the Smith Normal Form of an Integer Matrix. [Citation Graph (0, 0)][DBLP ] Conf ] Arne Storjohann , George Labahn Preconditioning of Rectangular Polynomial Matrices for Efficient Hermite Normal Form Computation. [Citation Graph (0, 0)][DBLP ] Conf ] Gene Cooperman STAR/MPI: Binding a Parallel Library to Interactive Symbolic Algebra Systems. [Citation Graph (0, 0)][DBLP ] Conf ] T. H. Einwohner , Richard J. Fateman Searching Techniques for Integral Tables. [Citation Graph (0, 0)][DBLP ] Conf ] Neil Soiffer Mathematical Typesetting in Mathematica . [Citation Graph (0, 0)][DBLP ] Conf ] Clemens Ballarin , Karsten Homann , Jacques Calmet Theorems and Algorithms: An Interface between Isabelle and Maple. [Citation Graph (0, 0)][DBLP ] Conf ] François Boulier , Daniel Lazard , François Ollivier , Michel Petitot Representation for the Radical of a Finitely Generated Differential Ideal. [Citation Graph (0, 0)][DBLP ] Conf ] Maria Grazia Marinari , Teo Mora , H. Michael Möller Gröbner Duality and Multiplicities in Polynomial System Solving. [Citation Graph (0, 0)][DBLP ] Conf ] Laureano González-Vega , Guadalupe Trujillo Implicitization of Parametric Curves and Surfaces by Using Symmetric Functions. [Citation Graph (0, 0)][DBLP ] Conf ] Deepak Kapur , Tushar Saxena Comparison of Various Multivariate Resultant Formulations. [Citation Graph (0, 0)][DBLP ] Conf ] Robert M. Corless , Patrizia M. Gianni , Barry M. Trager , Stephen M. Watt The Singular Value Decomposition for Polynomial Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Klaus-Dieter Semmler , Mika Seppälä Numerical Uniformization of Hyperelliptic Curves. [Citation Graph (0, 0)][DBLP ] Conf ] Claudine Chaffy The Analytic Continuation Process: From Computer Algebra to Numerical Analysis. [Citation Graph (0, 0)][DBLP ] Conf ] M. P. Quéré , Gilles Villard An Algorithm for the Reduction of Linear DAE. [Citation Graph (0, 0)][DBLP ] Conf ] Angel Díaz , Erich Kaltofen On Computing Greatest Common Divisors with Polynomials Given by Black Boxes for Their Evaluations. [Citation Graph (0, 0)][DBLP ] Conf ] Hsin-Chao Liao , Richard J. Fateman Evaluation of the Heuristic Polynomial GCD. [Citation Graph (0, 0)][DBLP ] Conf ] Bohdan S. Majewski , George Havas A Solution to the Extended GCD Problem. [Citation Graph (0, 0)][DBLP ] Conf ] Jonathan Sorenson An Analysis of Lehmer's Euclidean GCD Algorithm. [Citation Graph (0, 0)][DBLP ] Conf ] Gene Cooperman , Larry Finkelstein , Michael Tselman Computing with Matrix Groups Using Permutation Representations. [Citation Graph (0, 0)][DBLP ] Conf ] Ferenc Rakoczi Fast Recognition of the Nilpotency of Permutation Groups. [Citation Graph (0, 0)][DBLP ] Conf ] Prabhav Marje A Nearly Linear Algorithm for Sylow Subgroups in Small-Base Groups. [Citation Graph (0, 0)][DBLP ] Conf ] Torsten Minkwitz On the Computation of Ordinary Irreducible Representations of Finite Groups. [Citation Graph (0, 0)][DBLP ] Conf ] Sergei A. Abramov Rational Solutions of linear Difference and q -Difference Equations with Polynomial Coefficients. [Citation Graph (0, 0)][DBLP ] Conf ] Sergei A. Abramov , Manuel Bronstein , Marko Petkovsek On Polynomial Solutions of Linear Operator Equations. [Citation Graph (0, 0)][DBLP ] Conf ] Moulay A. Barkatou A Rational Version of Moser's Algorithm. [Citation Graph (0, 0)][DBLP ] Conf ] Sergei A. Abramov Indefinite Sums of Rational Functions. [Citation Graph (0, 0)][DBLP ] Conf ] 