Conferences in DBLP
Bruno Buchberger A criterion for detecting unnecessary reductions in the construction of Groebner bases. [Citation Graph (0, 0)][DBLP ] EUROSAM, 1979, pp:3-21 [Conf ] Jörg H. Siekmann Unification of commutative terms. [Citation Graph (0, 0)][DBLP ] EUROSAM, 1979, pp:22- [Conf ] Michael R. Genesereth Canonicity in rule systems. [Citation Graph (0, 0)][DBLP ] EUROSAM, 1979, pp:23-29 [Conf ] John Fitch A survey of symbolic computation in physics (invited). [Citation Graph (0, 0)][DBLP ] EUROSAM, 1979, pp:30-41 [Conf ] Anders Karlhede , Jan E. Åman Progress towards a solution of the equivalence problem in general relativity. [Citation Graph (0, 0)][DBLP ] EUROSAM, 1979, pp:42-44 [Conf ] A. Voros Symbol calculus by symbolic computation and semi-classical expansions. [Citation Graph (0, 0)][DBLP ] EUROSAM, 1979, pp:45-51 [Conf ] M. Caffo , E. Remiddi , S. Turrini An algorithm for the analytic evaluation of a class of integrals. [Citation Graph (0, 0)][DBLP ] EUROSAM, 1979, pp:52-57 [Conf ] David Y. Y. Yun , Fred G. Gustavson Fast computation of rational Hermite interpolants and solving Toeplitz system of equations via the extended Euclidean algorithm. [Citation Graph (0, 0)][DBLP ] EUROSAM, 1979, pp:58-64 [Conf ] Robert T. Moenck , John H. Carter Approximate algorithms to derive exact solutions to systems of linear equations. [Citation Graph (0, 0)][DBLP ] EUROSAM, 1979, pp:65-73 [Conf ] J. Smit New recursive minor expansion algorithms. [Citation Graph (0, 0)][DBLP ] EUROSAM, 1979, pp:74-87 [Conf ] Daniel Lazard Systems of algebraic equations. [Citation Graph (0, 0)][DBLP ] EUROSAM, 1979, pp:88-94 [Conf ] Hans Zassenhaus On the van der Waerden criterion for the group of an equation. [Citation Graph (0, 0)][DBLP ] EUROSAM, 1979, pp:95-107 [Conf ] H. Bartz , K. Fischer , H. G. Folz , Horst Günter Zimmer Some computations relating to torsion points on elliptic curves over number fields. [Citation Graph (0, 0)][DBLP ] EUROSAM, 1979, pp:108-118 [Conf ] James H. Davenport The computerization of algebraic geometry. [Citation Graph (0, 0)][DBLP ] EUROSAM, 1979, pp:119-133 [Conf ] Josh D. Cohen , David Y. Y. Yun Algebraic extensions of arbitrary integral domains. [Citation Graph (0, 0)][DBLP ] EUROSAM, 1979, pp:134-139 [Conf ] Michael Pohst , Hans Zassenhaus On unit computation in real quadratic number fields. [Citation Graph (0, 0)][DBLP ] EUROSAM, 1979, pp:140-152 [Conf ] Evelyne Tournier An algebraic form of a solution of a system of linear differential equations with constant coefficients. [Citation Graph (0, 0)][DBLP ] EUROSAM, 1979, pp:153-163 [Conf ] Peter Schmidt Substitution methods for the automatic symbolic solution of differential equations of first order and first degree. [Citation Graph (0, 0)][DBLP ] EUROSAM, 1979, pp:164-176 [Conf ] Hatem M. Khalil , Dana L. Ulery A semi-numeric difference algorithm. [Citation Graph (0, 0)][DBLP ] EUROSAM, 1979, pp:177-188 [Conf ] Keith O. Geddes Convergence behavior of the Newton iteration for first order differential equations. [Citation Graph (0, 0)][DBLP ] EUROSAM, 1979, pp:189-199 [Conf ] Jacob T. Schwartz Probabilistic algorithms for verification of polynomial identities (invited). [Citation Graph (0, 0)][DBLP ] EUROSAM, 1979, pp:200-215 [Conf ] Richard Zippel Probabilistic algorithms for sparse polynomials. [Citation Graph (0, 0)][DBLP ] EUROSAM, 1979, pp:216-226 [Conf ] Anthony C. Hearn Non-modular computation of polynomial GCD's using trial division. [Citation Graph (0, 0)][DBLP ] EUROSAM, 1979, pp:227-239 [Conf ] A. Galli Product of symmetric and anti-symmetric polynomials. [Citation Graph (0, 0)][DBLP ] EUROSAM, 1979, pp:240- [Conf ] Albert D. Rich , David R. Stoutemeyer Capabilities of the MUMATH-78 computer algebra system for the INTEL-8080 microprocessor (invited). [Citation Graph (0, 0)][DBLP ] EUROSAM, 1979, pp:241-248 [Conf ] Jeffrey S. Leon , Vera Pless CAMAC 1979. [Citation Graph (0, 0)][DBLP ] EUROSAM, 1979, pp:249-257 [Conf ] A. C. Norman , P. M. A. Moore The initial design of a vector based algebra system. [Citation Graph (0, 0)][DBLP ] EUROSAM, 1979, pp:258-265 [Conf ] Richard M. Cowan , Martin L. Griss Hashing, the key to rapid pattern matching. [Citation Graph (0, 0)][DBLP ] EUROSAM, 1979, pp:266-278 [Conf ] Lars Hörnfeldt A system for automatic generation of tensor algorithms. [Citation Graph (0, 0)][DBLP ] EUROSAM, 1979, pp:279-290 [Conf ] Paul S. Wang Analysis of multivariate iterative and recursive P-adic. [Citation Graph (0, 0)][DBLP ] EUROSAM, 1979, pp:291-300 [Conf ] Dennis S. Arnon A cellular decomposition algorithm for semi-algebraic sets. [Citation Graph (0, 0)][DBLP ] EUROSAM, 1979, pp:301-315 [Conf ] Alfred Woll Gamma-algebra algorithms for canonical hyper complex representations. [Citation Graph (0, 0)][DBLP ] EUROSAM, 1979, pp:316- [Conf ] George E. Collins Factoring univariate integral polynomial in polynomial average time. [Citation Graph (0, 0)][DBLP ] EUROSAM, 1979, pp:317-329 [Conf ] Edward W. Ng Symbolic-Numeric Interface: a review (in absentia). [Citation Graph (0, 0)][DBLP ] EUROSAM, 1979, pp:330-345 [Conf ] J. A. van Hulzen Solving systems of polynomial equations with floating-point coefficients. [Citation Graph (0, 0)][DBLP ] EUROSAM, 1979, pp:346-357 [Conf ] Tateaki Sasaki An arbitrary precision real arithmetic package in REDUCE. [Citation Graph (0, 0)][DBLP ] EUROSAM, 1979, pp:358-368 [Conf ] G. Caplat Symbolic manipulations in interval arithmetic problems. [Citation Graph (0, 0)][DBLP ] EUROSAM, 1979, pp:369-382 [Conf ] David W. Matula , Peter Kornerup An approximate rational arithmetic system with intrinsic recovery of simple fractions during expression evaluation. [Citation Graph (0, 0)][DBLP ] EUROSAM, 1979, pp:383-397 [Conf ] A. C. Norman , James H. Davenport Integration -- the dust settles? (invited). [Citation Graph (0, 0)][DBLP ] EUROSAM, 1979, pp:398-407 [Conf ] Barry M. Trager Integration of simple radical extensions. [Citation Graph (0, 0)][DBLP ] EUROSAM, 1979, pp:408-414 [Conf ] James H. Davenport Integration of algebraic functions. [Citation Graph (0, 0)][DBLP ] EUROSAM, 1979, pp:415-425 [Conf ] Joel Moses , Richard Zippel An extension of Liouville's theorem. [Citation Graph (0, 0)][DBLP ] EUROSAM, 1979, pp:426-430 [Conf ] George Havas , Leon Sterling Integer matrices and Abelian groups (invited). [Citation Graph (0, 0)][DBLP ] EUROSAM, 1979, pp:431-451 [Conf ] Volkmar Felsch , Joachim Neubuser An algorithm for the computation of conjugacy classes and centralizes in p-groups. [Citation Graph (0, 0)][DBLP ] EUROSAM, 1979, pp:452-465 [Conf ] Richard D. Jenks MODLISP -- an introduction (invited). [Citation Graph (0, 0)][DBLP ] EUROSAM, 1979, pp:466-480 [Conf ] Daniel G. Bobrow , L. Peter Deutsch Extending Interlisp for modularization and efficiency. [Citation Graph (0, 0)][DBLP ] EUROSAM, 1979, pp:481-489 [Conf ] Martin L. Griss , Robert R. Kessler , Gerald Q. Maguire Jr. TLISP -- a Transportable LISP implemented in P-code. [Citation Graph (0, 0)][DBLP ] EUROSAM, 1979, pp:490-502 [Conf ] J. A. Campbell , Simon Symbolic computing with compression of data structures. [Citation Graph (0, 0)][DBLP ] EUROSAM, 1979, pp:503-513 [Conf ] Giorgio Ausiello , Giovanni Mascari Design of algebraic data structures with the approach of abstract data types. [Citation Graph (0, 0)][DBLP ] EUROSAM, 1979, pp:514-530 [Conf ] Jörg H. Siekmann Matching under commutativity. [Citation Graph (0, 0)][DBLP ] EUROSAM, 1979, pp:531-545 [Conf ] Alfred Woll gamma-Algebra algorithms for canonical hypercomplex representations. [Citation Graph (0, 0)][DBLP ] EUROSAM, 1979, pp:546-557 [Conf ]