Conferences in DBLP
R. N. Fedorova , Vladimir P. Gerdt , N. N. Govorun , V. P. Shirikov Computer algebra in physical research of Joint Institute for Nuclear Research. [Citation Graph (0, 0)][DBLP ] Conf ] D. Yu. Grigoryev Complexity of quantifier elimination in the theory of ordinary differential equations. [Citation Graph (0, 0)][DBLP ] Conf ] Geoff C. Smith Groups and polynomials. [Citation Graph (0, 0)][DBLP ] Conf ] Malcolm A. H. MacCallum Symbolic computation in relativity theory. [Citation Graph (0, 0)][DBLP ] Conf ] Wen-tsun Wu A zero structure theorem for polynomial-equations-solving and its applications. [Citation Graph (0, 0)][DBLP ] Conf ] Sergei A. Abramov Some algorithms of rational function algebra. [Citation Graph (0, 0)][DBLP ] Conf ] R. Böffgen , M. A. Reichert The computer algebra system SIMATH. [Citation Graph (0, 0)][DBLP ] Conf ] Lars Langemyr Converting SAC-2 code to LISP. [Citation Graph (0, 0)][DBLP ] Conf ] V. Tomov , M. Nisheva , T. Tonev Computer algebra system for continued fractions manipulation. [Citation Graph (0, 0)][DBLP ] Conf ] Johannes Buchmann , Michael Pohst Computing a lattice basis from a system of generating vectors. [Citation Graph (0, 0)][DBLP ] Conf ] Mark P. W. Mutrie , Bruce W. Char , Richard H. Bartels Expression optimization using high-level knowledge. [Citation Graph (0, 0)][DBLP ] Conf ] R. G. Cowell , Francis J. Wright CATFACT: Computer algebraic tools for applications of catastrophe theory. [Citation Graph (0, 0)][DBLP ] Conf ] Vladimir P. Gerdt , A. B. Shabat , S. I. Svinolupov , A. Yu. Zharkov Computer algebra applications for investigating integrability of nonlinear evolution systems. [Citation Graph (0, 0)][DBLP ] Conf ] Vladimir P. Gerdt , A. Yu. Zharkov Computer classification of integrable seventh order MKdV-like equations. [Citation Graph (0, 0)][DBLP ] Conf ] John Fitch , Richard G. Hall Symbolic computation and the finite element method. [Citation Graph (0, 0)][DBLP ] Conf ] D. M. Klimov , V. M. Rudenko , V. F. Zhuravlev Application of Lie group and computer algebra to nonlinear mechanics. [Citation Graph (0, 0)][DBLP ] Conf ] Jerzy Paczynski Hierarchical symbolic computations in the analysis of large-scale dynamical systems. [Citation Graph (0, 0)][DBLP ] Conf ] N. I. Gurin SCHOONSCHIP for computing of gravitino interaction cross sections in n=2 supergravity. [Citation Graph (0, 0)][DBLP ] Conf ] N. N. Vasiliev Creation of efficient symbolic-numeric interface. [Citation Graph (0, 0)][DBLP ] Conf ] P. van den Heuvel , J. A. van Hulzen , V. V. Goldman Automatic generation of FORTRAN-coded Jacobians and Hessians. [Citation Graph (0, 0)][DBLP ] Conf ] Cristomir Kazasov Laplace transformations in REDUCE 3. [Citation Graph (0, 0)][DBLP ] Conf ] Tsuyoshi Yamamoto , Yoshinao Aoki REDUCE 3.2 on iAPX 86/286-based personal computers. [Citation Graph (0, 0)][DBLP ] Conf ] M. Spiridonova Some extensions and applications of REDUCE System. [Citation Graph (0, 0)][DBLP ] Conf ] William H. Burge , Stephen M. Watt Infinite structures in SCRATCHPAD II. [Citation Graph (0, 0)][DBLP ] Conf ] J. Smit , Sabih H. Gerez , R. Mulder Application of a structured LISP system to computer algebra. [Citation Graph (0, 0)][DBLP ] Conf ] Reiner Creutzburg , Manfred Tasche Number-theoretic transforms of prescribed length. [Citation Graph (0, 0)][DBLP ] Conf ] Masayuki Suzuki , Tateaki Sasaki , Mitsuhisa Sato , Yoshinari Fukui A Hybrid algebraic-numeric system ANS and its preliminary implementation. [Citation Graph (0, 0)][DBLP ] Conf ] L. S. Dulyan The calculation of QCD triangular Feynman graphs if the external gluonic field using REDUCE-2 system. [Citation Graph (0, 0)][DBLP ] Conf ] R. N. Fedorova , Vladimir V. Kornyak Computer algebra application for determining local symmetries of differential equations. [Citation Graph (0, 0)][DBLP ] Conf ] Johannes Ranft , Holger Perlt Trace calculations for gauge theories on a personal computer. [Citation Graph (0, 0)][DBLP ] Conf ] R. Liska , L. Drska Evaluation of plasma fluid equations collision integrals using REDUCE. [Citation Graph (0, 0)][DBLP ] Conf ] Vladislav L. Katkov , Michail D. Popov Computerised system of analytic transformations for analysing of differential equations. [Citation Graph (0, 0)][DBLP ] Conf ] Eugene Shablygin Integral equation with hidden Eigenparameter solver: REDUCE and FORTRAN in tandem. [Citation Graph (0, 0)][DBLP ] Conf ] A. Ya. Rodionov , A. Yu. Taranov Combinatorial aspects of simplification of algebraic expressions. [Citation Graph (0, 0)][DBLP ] Conf ] P. D. Pearce , John Fitch Dynamic program improvement. [Citation Graph (0, 0)][DBLP ] Conf ] Karl-Udo Jahn Computer algebra and numerical convergence. [Citation Graph (0, 0)][DBLP ] Conf ] Vladimir P. Gerdt , N. A. Kostov , Z. T. Kostova Computer algebra and computation of Puiseux expansions of algebraic functions. [Citation Graph (0, 0)][DBLP ] Conf ] F. Brackx , H. Serras Boundary value problems for the Laplacian in the Euclidean space solved by symbolic computation. [Citation Graph (0, 0)][DBLP ] Conf ] Vitali A. Eltekov , Vladimir B. Shikalov The methods for symbolic evaluation of determinants and their realization in the planner-analytic system. [Citation Graph (0, 0)][DBLP ] Conf ] Eugene V. Zima Transformation of computation formulae in systems of recurrence relations. [Citation Graph (0, 0)][DBLP ] Conf ] V. A. Ilyin , A. P. Kryukov DIMREG - The package for calculations in the dimensional regularization with 4-dimensional gamma5 -matrix in quantum field theory. [Citation Graph (0, 0)][DBLP ] Conf ] A. P. Kryukov , A. Ya. Rodionov CTS - Algebraic debugging system for REDUCE programs. [Citation Graph (0, 0)][DBLP ] Conf ] Adrian Bowyer , James H. Davenport , Philip S. Milne , Julian A. Padget , Andrew F. Wallis Applications of computer algebra in solid modelling. [Citation Graph (0, 0)][DBLP ] Conf ] K. Kusche , B. Kutzler , H. Mayr Implementation of a geometry theorem proving package in SCRATCHPAD II. [Citation Graph (0, 0)][DBLP ] Conf ] Bernhard Roider , Sabine Stifter Collision of convex objects. [Citation Graph (0, 0)][DBLP ] Conf ] Stephen R. Czapor Solving algebraic equations via Buchberger's algorithm. [Citation Graph (0, 0)][DBLP ] Conf ] Heinz Kredel Primary ideal decomposition. [Citation Graph (0, 0)][DBLP ] Conf ] Michael Kalkbrener Solving systems of algebraic equations by using Gröbner bases. [Citation Graph (0, 0)][DBLP ] Conf ] Patrizia M. Gianni Properties of Gröbner bases under specializations. [Citation Graph (0, 0)][DBLP ] Conf ] Lars Langemyr , Scott McCallum The computation of polynomial greatest common divisors over an algebraic number field. [Citation Graph (0, 0)][DBLP ] Conf ] Klaus-Peter Schemmel An extension of Buchberger's algorithm to compute all reduced Gröbner bases of a polynomial ideal. [Citation Graph (0, 0)][DBLP ] Conf ] B. Martin , G. Pfister Singularities of moduli spaces. [Citation Graph (0, 0)][DBLP ] Conf ] Trevor J. Smedley Radical simplification using algebraic extension fields. [Citation Graph (0, 0)][DBLP ] Conf ] Russell J. Bradford Hermite normal forms for integer matrices. [Citation Graph (0, 0)][DBLP ] Conf ] Erich Kaltofen , Mukkai S. Krishnamoorthy , B. David Saunders Mr. Smith goes to Las Vegas: Randomized parallel computation of the Smith Normal Form of polynomial matrices. [Citation Graph (0, 0)][DBLP ] Conf ] Annick Valibouze Fonctions symétriques et changements de bases. [Citation Graph (0, 0)][DBLP ] Conf ] Marc Giusti Complexity of standard bases in projective dimension zero. [Citation Graph (0, 0)][DBLP ] Conf ] Volker Weispfenning Gröbner bases for polynomial ideals over commutative regular rings. [Citation Graph (0, 0)][DBLP ] Conf ] Tateaki Sasaki Some algebraic algorithms based on head term elimination over polynomial rings. [Citation Graph (0, 0)][DBLP ] Conf ] Tatiana Gateva-Ivanova Algorithmic determination of the Jacobson radical of monomial algebras. [Citation Graph (0, 0)][DBLP ] Conf ] M. V. Kondratéva , E. V. Pankratév A recursive algorithm for computation of the Hilbert polynomial. [Citation Graph (0, 0)][DBLP ] Conf ] Brigitte Vallée An affine point of view on minima finding in integer lattices of lower dimensions. [Citation Graph (0, 0)][DBLP ] Conf ] P. Scheffler , Detlef Seese A combinatorial and logical approach to linear-time computability. [Citation Graph (0, 0)][DBLP ] Conf ] J. P. G. Henry , M. Merle Complexity of computation of embedded resolution of algebraic curves. [Citation Graph (0, 0)][DBLP ] Conf ] J. A. Abbott , James H. Davenport Polynomial factorization: An exploration of Lenstra's algorithm. [Citation Graph (0, 0)][DBLP ] Conf ] Alois Ferscha A matrix-approach for proving inequalities. [Citation Graph (0, 0)][DBLP ] Conf ] Pavol Návrat , Ludovit Molnár , Vladimir Vojtek Using Automatic Program Synthesizer as a Problem Solver: Some Interesting Experiments. [Citation Graph (0, 0)][DBLP ] Conf ] Matthias Baaz , Alexander Leitsch Strong splitting rules in automated theorem proving. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas Fischer Towards a refined classification of geometric search and computation problems. [Citation Graph (0, 0)][DBLP ] Conf ] George Labahn , Stanley Cabay Matrix-Padé fractions. [Citation Graph (0, 0)][DBLP ] Conf ] G. Németh , Magda Zimányi Computation of generalized Padé approximants. [Citation Graph (0, 0)][DBLP ] Conf ] Leo Bachmair , Nachum Dershowitz A critical pair criterion for completion modulo a congruence. [Citation Graph (0, 0)][DBLP ] Conf ] Günter Werner Shortest paths of a disc inside a polygonal region. [Citation Graph (0, 0)][DBLP ] Conf ] Tomás Recio , Luis Miguel Pardo Rabin's width of a complete proof and the width of a semialgebraic set. [Citation Graph (0, 0)][DBLP ] Conf ] David M. Gillies , Bruce W. Char Practical aspects of symbolic integration over Q(x). [Citation Graph (0, 0)][DBLP ] Conf ] J. A. Abbott Integration: Solving the Risch differential equation. [Citation Graph (0, 0)][DBLP ] Conf ] Joachim Apel , W. Lassner Computation and simplification in Lie fields. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas Wolf A package for the analytic investigation and exact solution of differential equations. [Citation Graph (0, 0)][DBLP ] Conf ] Manuel Bronstein An algorithm for the integration of elementary functions. [Citation Graph (0, 0)][DBLP ] Conf ] 