Conferences in DBLP
Moulay A. Barkatou On the Reduction of Linear Systems of Difference Equations. [Citation Graph (0, 0)][DBLP ] Conf ] J. Shackle A Differential-Equations Approach to Functional Equivalence. [Citation Graph (0, 0)][DBLP ] Conf ] Richard J. Fateman Series Solutions of Algebraic and Differential Equations: A Comparison of Linear and Quadratic Algebraic Convergence. [Citation Graph (0, 0)][DBLP ] Conf ] Fritz Schwarz A Factorization Algorithm for Linear Ordinary Differential Equations. [Citation Graph (0, 0)][DBLP ] Conf ] Erich Kaltofen , T. Valente , Norika Yui An Improved Las Vegas Primality Test. [Citation Graph (0, 0)][DBLP ] Conf ] Victor Y. Pan On Some Computations with Dense Structured Matrices. [Citation Graph (0, 0)][DBLP ] Conf ] F. Ollivier Inversibility of Rational Mappings and Structural Identifiability in Automatics. [Citation Graph (0, 0)][DBLP ] Conf ] Franz Winkler Knuth-Bendix Procedure and Buchberger Algorithm: A Synthesis. [Citation Graph (0, 0)][DBLP ] Conf ] Richard J. Fateman Lookup Tables, Recurrences and Complexity. [Citation Graph (0, 0)][DBLP ] Conf ] Robert L. Grossman , Richard G. Larson Labeled Trees and the Efficient Computation of Derivations. [Citation Graph (0, 0)][DBLP ] Conf ] Chandrajit L. Bajaj , John F. Canny , R. Garrity , Joe D. Warren Factoring Rational Polynomials over the Complexes. [Citation Graph (0, 0)][DBLP ] Conf ] Trevor J. Smedley A new Modular Algorithm for Computation of Algebraic Number Polynomial Gcds. [Citation Graph (0, 0)][DBLP ] Conf ] Stanley Cabay , George Labahn A Fast, Reliable Algorithm for Calculating Padé-Hermite Forms. [Citation Graph (0, 0)][DBLP ] Conf ] Maria Emilia Alonso , Teo Mora , Mario Raimondo Computing with Algebraic Series. [Citation Graph (0, 0)][DBLP ] Conf ] John Abbott Recovery of Algebraic Numbers from Their p -adic Approximations. [Citation Graph (0, 0)][DBLP ] Conf ] John F. Canny , Erich Kaltofen , Yagati N. Lakshman Solving Systems of Nonlinear Polynomial Equations Faster. [Citation Graph (0, 0)][DBLP ] Conf ] Russell J. Bradford Some Results on the Defect. [Citation Graph (0, 0)][DBLP ] Conf ] L. Gonzalez , Henri Lombardi , Tomás Recio , Marie-Françoise Roy Sturm-Habicht Sequence. [Citation Graph (0, 0)][DBLP ] Conf ] James M. Purtilo MINION: An Environment to Organize Mathematical Problem Solving. [Citation Graph (0, 0)][DBLP ] Conf ] John Fitch Can REDUCE be Run in Parallel? [Citation Graph (0, 0)][DBLP ] Conf ] J. A. van Hulzen , Ben J. A. Hulshof , Barbara L. Gates , M. C. van Heerwaarden A Code Optimization Package for REDUCE. [Citation Graph (0, 0)][DBLP ] Conf ] T. H. Einwohner , Richard J. Fateman A MACSYMA Package for the Generation and Manipulation of Chebyshev Series. [Citation Graph (0, 0)][DBLP ] Conf ] Sanjiva Weerawarana , Paul S. Wang GENCRAY: A Portable Code Generator for Cray Fortran. [Citation Graph (0, 0)][DBLP ] Conf ] Carlo Traverso , L. Donati Experimenting the Gröbner Basis Algorithm with the A1PI System. [Citation Graph (0, 0)][DBLP ] Conf ] B. R. Miller A Program Generator for Efficient Evaluation of Fourier Series. [Citation Graph (0, 0)][DBLP ] Conf ] Manuel Bronstein Simplification of Real Elementary Functions. [Citation Graph (0, 0)][DBLP ] Conf ] Keith O. Geddes , L. Yohanes Stefanus On the Risch-Norman Integration Method and Its Implementation in MAPLE. [Citation Graph (0, 0)][DBLP ] Conf ] R. A. Ravenscroft Jr. , Edmund A. Lamagna Symbolic Summation with Generating Functions. [Citation Graph (0, 0)][DBLP ] Conf ] Bruce W. Char Automatic Reasoning about Numerical Stability of Rational Expressions. [Citation Graph (0, 0)][DBLP ] Conf ] Guoting Chen Computing the Normal Forms of Matrices Depending on Parameters. [Citation Graph (0, 0)][DBLP ] Conf ] Marc Giusti On the Castelnuovo Regularity for Curves. [Citation Graph (0, 0)][DBLP ] Conf ] B. Kutzler Careful Algebraic Translations of Geometry Theorems. [Citation Graph (0, 0)][DBLP ] Conf ] George E. Collins , Jeremy R. Johnson Quantifier Elimination and the Sign Variation Method for Real Root Isolation. [Citation Graph (0, 0)][DBLP ] Conf ] S. Rabinowitz On the Computer Solution of Symmetric Homogeneous Triangle Inequalities. [Citation Graph (0, 0)][DBLP ] Conf ] S. C. Porter Dense Representation of Affine Coordinate Rings of Curves with One Point at Infinity. [Citation Graph (0, 0)][DBLP ] Conf ] B. David Saunders , Hong R. Lee , S. Kamal Abdali A Parallel Implementation of the Cylindrical Algebraic Decomposition Algorithm. [Citation Graph (0, 0)][DBLP ] Conf ] A. Deprit , Etienne Deprit Massively Parallel Symbolic Computation. [Citation Graph (0, 0)][DBLP ] Conf ] Françoise Siebert-Roch Parallel Algorithms for Hermite Normal Form of an Integer Matrix. [Citation Graph (0, 0)][DBLP ] Conf ] Jürgen Avenhaus , Dieter Wissmann Using Rewriting Techniques to Solve the Generalized Word Problem in Polycyclic Groups. [Citation Graph (0, 0)][DBLP ] Conf ] Norbert Kuhn , Klaus Madlener A Method for Enumerating Cosets of a Group Presented by a Canonical System. [Citation Graph (0, 0)][DBLP ] Conf ] Gene Cooperman , Larry Finkelstein , Eugene M. Luks Reduction of Group Constructions to Point Stabilizers. [Citation Graph (0, 0)][DBLP ] Conf ] Mitsuhiro Okada Strong Normalizability for the Combined System of the Typed lambda Calculus and an Arbitrary Convergent Term Rewrite System. [Citation Graph (0, 0)][DBLP ] Conf ] Peter W. O'Hearn , Zbigniew Stachniak Note on Theorem Proving Strategies for Resolution Counterparts of Non-Classical Logics. [Citation Graph (0, 0)][DBLP ] Conf ] Neil V. Murray , Erik Rosenthal Employing Path Dissolution to Shorten Tableaux Proofs. [Citation Graph (0, 0)][DBLP ] Conf ] Claude Kirchner , Hélène Kirchner Constrained Equational Reasoning. [Citation Graph (0, 0)][DBLP ] Conf ] Annick Valibouze Resolvents and Symmetric Functions. [Citation Graph (0, 0)][DBLP ] Conf ] 