Conferences in DBLP
Victor Adamchik A Class of Logarithmic Integrals. [Citation Graph (0, 0)][DBLP ] Conf ] C. J. Rust , Gregory J. Reid Rankings of Partial Derivatives. [Citation Graph (0, 0)][DBLP ] Conf ] Joris van der Hoeven Lazy Multiplication of Formal Power Series. [Citation Graph (0, 0)][DBLP ] Conf ] Saugata Basu Uniform Quantifier Elimination and Constraint Query Processing. [Citation Graph (0, 0)][DBLP ] Conf ] Xin Gui Fang , George Havas On the Worst-case Complexity of Integer Gaussian Elimination. [Citation Graph (0, 0)][DBLP ] Conf ] Gilles Villard Further Analysis of Coppersmith's Block Wiedemann Algorithm for the Solution of Sparse Linear Systems (Extended Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Joachim von zur Gathen , Jürgen Gerhard Fast Algorithms for Taylor Shifts and Certain Difference Equations. [Citation Graph (0, 0)][DBLP ] Conf ] Volker Weispfenning Complexity and Uniformity of Elimination in Presburger Arithmetic. [Citation Graph (0, 0)][DBLP ] Conf ] Willem A. de Graaf Constructing Faithful Matrix Representations of Lie Algebras. [Citation Graph (0, 0)][DBLP ] Conf ] Andrej A. Zolotykh Tensor Product Decomposition and Other Algorithms for Representations of Large Simple Lie Algebras. [Citation Graph (0, 0)][DBLP ] Conf ] Alexander L. Chistov , Gábor Ivanyos , Marek Karpinski Polynomial Time Algorithms for Modules over Finite Dimensional Algebras. [Citation Graph (0, 0)][DBLP ] Conf ] John McKay , Richard Stauduhar Finding Relations Among the Roots of an Irreducible Polynomial. [Citation Graph (0, 0)][DBLP ] Conf ] Antoine Colin Relative Resolvents and Partition Tables in Galois Group Computations. [Citation Graph (0, 0)][DBLP ] Conf ] Frédéric Lehobey Resolvent Computations by Resultants Without Extraneous Powers. [Citation Graph (0, 0)][DBLP ] Conf ] Masoud Kavian , R. G. McLenaghan , Keith O. Geddes Application of Genetic Algorithms to the Algebraic Simplification of Tensor Polynomials. [Citation Graph (0, 0)][DBLP ] Conf ] Sebastian Egner , Markus Püschel , Thomas Beth Decomposing a Permutation into a Conjugated Tensor Product. [Citation Graph (0, 0)][DBLP ] Conf ] Arne Storjohann A Solution to the Extended GCD Problem with Applications. [Citation Graph (0, 0)][DBLP ] Conf ] Hans J. Stetter Stabilization of Polynomial Systems Solving with Groebner Bases. [Citation Graph (0, 0)][DBLP ] Conf ] Bernhard Beckermann , Stanley Cabay , George Labahn Fraction-free Computation of Catrix Padé Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Robert M. Corless , Patrizia M. Gianni , Barry M. Trager A Reordered Schur Factorization Method for Zero-dimensional Polynomial Systems with Multiple Roots. [Citation Graph (0, 0)][DBLP ] Conf ] Deepak Kapur , Tushar Saxena Extraneous Factors in the Dixon Resultant Formulation. [Citation Graph (0, 0)][DBLP ] Conf ] Jason Abate , Christian H. Bischof , Lucas Roh , Alan Carle Algorithms and Design for a Second-Order Automatic Differentiation Module. [Citation Graph (0, 0)][DBLP ] Conf ] Manuel Bronstein , Thom Mulders , Jacques-Arthur Weil On Symmetric Powers of Differential Operators. [Citation Graph (0, 0)][DBLP ] Conf ] Eckhard Pflügel An Algorithm for Computing Exponential Solutions of First Order Linear Differential Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Sergei A. Abramov , Mark van Hoeij A Method for the Integration of Solutions of Ore Equations. [Citation Graph (0, 0)][DBLP ] Conf ] Wayne Eberly , Erich Kaltofen On Randomized Lanczos Algorithms. [Citation Graph (0, 0)][DBLP ] Conf ] Erich Kaltofen , Victor Shoup Fast Polynomial Factorization Over High Algebraic Extensions of Finite Fields. [Citation Graph (0, 0)][DBLP ] Conf ] Ioannis Z. Emiris , Victor Y. Pan The Structure of Sparse Resultant Matrices. [Citation Graph (0, 0)][DBLP ] Conf ] Robert M. Corless , David J. Jeffrey , Donald E. Knuth A Sequence of Series for the Lambert W Function. [Citation Graph (0, 0)][DBLP ] Conf ] Kelly Roach Meijer G Functions Representations. [Citation Graph (0, 0)][DBLP ] Conf ] Patrizia M. Gianni , Barry M. Trager Integral Closure of Noetherian Rings. [Citation Graph (0, 0)][DBLP ] Conf ] André Galligo , Stephen M. Watt A Numerical Absolute Primality Test for Bivariate Polynomials. [Citation Graph (0, 0)][DBLP ] Conf ] Jeremy R. Johnson , Werner Krandick Polynomial Real Root Isolation using Approximate Arithmetic. [Citation Graph (0, 0)][DBLP ] Conf ] Daniel Reischert Asymptotically Fast Computation of Subresultants. [Citation Graph (0, 0)][DBLP ] Conf ] Stéphane Dalmas , Marc Gaëtano , Stephen M. Watt An OpenMath 1.0 Implementation. [Citation Graph (0, 0)][DBLP ] Conf ] Richard J. Fateman Network Servers for Symbolic Mathematics. [Citation Graph (0, 0)][DBLP ] Conf ] Michael B. Monagan , Gladys Monagan A Toolbox for Program Manipulation and Efficient Code Generation with an Application to a Problem in Computer Vision. [Citation Graph (0, 0)][DBLP ] Conf ] Mark J. Encarnación Factoring Polynomials over Algebraic Number Fields via Norms. [Citation Graph (0, 0)][DBLP ] Conf ] Luca Gemignani GCD of Polynomials and Bezout Matrices. [Citation Graph (0, 0)][DBLP ] Conf ] Mark J. Encarnación The Average Number of Modular Factors in Trager's Polynomial Factorization Algorithm. [Citation Graph (0, 0)][DBLP ] Conf ] Ziming Li , István Nemes A Modular Algorithm for Computing Greatest Common Right Divisors of Ore Polynomials. [Citation Graph (0, 0)][DBLP ] Conf ] Sergei A. Abramov , Eugene V. Zima Minimal Completely Factorable Annihilators. [Citation Graph (0, 0)][DBLP ] Conf ] Jean Della Dora , F. Richard-Jung About the Newton Algorithm for Non-Linear Ordinary Differential Equations. [Citation Graph (0, 0)][DBLP ] Conf ] Victor F. Edneral Computer Evaluation of Cyclicity in Planar Cubic System. [Citation Graph (0, 0)][DBLP ] Conf ] Serguei P. Tsarev Symbolic Manipulation of Integrodifferential Expressions and Factorization of Linear Ordinary Differential Operators over Transcendental Extensions of a Differential Field. [Citation Graph (0, 0)][DBLP ] Conf ] Doron Nussbaum Rectilinear p-Piercing Problems. [Citation Graph (0, 0)][DBLP ] Conf ] David J. Jeffrey , George Labahn , Martin von Mohrenschildt , A. D. Rich Integration of the Signum, Piecewise and Related Functions. [Citation Graph (0, 0)][DBLP ] Conf ] Qiang Li , Yike Guo , Tetsuo Ida , John Darlington The Minimised Geometric Buchberger Algorithm: An Optimal Algebraic Algorithm for Integer Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Tudor Jebelean Practical Integer Division with Karatsuba Complexity. [Citation Graph (0, 0)][DBLP ] Conf ] Masayo Fujimura , Kiyoko Nishizawa Moduli Spaces and Symmetry Loci of Polynomial Maps. [Citation Graph (0, 0)][DBLP ] Conf ] Carlos Andradas , Tomás Recio , J. Rafael Sendra A Relatively Optimal Rational Space Curve Reparametrization Algorithm Through Canonical Divisors. [Citation Graph (0, 0)][DBLP ] Conf ] Emil Volcheck On Computing the Dual of a Plane Algebraic Curve. [Citation Graph (0, 0)][DBLP ] Conf ] Peter F. Stiller Symbolic Computation of Object/Image Equations. [Citation Graph (0, 0)][DBLP ] Conf ] Horst Günter Zimmer SIMATH - a Computer Algebra System for Number Theoretic Applications. [Citation Graph (0, 0)][DBLP ] Conf ] Andreas Dolzmann , Thomas Sturm Guarded Expressions in Practice. [Citation Graph (0, 0)][DBLP ] Conf ] Bruno Buchberger , Tudor Jebelean , Franz Kriftner , Mircea Marin , Elena Tomuta , Daniela Vasaru A Survey of the Theorema Project. [Citation Graph (0, 0)][DBLP ] Conf ] John J. Cannon , Bernd Souvignier On the Computation of Conjugacy Classes in Permutation Groups. [Citation Graph (0, 0)][DBLP ] Conf ] Charles C. Sims Computing with Subgroups of Automorphism Groups of Finite Groups. [Citation Graph (0, 0)][DBLP ] Conf ] Massimo Caboara , Lorenzo Robbiano Families of Ideals in Statistics. [Citation Graph (0, 0)][DBLP ] Conf ] 