Search results for "EUROSAM"

Hits ?▲	Authors	Title	Venue	Year	Link
1	Marisa Navarro, Fernando Orejas	On the Equivalence of Hierarchical and Non-Hierarchical Rewriting on Conditional Term Rewriting Systems.	EUROSAM	1984	DBLP DOI BibTeX RDF
1	Jan E. Åman, R. A. d'Inverno, G. C. Joly, Malcolm A. H. MacCallum	Quartic Equations and Algorithms for Riemann Tensor Classification.	EUROSAM	1984	DBLP DOI BibTeX RDF
1	Guy W. Cherry, Bob F. Caviness	Integration in Finite Terms with Special Functions: A Progress Report.	EUROSAM	1984	DBLP DOI BibTeX RDF
1	Paul S. Wang, Tse-Yung P. Chang, J. A. van Hulzen	Code Generation and Optimization for Finite Element Analysis.	EUROSAM	1984	DBLP DOI BibTeX RDF
1	Paul S. Wang	Implementation of a p-adic Package for Polynomial Factorization and Other Related Operations.	EUROSAM	1984	DBLP DOI BibTeX RDF
1	Erich L. Kaltofen	A Note on the Risch Differential Equation.	EUROSAM	1984	DBLP DOI BibTeX RDF
1	Thomas G. Berry	Detecting Torsion Divisors on Curves of Genus 2.	EUROSAM	1984	DBLP DOI BibTeX RDF
1	James H. Davenport	y'+ fy = g.	EUROSAM	1984	DBLP DOI BibTeX RDF
1	Susan Landau 0001	Polynomial Time Algorithms for Galois Groups.	EUROSAM	1984	DBLP DOI BibTeX RDF
1	Marc Giusti	Some Effectivity Problems in Polynomial Ideal Theory.	EUROSAM	1984	DBLP DOI BibTeX RDF
1	Shunro Watanabe	An Experiment Toward a General Quadrature for Second Order Linear Ordinary Differential Equations by Symbolic Computation.	EUROSAM	1984	DBLP DOI BibTeX RDF
1	Najid-Zejli Hakima	Computation in Radical Extensions.	EUROSAM	1984	DBLP DOI BibTeX RDF
1	H. Michael Möller, Ferdinando Mora	Upper and Lower Bounds for the Degree of Groebner Bases.	EUROSAM	1984	DBLP DOI BibTeX RDF
1	Abdelilah Kandri-Rody, Deepak Kapur	Algorithms for Computing Groebner Bases of Polynomial Ideals over Various Euclidean Rings.	EUROSAM	1984	DBLP DOI BibTeX RDF
1	John P. Fitch (eds.)	EUROSAM 84, International Symposium on Symbolic and Algebraic Computation, Cambridge, England, UK, July 9-11, 1984, Proceedings	EUROSAM	1984	DBLP DOI BibTeX RDF
1	Robert H. Gilman 0001	Computations with Rational Subsets of Confluent Groups.	EUROSAM	1984	DBLP DOI BibTeX RDF
1	G. Cesareo, Riccardo Marino	On the Application of Symbolic Computation to Nonlinear Control Theory.	EUROSAM	1984	DBLP DOI BibTeX RDF
1	Ralph W. Wilkerson	Symbolic Computation and the Dirichlet Problem.	EUROSAM	1984	DBLP DOI BibTeX RDF
1	Klaus Thull	Approximation by Continued Fraction of a Polynomial Real Root.	EUROSAM	1984	DBLP DOI BibTeX RDF
1	Johannes Buchmann 0001	A Criterion for the Equivalence of Two Ideals.	EUROSAM	1984	DBLP DOI BibTeX RDF
1	Claire Dicrescenzo, Dominique Duval	Computations on Curves.	EUROSAM	1984	DBLP DOI BibTeX RDF
1	Bruce W. Char, Keith O. Geddes, Gaston H. Gonnet	GCDHEU: Heuristic Polynomial GCD Algorithm Based on Integer GCD Computation.	EUROSAM	1984	DBLP DOI BibTeX RDF
1	Nikolaos Glinos, B. David Saunders	Operational Calculus Technique for Solving Differential Equations.	EUROSAM	1984	DBLP DOI BibTeX RDF
1	Ben J. A. Hulshof, J. A. van Hulzen	Automatic Error Cumulation Control.	EUROSAM	1984	DBLP DOI BibTeX RDF
1	Jean Della Dora, Evelyne Tournier	Homogeneous Linear Difference Equation (Frobenius - Boole Method).	EUROSAM	1984	DBLP DOI BibTeX RDF
1	Guy Viry	Simplification of Polynomials in n Variables.	EUROSAM	1984	DBLP DOI BibTeX RDF
1	Richard D. Jenks	A Primer: 11 Keys to New Scratchpad.	EUROSAM	1984	DBLP DOI BibTeX RDF
1	Ming-Deh A. Huang	On a Simple Primality Testing Algorithm.	EUROSAM	1984	DBLP DOI BibTeX RDF
1	John P. Fitch, Julian A. Padget	A Pure and Really Simple Initial Functional Algebraic Language.	EUROSAM	1984	DBLP DOI BibTeX RDF
1	Franz Winkler 0001	On the Complexity of the Groebner-Bases Algorithm over K[x, y, z].	EUROSAM	1984	DBLP DOI BibTeX RDF
1	Erich L. Kaltofen	Effective Hilbert Irreducibility.	EUROSAM	1984	DBLP DOI BibTeX RDF
1	Jeffrey S. Leon	CAMAC2: A Portable System for Combinatorial and Algebraic Computation.	EUROSAM	1984	DBLP DOI BibTeX RDF
1	Arjen K. Lenstra	Polynomial Factorization by Root Approximation.	EUROSAM	1984	DBLP DOI BibTeX RDF
1	Michael Rothstein	On Pseudo-Resultante.	EUROSAM	1984	DBLP DOI BibTeX RDF
1	Maurice Mignotte	On the Automatic Resolution of Certain Diophantine Equations.	EUROSAM	1984	DBLP DOI BibTeX RDF
1	Erich L. Kaltofen, Noriko Yui	Explicit Construction of the Hilbert Class Fields of Imaginary Quadratic Fields with Class Numbers 7 and 11.	EUROSAM	1984	DBLP DOI BibTeX RDF
1	Denis Lugiez	A New Lifting Process for the Multivariate Polynomial Factorization.	EUROSAM	1984	DBLP DOI BibTeX RDF
1	Stephen R. Czapor, Keith O. Geddes	A Comparison of Algorithms for the Symbolic Computation of Padé Approximants.	EUROSAM	1984	DBLP DOI BibTeX RDF
1	Lars Hörnfeldt	A system for automatic generation of tensor algorithms.	EUROSAM	1979	DBLP DOI BibTeX RDF
1	Anders Karlhede, Jan E. Åman	Progress towards a solution of the equivalence problem in general relativity.	EUROSAM	1979	DBLP DOI BibTeX RDF
1	A. Galli	Product of symmetric and anti-symmetric polynomials.	EUROSAM	1979	DBLP DOI BibTeX RDF
1	George E. Collins	Factoring univariate integral polynomial in polynomial average time.	EUROSAM	1979	DBLP DOI BibTeX RDF
1	James H. Davenport	Integration of algebraic functions.	EUROSAM	1979	DBLP DOI BibTeX RDF
1	H. Bartz, K. Fischer, H. G. Folz, Horst Günter Zimmer	Some computations relating to torsion points on elliptic curves over number fields.	EUROSAM	1979	DBLP DOI BibTeX RDF
1	Hans Zassenhaus	On the van der Waerden criterion for the group of an equation.	EUROSAM	1979	DBLP DOI BibTeX RDF
1	Volkmar Felsch, Joachim Neubüser	An algorithm for the computation of conjugacy classes and centralizes in p-groups.	EUROSAM	1979	DBLP DOI BibTeX RDF
1	John A. Campbell, Simon	Symbolic computing with compression of data structures.	EUROSAM	1979	DBLP DOI BibTeX RDF
1	Tateaki Sasaki	An arbitrary precision real arithmetic package in REDUCE.	EUROSAM	1979	DBLP DOI BibTeX RDF
1	Jörg H. Siekmann	Matching under commutativity.	EUROSAM	1979	DBLP DOI BibTeX RDF
1	James H. Davenport	The computerization of algebraic geometry.	EUROSAM	1979	DBLP DOI BibTeX RDF
1	J. Smit	New recursive minor expansion algorithms.	EUROSAM	1979	DBLP DOI BibTeX RDF
1	J. A. van Hulzen	Solving systems of polynomial equations with floating-point coefficients.	EUROSAM	1979	DBLP DOI BibTeX RDF
1	Michael Pohst, Hans Zassenhaus	On unit computation in real quadratic number fields.	EUROSAM	1979	DBLP DOI BibTeX RDF
1	A. C. Norman, James H. Davenport	Integration -- the dust settles? (invited).	EUROSAM	1979	DBLP DOI BibTeX RDF
1	Jörg H. Siekmann	Unification of commutative terms.	EUROSAM	1979	DBLP DOI BibTeX RDF
1	Keith O. Geddes	Convergence behavior of the Newton iteration for first order differential equations.	EUROSAM	1979	DBLP DOI BibTeX RDF
1	Jacob T. Schwartz	Probabilistic algorithms for verification of polynomial identities (invited).	EUROSAM	1979	DBLP DOI BibTeX RDF
1	Josh D. Cohen, David Y. Y. Yun	Algebraic extensions of arbitrary integral domains.	EUROSAM	1979	DBLP DOI BibTeX RDF
1	Michele Caffo, Ettore Remiddi, Sandro Turrini	An algorithm for the analytic evaluation of a class of integrals.	EUROSAM	1979	DBLP DOI BibTeX RDF
1	John P. Fitch	A survey of symbolic computation in physics (invited).	EUROSAM	1979	DBLP DOI BibTeX RDF
1	George Havas, Leon Sterling	Integer matrices and Abelian groups (invited).	EUROSAM	1979	DBLP DOI BibTeX RDF
1	Edward W. Ng (eds.)	Symbolic and Algebraic Computation, EUROSAM '79, An International Symposiumon Symbolic and Algebraic Computation, Marseille, France, June 1979, Proceedings	EUROSAM	1979	DBLP DOI BibTeX RDF
1	Anthony C. Hearn	Non-modular computation of polynomial GCD's using trial division.	EUROSAM	1979	DBLP DOI BibTeX RDF
1	Bruno Buchberger	A criterion for detecting unnecessary reductions in the construction of Groebner bases.	EUROSAM	1979	DBLP DOI BibTeX RDF
1	Paul S. Wang	Analysis of multivariate iterative and recursive P-adic.	EUROSAM	1979	DBLP DOI BibTeX RDF
1	A. C. Norman, P. M. A. Moore	The initial design of a vector based algebra system.	EUROSAM	1979	DBLP DOI BibTeX RDF
1	Hatem M. Khalil, Dana L. Ulery	A semi-numeric difference algorithm.	EUROSAM	1979	DBLP DOI BibTeX RDF
1	David Y. Y. Yun, Fred G. Gustavson	Fast computation of rational Hermite interpolants and solving Toeplitz system of equations via the extended Euclidean algorithm.	EUROSAM	1979	DBLP DOI BibTeX RDF
1	Richard Zippel	Probabilistic algorithms for sparse polynomials.	EUROSAM	1979	DBLP DOI BibTeX RDF
1	Michael R. Genesereth	Canonicity in rule systems.	EUROSAM	1979	DBLP DOI BibTeX RDF
1	Dennis S. Arnon	A cellular decomposition algorithm for semi-algebraic sets.	EUROSAM	1979	DBLP DOI BibTeX RDF
1	Robert T. Moenck, John H. Carter	Approximate algorithms to derive exact solutions to systems of linear equations.	EUROSAM	1979	DBLP DOI BibTeX RDF
1	Peter Schmidt 0002	Substitution methods for the automatic symbolic solution of differential equations of first order and first degree.	EUROSAM	1979	DBLP DOI BibTeX RDF
1	David W. Matula, Peter Kornerup	An approximate rational arithmetic system with intrinsic recovery of simple fractions during expression evaluation.	EUROSAM	1979	DBLP DOI BibTeX RDF
1	G. Caplat	Symbolic manipulations in interval arithmetic problems.	EUROSAM	1979	DBLP DOI BibTeX RDF
1	Daniel Lazard	Systems of algebraic equations.	EUROSAM	1979	DBLP DOI BibTeX RDF
1	Edward W. Ng	Symbolic-Numeric Interface: a review (in absentia).	EUROSAM	1979	DBLP DOI BibTeX RDF
1	A. Voros	Symbol calculus by symbolic computation and semi-classical expansions.	EUROSAM	1979	DBLP DOI BibTeX RDF
1	Barry M. Trager	Integration of simple radical extensions.	EUROSAM	1979	DBLP DOI BibTeX RDF
1	Daniel G. Bobrow, L. Peter Deutsch	Extending Interlisp for modularization and efficiency.	EUROSAM	1979	DBLP DOI BibTeX RDF
1	Martin L. Griss, Robert R. Kessler, Gerald Q. Maguire Jr.	TLISP -- a Transportable LISP implemented in P-code.	EUROSAM	1979	DBLP DOI BibTeX RDF
1	Albert D. Rich, David R. Stoutemyer	Capabilities of the MUMATH-78 computer algebra system for the INTEL-8080 microprocessor (invited).	EUROSAM	1979	DBLP DOI BibTeX RDF
1	Alfred Woll	Gamma-algebra algorithms for canonical hyper complex representations.	EUROSAM	1979	DBLP DOI BibTeX RDF
1	Alfred Woll	gamma-Algebra algorithms for canonical hypercomplex representations.	EUROSAM	1979	DBLP DOI BibTeX RDF
1	Jeffrey S. Leon, Vera Pless	CAMAC 1979.	EUROSAM	1979	DBLP DOI BibTeX RDF
1	Evelyne Tournier	An algebraic form of a solution of a system of linear differential equations with constant coefficients.	EUROSAM	1979	DBLP DOI BibTeX RDF
1	Richard M. Cowan, Martin L. Griss	Hashing, the key to rapid pattern matching.	EUROSAM	1979	DBLP DOI BibTeX RDF
1	Giorgio Ausiello, Giovanni Mascari	Design of algebraic data structures with the approach of abstract data types.	EUROSAM	1979	DBLP DOI BibTeX RDF
1	Richard D. Jenks	MODLISP -- an introduction (invited).	EUROSAM	1979	DBLP DOI BibTeX RDF
1	Joel Moses, Richard Zippel	An extension of Liouville's theorem.	EUROSAM	1979	DBLP DOI BibTeX RDF

Publications at "EUROSAM"( http://dblp.L3S.de/Venues/EUROSAM )