Conferences in DBLP
Marc Giusti , Éric Schost Solving Some Overdetermined Polynomial Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Mohamed Elkadi , Bernard Mourrain A New Algorithm for the Geometric Decomposition of a Variety. [Citation Graph (0, 0)][DBLP ] Conf ] Carlos Andradas , Tomás Recio , J. Rafael Sendra Base Field Restriction Techniques for Parametric Curves. [Citation Graph (0, 0)][DBLP ] Conf ] Schuichi Moritsugu , Kazuko Kuriyama On Multiple Zeros of Systems of Algebraic Equations. [Citation Graph (0, 0)][DBLP ] Conf ] John J. Wavrik Commutativity Theorems: Examples in Search of Algorithms. [Citation Graph (0, 0)][DBLP ] Conf ] Willem A. de Graaf , J. Wisliceny Constructing Bases of Finitely Presented Lie Algebras Using Gröbner Bases in Free Algebras. [Citation Graph (0, 0)][DBLP ] Conf ] Gerard P. Brunick , Edward L. Green , Lenwood S. Heath , Craig A. Struble Efficient Construction of Drinfel'd Doubles. [Citation Graph (0, 0)][DBLP ] Conf ] Victor Shoup Efficient Computation of Minimal Polynomials in Algebraic Extensions of Finite Fields. [Citation Graph (0, 0)][DBLP ] Conf ] Erich Kaltofen , Michael B. Monagan On the Genericity of the Modular Polynomial GCD Algorithm. [Citation Graph (0, 0)][DBLP ] Conf ] Zeljko Zilic , Katarzyna Radecka On Feasible Multivariate Polynomial Interpolations over Arbitrary Fields. [Citation Graph (0, 0)][DBLP ] Conf ] V. Kislenkov , V. Mitrofanov , Eugene V. Zima How Fast Can We Compute Products? [Citation Graph (0, 0)][DBLP ] Conf ] Joachim von zur Gathen , Michael Nöcker Computing Special Powers in Finite Fields (extended abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Igor Pak , Sergey Bratus On Sampling Generating Sets of Finite Groups and Product Replacement Algorithm (extended abstract). [Citation Graph (0, 0)][DBLP ] Conf ] John Shackell Star Products and the Representation of Asymptotic Growth. [Citation Graph (0, 0)][DBLP ] Conf ] C. J. Rust , Gregory J. Reid , Allan D. Wittkopf Existence and Uniqueness Theorems for Formal Power Series Solutions of Analytic Differential Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Y. O. Macutan Formal Solutions of Scalar Singularly-Perturbed Linear Differential Equations. [Citation Graph (0, 0)][DBLP ] Conf ] Claude-Pierre Jeannerod , Eckhard Pflügel A Reduction Algorithm for Matrices Depending on a Parameter. [Citation Graph (0, 0)][DBLP ] Conf ] Volker Weispfenning Mixed Real-Integer Linear Quantifier Elimination. [Citation Graph (0, 0)][DBLP ] Conf ] Christopher W. Brown Guaranteed Solution Formula Construction. [Citation Graph (0, 0)][DBLP ] Conf ] Scott McCallum On Projection in CAD-Based Quantifier Elimination with Equational Constraint. [Citation Graph (0, 0)][DBLP ] Conf ] Andreas Dolzmann , Thomas Sturm P-adic Constraint Solving. [Citation Graph (0, 0)][DBLP ] Conf ] Serguei P. Tsarev On Factorization of Nonlinear Ordinary Differential Equations. [Citation Graph (0, 0)][DBLP ] Conf ] Guoting Chen , Jean Della Dora Rational Normal Form for Dynamical Systems by Carleman Linearization. [Citation Graph (0, 0)][DBLP ] Conf ] Manuel Bronstein , Anne Fredet Solving Linear Ordinary Differential Equations over C(x, eint f(x) dx [Citation Graph (0, 0)][DBLP ] Conf ] Thom Mulders , Arne Storjohann Diophantine Linear System Solving. [Citation Graph (0, 0)][DBLP ] Conf ] Bernhard Beckermann , George Labahn , Gilles Villard Shifted Normal Forms of Polynomial Matrices. [Citation Graph (0, 0)][DBLP ] Conf ] John Abbott , Manuel Bronstein , Thom Mulders Fast Deterministic Computation of Determinants of Dense Matrices. [Citation Graph (0, 0)][DBLP ] Conf ] Markus A. Hitz , Erich Kaltofen , Yagati N. Lakshman Efficient Algorithms for Computing the Nearest Polynomial with a Real Root and Related Problems. [Citation Graph (0, 0)][DBLP ] Conf ] Robert M. Corless , Mark Giesbrecht , David J. Jeffrey Approximate polynomial decomposition. [Citation Graph (0, 0)][DBLP ] Conf ] Dominique Villard , Michael B. Monagan ADrien: An Implementation of Automatic Differentiation in Maple. [Citation Graph (0, 0)][DBLP ] Conf ] Nicolas J. Doye Automated Coercion for Axiom. [Citation Graph (0, 0)][DBLP ] Conf ] Laurent Bernardin , Bruce W. Char , Erich Kaltofen Symbolic Computation in Java: An Appraisement. [Citation Graph (0, 0)][DBLP ] Conf ] Laureano Lambán , Vico Pascual , Julio Rubio Specifying Implementations. [Citation Graph (0, 0)][DBLP ] Conf ] A. A. Adams , Hanne Gottliebsen , Steve Linton , Ursula Martin Automated Theorem Proving in Support of Computer Algebra: Symbolic Definite Integration as a Case Study. [Citation Graph (0, 0)][DBLP ] Conf ] Delphine Boucher About the Polynomial Solutions of Homogeneous Linear Differential Equations Depending on Parameters. [Citation Graph (0, 0)][DBLP ] Conf ] Sergei A. Abramov , Mark van Hoeij Desingularization of Linear Difference Operators with Polynomial Coefficients. [Citation Graph (0, 0)][DBLP ] Conf ] Moulay A. Barkatou Rational Solutions of Matrix Difference Equations: The Problem of Equivalence and Factorization. [Citation Graph (0, 0)][DBLP ] Conf ] Olivier Arsac , Stéphane Dalmas , Marc Gaëtano Design of a Customizable Component to Display and Edit Formulas. [Citation Graph (0, 0)][DBLP ] Conf ] Paul S. Wang Design and Protocol for Internet Accessible Mathematical Computation. [Citation Graph (0, 0)][DBLP ] Conf ] Ha Q. Le , Chris Howlett Client-Server Communication Standards for Mathematical Computation. [Citation Graph (0, 0)][DBLP ] Conf ] 