Conferences in DBLP
Richard Zippel Rational Function Decomposition. [Citation Graph (0, 0)][DBLP ] Conf ] Dima Grigoriev , Marek Karpinski Algorithms for Sparse Rational Interpolation. [Citation Graph (0, 0)][DBLP ] Conf ] Victor Shoup A Fast Deterministic Algorithm for Factoring Polynomials over Finite Fields of Small Characteristic. [Citation Graph (0, 0)][DBLP ] Conf ] Vilmar Trevisan , Paul S. Wang Practical Factorization of Univariate Polynomials over Finite Fields. [Citation Graph (0, 0)][DBLP ] Conf ] James H. Davenport , Patrizia M. Gianni , Barry M. Trager Scratchpad's View of Algebra II: A Categorical View of Factorization. [Citation Graph (0, 0)][DBLP ] Conf ] Stephen R. Czapor A Heuristic Selection Strategy for Lexicographic Gröbner Bases? [Citation Graph (0, 0)][DBLP ] Conf ] Alessandro Giovini , Teo Mora , Gianfranco Niesi , Lorenzo Robbiano , Carlo Traverso ``One Sugar cube, Please'' or Selection Strategies in the Buchberger Algorithm. [Citation Graph (0, 0)][DBLP ] Conf ] Maria Grazia Marinari , H. Michael Möller , Teo Mora Gröbner Bases of Ideals Given by Dual Bases. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas Becker , Volker Weispfenning The Chinese Remainder Problem, Multivariate Interpolation, and Gröbner Bases. [Citation Graph (0, 0)][DBLP ] Conf ] Reinhard Bündgen Completion of Integral Polynomials by AC-Term Completion. [Citation Graph (0, 0)][DBLP ] Conf ] Laureano González-Vega A Subresultant Theory for Multivariate Polynomials. [Citation Graph (0, 0)][DBLP ] Conf ] Dinesh Manocha , John F. Canny Efficient Techniques for Multipolynomial Resultant Algorithms. [Citation Graph (0, 0)][DBLP ] Conf ] John F. Canny , J. Maurice Rojas An Optimal Condition for Determining the Exact Number of Roots of a Polynomial System. [Citation Graph (0, 0)][DBLP ] Conf ] Jörgen Backelin , Ralf Fröberg How We Proved That There Are Exactly 924 Cyclic 7-Roots. [Citation Graph (0, 0)][DBLP ] Conf ] William Y. Sit A Theory for Parametric Linear Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Xiao-Shan Gao , Shang-Ching Chou Computations with Parametric Equations. [Citation Graph (0, 0)][DBLP ] Conf ] Arnold Schönhage Fast Reduction and Composition of Binary Quadratic Forms. [Citation Graph (0, 0)][DBLP ] Conf ] Rainer Schulze-Pillot An Algorithm for Computing Genera of Ternary and Quaternary Quadratic Forms. [Citation Graph (0, 0)][DBLP ] Conf ] Attila Pethö Application of Gröbner Bases to the Resolution of Systems of Norm Equations. [Citation Graph (0, 0)][DBLP ] Conf ] Wieb Bosma , Michael Pohst Computations with Finitely Generated Modules over Dedekind Rings. [Citation Graph (0, 0)][DBLP ] Conf ] Marc Rybowicz An Algorithms for Computing Integral Bases of an Algebraic Function Field. [Citation Graph (0, 0)][DBLP ] Conf ] Lars Langemyr An Analysis of the Subresultant Algorithm Over an Algebraic Number Field. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas Beth , Willi Geiselmann , F. Meyer Finding (good) Normal Bases in Finite Fields. [Citation Graph (0, 0)][DBLP ] Conf ] Johannes Buchmann , Volker Müller Computing the Number of Points of Elliptic Curves Over Finite Fields. [Citation Graph (0, 0)][DBLP ] Conf ] Andreas Stein , Horst Günter Zimmer An Algorithm for Determining the Regulator and the Fundamental Unit of Hyperelliptic congruence Function Field. [Citation Graph (0, 0)][DBLP ] Conf ] István Gaál , Attila Pethö , Michael Pohst On the Resolution of Index Form Equations. [Citation Graph (0, 0)][DBLP ] Conf ] Joacheim Schmitt An Embedding Algorithm for Algebraic Congruence Function Fields. [Citation Graph (0, 0)][DBLP ] Conf ] William H. Burge Scratchpad and the Rogers-Ramanujan Identities. [Citation Graph (0, 0)][DBLP ] Conf ] George Havas Coset Enumeration Strategies. [Citation Graph (0, 0)][DBLP ] Conf ] László Babai , Gene Cooperman , Larry Finkelstein , Ákos Seress Nearly Linear Time Algorithms for Permutation Groups with a Small Base. [Citation Graph (0, 0)][DBLP ] Conf ] Gregory Butler , Sridhar S. Iyer , Susan H. Ley A Deductive Database of the Groups of Order Dividing 128. [Citation Graph (0, 0)][DBLP ] Conf ] I. A. Faradzev , Mikhail H. Klin For Computations with Coherent Configurations. [Citation Graph (0, 0)][DBLP ] Conf ] V. A. Ilyin , A. P. Kryukov Symbolic Simplification of Tensor Expressions Using Symmetries, Dummy Indices and Identities. [Citation Graph (0, 0)][DBLP ] Conf ] Walter Oevel , Klaus Strack The Yang-Baxter Equation and a Systematic Search for Poisson Brackets on Associative Algebras. [Citation Graph (0, 0)][DBLP ] Conf ] Andrej A. Zolotykh A Package for Computations in Simple Lie Algebra Representations. [Citation Graph (0, 0)][DBLP ] Conf ] H. Schlegel Determination of the Root System of Semisimple Lie Algebras from the Dynkin Diagram. [Citation Graph (0, 0)][DBLP ] Conf ] Manuel Bronstein The Risch Differential equation on an Algebraic Curve. [Citation Graph (0, 0)][DBLP ] Conf ] Daniel Richardson Towards Computing Non Algebraic Cylindrical Decompositions. [Citation Graph (0, 0)][DBLP ] Conf ] Fritz Schwarz Existence Theorems for Polynomial First Integrals. [Citation Graph (0, 0)][DBLP ] Conf ] A. V. Astrelin A Bound of Degree of Irreducible Eigenpolynomial of Some Differential Operator. [Citation Graph (0, 0)][DBLP ] Conf ] Sergei A. Abramov , K. Yu. Kvashenko Fast Algorithms to Search for the Rational Solutions of Linear Differential Equations with Polynomial Coefficients. [Citation Graph (0, 0)][DBLP ] Conf ] S. B. Yakubovich , Yu. F. Luchko The Evaluation of Integrals and Series with Respect to Indices (Parameters) of Hypergeometric Functions. [Citation Graph (0, 0)][DBLP ] Conf ] Guoting Chen , Jean Della Dora , Laurent Stolovitch Nilpotent Normal Form via Carleman Linearization (for systems of ordinary differential equations). [Citation Graph (0, 0)][DBLP ] Conf ] Friedrich Renner Nonlinear Evolution Equations and the Painlevé Analysis: A Constructive Approach with REDUCE. [Citation Graph (0, 0)][DBLP ] Conf ] Jarmo Hietarinta Searching for Integrable PDE's by Testing Hirota's Three-Soliton Condition. [Citation Graph (0, 0)][DBLP ] Conf ] Peter Crouch , Robert L. Grossman , Richard G. Larson Computations Involving Differential Operators and Their Actions on Functions. [Citation Graph (0, 0)][DBLP ] Conf ] Gregory J. Reid , A. Boulton Reduction of Systems of Differential Equations to Standard form and Their Integration Using Directed Graphs. [Citation Graph (0, 0)][DBLP ] Conf ] Vladimir P. Gerdt , N. V. Khutornoy , A. Yu. Zharkov Lie-Bäcklund Symmetries of Coupled Nonlinear Schrödinger Equations. [Citation Graph (0, 0)][DBLP ] Conf ] Vladimir V. Kornyak , W. I. Fushchich A Program for Symmetry Analysis of Differential Equations. [Citation Graph (0, 0)][DBLP ] Conf ] Giampiero Pecelli Formal Methods in Delay-Differential Equations. [Citation Graph (0, 0)][DBLP ] Conf ] Ian Cohen , Karl-Erik Thylwe Obtaining Exact Steady-state Responses in Driven Undamped Oscillators. [Citation Graph (0, 0)][DBLP ] Conf ] Bram de Jager Symbolic Calculation of Zero Dynamics for Nonlinear Control Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Angel Díaz , Erich Kaltofen , K. Schmitz , T. Valente DSC: A System for Distributed Symbolic Computation. [Citation Graph (0, 0)][DBLP ] Conf ] Wolfgang Küchlin On the Multi-Threaded Computation of Integral Polynomial Greatest Common Divisors. [Citation Graph (0, 0)][DBLP ] Conf ] Françoise Roch-Siebert , Gilles Villard PAC: First Experiments on a 128 Transputers Méganode. [Citation Graph (0, 0)][DBLP ] Conf ] Trudy Weibel , Gaston H. Gonnet An Algebra of Properties. [Citation Graph (0, 0)][DBLP ] Conf ] Richard J. Fateman Canonical Representations in Lisp and Applications to Computer Algebra systems. [Citation Graph (0, 0)][DBLP ] Conf ] Alexander A. Letichevsky , Julia V. Kapitonova , S. V. Konozenko Algebraic Programs Optimization. [Citation Graph (0, 0)][DBLP ] Conf ] S. N. Grudtsin , V. N. Larin Integrated System INTERCOMP and Computer Language for Physicists. [Citation Graph (0, 0)][DBLP ] Conf ] Joachim Apel , Uwe Klaus FELIX - An Assistant for Alebraists. [Citation Graph (0, 0)][DBLP ] Conf ] Marcel Roelofs , Peter K. H. Gragert Implementation of Multilinear Operators in REDUCE and Applications in Mathematics. [Citation Graph (0, 0)][DBLP ] Conf ] Laureano González-Vega Working with Real Algebraic Plane Curves in REDUCE the GCUR Package. [Citation Graph (0, 0)][DBLP ] Conf ] R. Gebauer , Michael Kalkbrener , B. Wall , Franz Winkler CASA: A Computer Algebra Package for Constructive Algebraic Geometry. [Citation Graph (0, 0)][DBLP ] Conf ] Reiner Marzinkewitsch Operating Computer Algebra Systems by Handprinted Input. [Citation Graph (0, 0)][DBLP ] Conf ] J. H. J. Molenkamp , V. V. Goldman , J. A. van Hulzen An Improved Approach to Automatic Error Cumulation Control. [Citation Graph (0, 0)][DBLP ] Conf ] Richard Liska , Michail Yu. Shashkov Algorithms for Difference Schemes construction on Non-Orthogonal Logically Rectangular Meshes. [Citation Graph (0, 0)][DBLP ] Conf ] Victor G. Ganzha , B. Yu. Scobelev , Evgenii V. Vorozhtsov Stability Analysis of Difference Schemes by the Catastrophe Theory Methods and by Means of Computer Algebra. [Citation Graph (0, 0)][DBLP ] Conf ] W. Kleczka , E. Kreuzer Systematic Computer-Aided Analysis of Dynamic Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Karin Gatermann Mixed Symbolic-Numeric Solution of Symmetrical Nonlinear Systems. [Citation Graph (0, 0)][DBLP ] Conf ] R. Berndt , A. Lock , G. Witte , Ch. Wöll Application of Computer Algebra to Surface Lattice Dynamics. [Citation Graph (0, 0)][DBLP ] Conf ] Levan R. Surguladze , Mark A. Samuel Algebraic Perturbative Calculations in High Energy Physics: Methods, Algorithms, Computer Programs and Physical Applications. [Citation Graph (0, 0)][DBLP ] Conf ] I. Trenkov , M. Spiridonova , M. Daskalova An Application of the REDUCE System for Solving a Mathematical Geodesy Problem. [Citation Graph (0, 0)][DBLP ] Conf ] V. M. Rudenko , V. V. Leonov , A. F. Bragazin , I. P. Shmyglevsky Application of Computer Algebra to the Investigation of the Orbital Satellite Motion. [Citation Graph (0, 0)][DBLP ] Conf ] I. V. Amirkhanov , E. P. Zhidkov , I. E. Zhidkova The Betatron Oscillations in the Vicinity of Nonlinear Resonance in Cyclic Accelerator Investigation. [Citation Graph (0, 0)][DBLP ] Conf ] Alexander A. Bel'kov , Alexander V. Lanyov REDUCE Usage for Calculation of Low-Energy Process Amplitudes in Chiral QCD Model. [Citation Graph (0, 0)][DBLP ] Conf ] V. A. Ilyin , A. P. Kryukov , A. Ya. Rodionov , A. Yu. Taranov PC Implementation of Fast Dirac Matrix Trace Calculations. [Citation Graph (0, 0)][DBLP ] Conf ] F. Vinette Features of Symbolic Computation Exploited in the Calculation of Lower Energy Bounds of Cyclic Polyene Models. [Citation Graph (0, 0)][DBLP ] Conf ] W. L. Roque , R. P. Dos Santos Qualitative Reasoning, Dimensional Analysis and Computer Algebra. [Citation Graph (0, 0)][DBLP ] Conf ] Dongming Wang A Toolkit for Manipulating Indefinite Summations with Application to Neural Networks. [Citation Graph (0, 0)][DBLP ] Conf ] 