Conferences in DBLP
Dinesh Manocha Computing Selected Solutions of Polynomial Equations. [Citation Graph (0, 0)][DBLP ] Conf ] Sylvain Petitjean Automating the Construction of Stationary Multiple-Point Classes. [Citation Graph (0, 0)][DBLP ] Conf ] Hong Du On the Isomorphisms of Smooth Algebraic Curves. [Citation Graph (0, 0)][DBLP ] Conf ] Ahmed Guergueb , Jean Mainguené , Marie-Françoise Roy Examples of Automatic Theorem Proving a Real Geometry. [Citation Graph (0, 0)][DBLP ] Conf ] Stephen M. Watt , Peter A. Broadbery , Samuel S. Dooley , Pietro Iglio , Scott C. Morrison , Jonathan M. Steinbach , Robert S. Sutor A First Report on the A# Compiler. [Citation Graph (0, 0)][DBLP ] Conf ] Richard D. Jenks , Barry M. Trager How to Make AXIOM into a Scratchpad. [Citation Graph (0, 0)][DBLP ] Conf ] David Pokrass Jacobs The Albert Nonassociative Algebra System: A Progress Report. [Citation Graph (0, 0)][DBLP ] Conf ] W. N. Borst , V. V. Goldman , J. A. van Hulzen GENTRAN 90: A REDUCE Package for the Generation of Fortran 90 Code. [Citation Graph (0, 0)][DBLP ] Conf ] Wieb Bosma , John J. Cannon , Graham Matthews Programming with Algebraic Structures: Design of the MAGMA Language. [Citation Graph (0, 0)][DBLP ] Conf ] Mark J. Encarnación On a Modular Algorithm for Computing GCDs of Polynomials over Algebraic Number Fields. [Citation Graph (0, 0)][DBLP ] Conf ] Mohamed Omar Rayes , Paul S. Wang , Kenneth Weber Parallelization of the Sparse Modular GCD Algorithm for Multivariate Polynomials on Shared Memory Multiprocessors. [Citation Graph (0, 0)][DBLP ] Conf ] Bruce W. Char , Mark F. Russo Automatic Identification of Time Scales in Enzyme Kinetics Models. [Citation Graph (0, 0)][DBLP ] Conf ] Philip H. Todd , Robin J. Y. McLeod , Marcia Harris A System for the Symbolic Analysis of Problems in Engineering Mechanics. [Citation Graph (0, 0)][DBLP ] Conf ] Erich Kaltofen , A. Lobo Factoring High-Degree Polynomials by the Black Box Berlekamp Algorithm. [Citation Graph (0, 0)][DBLP ] Conf ] Deepak Kapur , Tushar Saxena , Lu Yang Algebraic and Geometric Reasoning Using Dixon Resultants. [Citation Graph (0, 0)][DBLP ] Conf ] Yagati N. Lakshman , B. David Saunders On Computing Sparse Shifts for Univariate Polynomials. [Citation Graph (0, 0)][DBLP ] Conf ] Ioannis Z. Emiris , Ashutosh Rege Monomial Bases and Polynomial System Solving (extended abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Ana Maria Mandache The Gröbner Basis Algorithm and Subresultant Theory. [Citation Graph (0, 0)][DBLP ] Conf ] Eberhard Becker , Teo Mora , Maria Grazia Marinari , Carlo Traverso The Shape of the Shape Lemma. [Citation Graph (0, 0)][DBLP ] Conf ] Gene Cooperman , Larry Finkelstein , Bryant W. York , Michael Tselman Constructing Permutation Representations for Large Matrix Groups. [Citation Graph (0, 0)][DBLP ] Conf ] Eugene M. Luks , Ferenc Rakoczi , Charles R. B. Wright Computing Normalizers in Permutation p -Groups. [Citation Graph (0, 0)][DBLP ] Conf ] Robert Cremanns , Friedrich Otto Constructing Canonical Presentations for Subgroups of Context-Free Groups in Polynomial Time (extended abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Martin Schönert , Ákos Seress Finding Blocks of Imprimitivity in Small-Base Groups in Nearly Linear Time. [Citation Graph (0, 0)][DBLP ] Conf ] Jamil Baddoura A Conjecture on Integration in Finite Terms with Elementary Functions and Polylogarithms. [Citation Graph (0, 0)][DBLP ] Conf ] Ron Sommeling Characteristic Classes for Irregular Singularities. [Citation Graph (0, 0)][DBLP ] Conf ] Sergei A. Abramov , Marko Petkovsek D'Alembertian Solutions of Linear Differential and Difference Equations. [Citation Graph (0, 0)][DBLP ] Conf ] Yiu-Kwong Man , Francis J. Wright Fast Polynomial Dispersion Computation and Its Application to Indefinite Summation. [Citation Graph (0, 0)][DBLP ] Conf ] Charles C. Dyer An Application of Symbolic Computation in the Physical Sciences. [Citation Graph (0, 0)][DBLP ] Conf ] Mark van Hoeij Computing Parameterizations of Rational Algebraic Curves. [Citation Graph (0, 0)][DBLP ] Conf ] Sandra Licciardi , Teo Mora Implicitization of Hypersurfaces and Curves by the Primbasissatz and Basis Conversion. [Citation Graph (0, 0)][DBLP ] Conf ] Robert M. Corless Sufficiency Analysis for the Calculus of Variations. [Citation Graph (0, 0)][DBLP ] Conf ] Alain Goriely , Michael Tabor How to Compute the Melnikov Vector? [Citation Graph (0, 0)][DBLP ] Conf ] Laurent Bertrand On the Implementation of a new Algorithm for the Computation of Hyperelliptic Integrals. [Citation Graph (0, 0)][DBLP ] Conf ] Toshinori Oaku Algorithms for Finding the Structure of Solutions of a System of Linear Partial Differential Equations. [Citation Graph (0, 0)][DBLP ] Conf ] Oscar E. Ruiz S. , Placid M. Ferreira Algebraic Geometry and Group Theory in Geometric Constraint Satisfaction. [Citation Graph (0, 0)][DBLP ] Conf ] Victor G. Ganzha , Evgenii V. Vorozhtsov , J. Boers , J. A. van Hulzen Symbolic-Numeric Stability Investigations of Jameson's Schemes for the Thin-Layer Navier-Stokes Equations. [Citation Graph (0, 0)][DBLP ] Conf ] Olaf Bachmann , Paul S. Wang , Eugene V. Zima Chains of Recurrences - a Method to Expedite the Evaluation of Closed-form Functions. [Citation Graph (0, 0)][DBLP ] Conf ] Adam Dingle , Richard J. Fateman Branch Cuts in Computer Algebra. [Citation Graph (0, 0)][DBLP ] Conf ] Volker Weispfenning Quantifier Elimination for Real Algebra - the Cubic Case. [Citation Graph (0, 0)][DBLP ] Conf ] Roberto La Scala An Algorithm for Complexes. [Citation Graph (0, 0)][DBLP ] Conf ] Reinhard Bündgen , Manfred Göbel , Wolfgang Küchlin A Fine-Grained Parallel Completion Procedure. [Citation Graph (0, 0)][DBLP ] Conf ] Kelly Roach Symbolic-Numeric Nonlinear Equation Solving. [Citation Graph (0, 0)][DBLP ] Conf ] Daniel Richardson , John Fitch The Identity Problem for Elementary Functions and Constants. [Citation Graph (0, 0)][DBLP ] Conf ] Michael B. Monagan , Gaston H. Gonnet Signature Functions for Algebraic Numbers. [Citation Graph (0, 0)][DBLP ] Conf ] Erich Kaltofen Asymptotically Fast Solution of Toeplitz-like Singular Linear Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Mark Giesbrecht Fast Algorithms for Rational Forms of Integer Matrices. [Citation Graph (0, 0)][DBLP ] Conf ] Gilles Villard Fast Parallel Computation of the Smith Normal Form of Polynomial Matrices. [Citation Graph (0, 0)][DBLP ] Conf ] Jason F. Harris Inheritance of Rewrite Rule Structures Applied to Symbolic Computation. [Citation Graph (0, 0)][DBLP ] Conf ] Andreas Weber Algorithms for Type Inference with Coercions. [Citation Graph (0, 0)][DBLP ] Conf ] Simon Gray , Norbert Kajler , Paul S. Wang MP: A Protocol for Efficient Exchange of Mathematical Expressions. [Citation Graph (0, 0)][DBLP ] Conf ] Manuel Bronstein An Improved Algorithm for Factoring Linear Ordinary Differential Operators. [Citation Graph (0, 0)][DBLP ] Conf ] Jacques-Arthur Weil The Use of the Special Semi-Groups for Solving Differential Equations. [Citation Graph (0, 0)][DBLP ] Conf ] Benjamin P. Berman , Richard J. Fateman Optical Character Recognition for Typeset Mathematics. [Citation Graph (1, 0)][DBLP ] Conf ] Tomás Recio , M. J. González-López On the Symbolic Insimplification of the General 6R-Manipulator Kinematic Equations. [Citation Graph (0, 0)][DBLP ] Conf ] 