Conferences in DBLP
Giorgio Ausiello , Alberto Marchetti-Spaccamela , Umberto Nanni Dynamic Maintenance of Paths and Path Expressions on Graphs. [Citation Graph (0, 0)][DBLP ] Conf ] David R. Musser , Alexander A. Stepanov Generic Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Francis Sergeraert From a Noncomputability Result to new interesting Definitions and Computability Results. [Citation Graph (0, 0)][DBLP ] Conf ] Naveen Sharma , Paul S. Wang Symbolic Derivation and Automatic Generation of Parallel Routines for Finite Element Analysis. [Citation Graph (0, 0)][DBLP ] Conf ] Michael F. Singer Liouvillian First Integrals of Differential Equations. [Citation Graph (0, 0)][DBLP ] Conf ] Manuel Bronstein Fast Reduction of the Risch Differential Equation. [Citation Graph (0, 0)][DBLP ] Conf ] Claudine Chaffy-Camus An Application of Reduce to the Approximation of F(X, Y). [Citation Graph (0, 0)][DBLP ] Conf ] F. Vinette , J. Cízek The Use of Symbolic Computation in Solving Some Non-Relativistic Quantum Mechanical Problems. [Citation Graph (0, 0)][DBLP ] Conf ] S. Kamal Abdali , David S. Wise Experiments with Quadtree Representation of Matrices. [Citation Graph (0, 0)][DBLP ] Conf ] Bruce W. Char , Alan R. Macnaughton , Paul A. Strooper Discovering Inequality Conditions in the Analytical Solution of Optimization Problems (Extended Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Hubert Caprasse , Jaques Demaret , Eberhard Schrüfer Can EXCALC be used to Investigate High-Dimensional Cosmological Models with Non-Linear Lagrangians? [Citation Graph (0, 0)][DBLP ] Conf ] Carlo Traverso Gröbner Trace Algorithms. [Citation Graph (0, 0)][DBLP ] Conf ] Hidetsune Kobayashi , Shuichi Moritsugu , Robert W. Hogan Solving Systems of Algebraic Equations. [Citation Graph (0, 0)][DBLP ] Conf ] Teo Mora Groebner Bases in Non-Commutative Algebras. [Citation Graph (0, 0)][DBLP ] Conf ] André Galligo , Loic Pottier , Carlo Traverso Greater Easy Common Divisor and Standard Basis Completion Algorithms. [Citation Graph (0, 0)][DBLP ] Conf ] Stefan Arnborg Experiments with a Projection Operator for Algebraic Decomposition. [Citation Graph (0, 0)][DBLP ] Conf ] Moulay A. Barkatou Rational Newton Algorithm for Computing Formal Solutions of Linear Differential Equations. [Citation Graph (0, 0)][DBLP ] Conf ] Malcolm A. H. MacCallum An Ordinary Differential Equation Solver for Reduce. [Citation Graph (0, 0)][DBLP ] Conf ] Stephen M. Watt A Fixed Point Method for Power Series Computation. [Citation Graph (0, 0)][DBLP ] Conf ] Emilio Freire , Estanislao Gamero , Enrique Ponce , Leopoldo García Franquelo An Algorithm for Symbolic Computation of Center Manifolds. [Citation Graph (0, 0)][DBLP ] Conf ] Heinrich Rolletschek Shortest Division Chains in Imaginary Quadratic Number Fields. [Citation Graph (0, 0)][DBLP ] Conf ] Russell J. Bradford , James H. Davenport Effective Tests for Cyclotonic Polynomials. [Citation Graph (0, 0)][DBLP ] Conf ] George E. Collins , Jeremy R. Johnson The Probability of Relative Primality of Gaussian Integers. [Citation Graph (0, 0)][DBLP ] Conf ] Alfred Menezes , Paul C. van Oorschot , Scott A. Vanstone Some Computational Aspects of Root Finding in GF(qm ). [Citation Graph (0, 0)][DBLP ] Conf ] Algimantas Juozapavicius Symbolic Computation for Witt Rings. [Citation Graph (0, 0)][DBLP ] Conf ] Shreeram S. Abhyankar , Chandrajit L. Bajaj Computations with Algebraic Curves. [Citation Graph (0, 0)][DBLP ] Conf ] Jeremy Teitelbaum On the Computational Complexity of the Resolution of Plane Curve Singularities. [Citation Graph (0, 0)][DBLP ] Conf ] John F. Canny Generalized Characteristic Polynomials. [Citation Graph (0, 0)][DBLP ] Conf ] Patrizia M. Gianni , Victor Miller , Barry M. Trager Decomposition of Algebras. [Citation Graph (0, 0)][DBLP ] Conf ] Marc Giusti , Daniel Lazard , Annick Valibouze Algebraic Transformations of Polynomial Equations, Symmetric Polynomials and Elimination. [Citation Graph (0, 0)][DBLP ] Conf ] Herbert Edelsbrunner , Franco P. Preparata Tetrahedrizing Point Sets in Three Dimensions. [Citation Graph (0, 0)][DBLP ] Conf ] Sabine Stifter A Generalization of the Roider Method to Solve the Robot Collision Problem in 3D. [Citation Graph (0, 0)][DBLP ] Conf ] Philip H. Todd , George W. Cherry Symbolic Analysis of Planar Drawings. [Citation Graph (0, 0)][DBLP ] Conf ] Franz Winkler A Geometrical Decision Algorithm Based on the Gröbner Bases Algorithm. [Citation Graph (0, 0)][DBLP ] Conf ] Cynthia A. Brown , Gene Cooperman , Larry Finkelstein Solving Permutation Problems Using Rewriting Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Dieter Wissmann Applying Rewriting Techniques to Groups with Power-Communication-Presentations. [Citation Graph (0, 0)][DBLP ] Conf ] Volker Weispfenning Efficient Decision Procedures for Locally Finite Theories II. [Citation Graph (0, 0)][DBLP ] Conf ] Thierry Boy de la Tour , Ricardo Caferra A Formal Approach to some Usually Informal Techniques Used in Mathematical Reasoning. [Citation Graph (0, 0)][DBLP ] Conf ] Domenico Cantone , Vincenzo Cutello , Alfredo Ferro Decision Procedures for Elementary Sublanguages of Set Theory. XIV. Three Languages Involving Rank Related Constructs. [Citation Graph (0, 0)][DBLP ] Conf ] Jean-Louis Roch , Pascale Sénéchaud , Françoise Roch-Siebert , Gilles Villard Computer Algebra on MIMD Machine. [Citation Graph (0, 0)][DBLP ] Conf ] Claire Dicrescenzo , Dominique Duval Algebraic Extensions and Algebraic Closure in Scratchpad II. [Citation Graph (0, 0)][DBLP ] Conf ] Heinz Kredel Software Development for Computer Algebra or From ALDES/SAC-2 to WEB/Modula-2. [Citation Graph (0, 0)][DBLP ] Conf ] Gregory Butler , John J. Cannon Cayley, Version 4: The User Language. [Citation Graph (2, 0)][DBLP ] Conf ] Erich Kaltofen , Yagati N. Lakshman Improved Sparse Multivariate Polynomial Interpolation Algorithms. [Citation Graph (0, 0)][DBLP ] Conf ] Keith O. Geddes , Gaston H. Gonnet , Trevor J. Smedley Heuristic Methods for Operations With Algebraic Numbers. (Extended Abstract) [Citation Graph (0, 0)][DBLP ] Conf ] John Shackell Asymptotic Estimation of Oscillating Functions Using an Interval Calculus. [Citation Graph (0, 0)][DBLP ] Conf ] Keith O. Geddes , Gaston H. Gonnet A New Algorithm for Computing Symbolic Limits Using Hierarchical Series. [Citation Graph (0, 0)][DBLP ] Conf ] Irvin Roy Hentzel , David Pokrass Jacobs Verification of Non-Identities in Algebras. [Citation Graph (0, 0)][DBLP ] Conf ] Habib Abdulrab Equations in Words. [Citation Graph (0, 0)][DBLP ] Conf ] Neil L. White , Tim McMillan Cayley Factorization. [Citation Graph (0, 0)][DBLP ] Conf ] D. Yu. Grigoryev Complexity of Computing the Characters and the Genre of a System of Exterior Differential Equations. [Citation Graph (0, 0)][DBLP ] Conf ] 