Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Marisa Navarro, Fernando Orejas |
On the Equivalence of Hierarchical and Non-Hierarchical Rewriting on Conditional Term Rewriting Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROSAM ![In: EUROSAM 84, International Symposium on Symbolic and Algebraic Computation, Cambridge, England, UK, July 9-11, 1984, Proceedings, pp. 74-85, 1984, Springer, 3-540-13350-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROSAM ![In: EUROSAM 84, International Symposium on Symbolic and Algebraic Computation, Cambridge, England, UK, July 9-11, 1984, Proceedings, pp. 47-58, 1984, Springer, 3-540-13350-X. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
1 | Guy W. Cherry, Bob F. Caviness |
Integration in Finite Terms with Special Functions: A Progress Report. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROSAM ![In: EUROSAM 84, International Symposium on Symbolic and Algebraic Computation, Cambridge, England, UK, July 9-11, 1984, Proceedings, pp. 351-358, 1984, Springer, 3-540-13350-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROSAM ![In: EUROSAM 84, International Symposium on Symbolic and Algebraic Computation, Cambridge, England, UK, July 9-11, 1984, Proceedings, pp. 237-247, 1984, Springer, 3-540-13350-X. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
1 | Paul S. Wang |
Implementation of a p-adic Package for Polynomial Factorization and Other Related Operations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROSAM ![In: EUROSAM 84, International Symposium on Symbolic and Algebraic Computation, Cambridge, England, UK, July 9-11, 1984, Proceedings, pp. 86-99, 1984, Springer, 3-540-13350-X. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
1 | Erich L. Kaltofen |
A Note on the Risch Differential Equation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROSAM ![In: EUROSAM 84, International Symposium on Symbolic and Algebraic Computation, Cambridge, England, UK, July 9-11, 1984, Proceedings, pp. 359-366, 1984, Springer, 3-540-13350-X. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
1 | Thomas G. Berry |
Detecting Torsion Divisors on Curves of Genus 2. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROSAM ![In: EUROSAM 84, International Symposium on Symbolic and Algebraic Computation, Cambridge, England, UK, July 9-11, 1984, Proceedings, pp. 108-114, 1984, Springer, 3-540-13350-X. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
1 | James H. Davenport |
y'+ fy = g. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROSAM ![In: EUROSAM 84, International Symposium on Symbolic and Algebraic Computation, Cambridge, England, UK, July 9-11, 1984, Proceedings, pp. 341-350, 1984, Springer, 3-540-13350-X. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
1 | Susan Landau 0001 |
Polynomial Time Algorithms for Galois Groups. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROSAM ![In: EUROSAM 84, International Symposium on Symbolic and Algebraic Computation, Cambridge, England, UK, July 9-11, 1984, Proceedings, pp. 225-236, 1984, Springer, 3-540-13350-X. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
1 | Marc Giusti |
Some Effectivity Problems in Polynomial Ideal Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROSAM ![In: EUROSAM 84, International Symposium on Symbolic and Algebraic Computation, Cambridge, England, UK, July 9-11, 1984, Proceedings, pp. 159-171, 1984, Springer, 3-540-13350-X. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
1 | Shunro Watanabe |
An Experiment Toward a General Quadrature for Second Order Linear Ordinary Differential Equations by Symbolic Computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROSAM ![In: EUROSAM 84, International Symposium on Symbolic and Algebraic Computation, Cambridge, England, UK, July 9-11, 1984, Proceedings, pp. 13-22, 1984, Springer, 3-540-13350-X. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
1 | Najid-Zejli Hakima |
Computation in Radical Extensions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROSAM ![In: EUROSAM 84, International Symposium on Symbolic and Algebraic Computation, Cambridge, England, UK, July 9-11, 1984, Proceedings, pp. 115-122, 1984, Springer, 3-540-13350-X. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
1 | H. Michael Möller, Ferdinando Mora |
Upper and Lower Bounds for the Degree of Groebner Bases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROSAM ![In: EUROSAM 84, International Symposium on Symbolic and Algebraic Computation, Cambridge, England, UK, July 9-11, 1984, Proceedings, pp. 172-183, 1984, Springer, 3-540-13350-X. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
1 | Abdelilah Kandri-Rody, Deepak Kapur |
Algorithms for Computing Groebner Bases of Polynomial Ideals over Various Euclidean Rings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROSAM ![In: EUROSAM 84, International Symposium on Symbolic and Algebraic Computation, Cambridge, England, UK, July 9-11, 1984, Proceedings, pp. 195-206, 1984, Springer, 3-540-13350-X. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROSAM ![Springer, 3-540-13350-X The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
1 | Robert H. Gilman 0001 |
Computations with Rational Subsets of Confluent Groups. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROSAM ![In: EUROSAM 84, International Symposium on Symbolic and Algebraic Computation, Cambridge, England, UK, July 9-11, 1984, Proceedings, pp. 207-212, 1984, Springer, 3-540-13350-X. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
1 | G. Cesareo, Riccardo Marino |
On the Application of Symbolic Computation to Nonlinear Control Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROSAM ![In: EUROSAM 84, International Symposium on Symbolic and Algebraic Computation, Cambridge, England, UK, July 9-11, 1984, Proceedings, pp. 35-46, 1984, Springer, 3-540-13350-X. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
1 | Ralph W. Wilkerson |
Symbolic Computation and the Dirichlet Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROSAM ![In: EUROSAM 84, International Symposium on Symbolic and Algebraic Computation, Cambridge, England, UK, July 9-11, 1984, Proceedings, pp. 59-63, 1984, Springer, 3-540-13350-X. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
1 | Klaus Thull |
Approximation by Continued Fraction of a Polynomial Real Root. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROSAM ![In: EUROSAM 84, International Symposium on Symbolic and Algebraic Computation, Cambridge, England, UK, July 9-11, 1984, Proceedings, pp. 367-377, 1984, Springer, 3-540-13350-X. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
1 | Johannes Buchmann 0001 |
A Criterion for the Equivalence of Two Ideals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROSAM ![In: EUROSAM 84, International Symposium on Symbolic and Algebraic Computation, Cambridge, England, UK, July 9-11, 1984, Proceedings, pp. 333-340, 1984, Springer, 3-540-13350-X. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
1 | Claire Dicrescenzo, Dominique Duval |
Computations on Curves. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROSAM ![In: EUROSAM 84, International Symposium on Symbolic and Algebraic Computation, Cambridge, England, UK, July 9-11, 1984, Proceedings, pp. 100-107, 1984, Springer, 3-540-13350-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROSAM ![In: EUROSAM 84, International Symposium on Symbolic and Algebraic Computation, Cambridge, England, UK, July 9-11, 1984, Proceedings, pp. 285-296, 1984, Springer, 3-540-13350-X. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
1 | Nikolaos Glinos, B. David Saunders |
Operational Calculus Technique for Solving Differential Equations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROSAM ![In: EUROSAM 84, International Symposium on Symbolic and Algebraic Computation, Cambridge, England, UK, July 9-11, 1984, Proceedings, pp. 23-34, 1984, Springer, 3-540-13350-X. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
1 | Ben J. A. Hulshof, J. A. van Hulzen |
Automatic Error Cumulation Control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROSAM ![In: EUROSAM 84, International Symposium on Symbolic and Algebraic Computation, Cambridge, England, UK, July 9-11, 1984, Proceedings, pp. 260-271, 1984, Springer, 3-540-13350-X. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
1 | Jean Della Dora, Evelyne Tournier |
Homogeneous Linear Difference Equation (Frobenius - Boole Method). ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROSAM ![In: EUROSAM 84, International Symposium on Symbolic and Algebraic Computation, Cambridge, England, UK, July 9-11, 1984, Proceedings, pp. 2-12, 1984, Springer, 3-540-13350-X. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
1 | Guy Viry |
Simplification of Polynomials in n Variables. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROSAM ![In: EUROSAM 84, International Symposium on Symbolic and Algebraic Computation, Cambridge, England, UK, July 9-11, 1984, Proceedings, pp. 64-73, 1984, Springer, 3-540-13350-X. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
1 | Richard D. Jenks |
A Primer: 11 Keys to New Scratchpad. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROSAM ![In: EUROSAM 84, International Symposium on Symbolic and Algebraic Computation, Cambridge, England, UK, July 9-11, 1984, Proceedings, pp. 123-147, 1984, Springer, 3-540-13350-X. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
1 | Ming-Deh A. Huang |
On a Simple Primality Testing Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROSAM ![In: EUROSAM 84, International Symposium on Symbolic and Algebraic Computation, Cambridge, England, UK, July 9-11, 1984, Proceedings, pp. 321-332, 1984, Springer, 3-540-13350-X. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
1 | John P. Fitch, Julian A. Padget |
A Pure and Really Simple Initial Functional Algebraic Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROSAM ![In: EUROSAM 84, International Symposium on Symbolic and Algebraic Computation, Cambridge, England, UK, July 9-11, 1984, Proceedings, pp. 148-158, 1984, Springer, 3-540-13350-X. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
1 | Franz Winkler 0001 |
On the Complexity of the Groebner-Bases Algorithm over K[x, y, z]. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROSAM ![In: EUROSAM 84, International Symposium on Symbolic and Algebraic Computation, Cambridge, England, UK, July 9-11, 1984, Proceedings, pp. 184-194, 1984, Springer, 3-540-13350-X. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
1 | Erich L. Kaltofen |
Effective Hilbert Irreducibility. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROSAM ![In: EUROSAM 84, International Symposium on Symbolic and Algebraic Computation, Cambridge, England, UK, July 9-11, 1984, Proceedings, pp. 277-284, 1984, Springer, 3-540-13350-X. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
1 | Jeffrey S. Leon |
CAMAC2: A Portable System for Combinatorial and Algebraic Computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROSAM ![In: EUROSAM 84, International Symposium on Symbolic and Algebraic Computation, Cambridge, England, UK, July 9-11, 1984, Proceedings, pp. 213-224, 1984, Springer, 3-540-13350-X. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
1 | Arjen K. Lenstra |
Polynomial Factorization by Root Approximation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROSAM ![In: EUROSAM 84, International Symposium on Symbolic and Algebraic Computation, Cambridge, England, UK, July 9-11, 1984, Proceedings, pp. 272-276, 1984, Springer, 3-540-13350-X. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
1 | Michael Rothstein |
On Pseudo-Resultante. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROSAM ![In: EUROSAM 84, International Symposium on Symbolic and Algebraic Computation, Cambridge, England, UK, July 9-11, 1984, Proceedings, pp. 386-396, 1984, Springer, 3-540-13350-X. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
1 | Maurice Mignotte |
On the Automatic Resolution of Certain Diophantine Equations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROSAM ![In: EUROSAM 84, International Symposium on Symbolic and Algebraic Computation, Cambridge, England, UK, July 9-11, 1984, Proceedings, pp. 378-385, 1984, Springer, 3-540-13350-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROSAM ![In: EUROSAM 84, International Symposium on Symbolic and Algebraic Computation, Cambridge, England, UK, July 9-11, 1984, Proceedings, pp. 310-320, 1984, Springer, 3-540-13350-X. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
1 | Denis Lugiez |
A New Lifting Process for the Multivariate Polynomial Factorization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROSAM ![In: EUROSAM 84, International Symposium on Symbolic and Algebraic Computation, Cambridge, England, UK, July 9-11, 1984, Proceedings, pp. 297-309, 1984, Springer, 3-540-13350-X. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
1 | Stephen R. Czapor, Keith O. Geddes |
A Comparison of Algorithms for the Symbolic Computation of Padé Approximants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROSAM ![In: EUROSAM 84, International Symposium on Symbolic and Algebraic Computation, Cambridge, England, UK, July 9-11, 1984, Proceedings, pp. 248-259, 1984, Springer, 3-540-13350-X. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
1 | Lars Hörnfeldt |
A system for automatic generation of tensor algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROSAM ![In: Symbolic and Algebraic Computation, EUROSAM '79, An International Symposiumon Symbolic and Algebraic Computation, Marseille, France, June 1979, Proceedings, pp. 279-290, 1979, Springer, 3-540-09519-5. The full citation details ...](Pics/full.jpeg) |
1979 |
DBLP DOI BibTeX RDF |
|
1 | Anders Karlhede, Jan E. Åman |
Progress towards a solution of the equivalence problem in general relativity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROSAM ![In: Symbolic and Algebraic Computation, EUROSAM '79, An International Symposiumon Symbolic and Algebraic Computation, Marseille, France, June 1979, Proceedings, pp. 42-44, 1979, Springer, 3-540-09519-5. The full citation details ...](Pics/full.jpeg) |
1979 |
DBLP DOI BibTeX RDF |
|
1 | A. Galli |
Product of symmetric and anti-symmetric polynomials. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROSAM ![In: Symbolic and Algebraic Computation, EUROSAM '79, An International Symposiumon Symbolic and Algebraic Computation, Marseille, France, June 1979, Proceedings, pp. 240, 1979, Springer, 3-540-09519-5. The full citation details ...](Pics/full.jpeg) |
1979 |
DBLP DOI BibTeX RDF |
|
1 | George E. Collins |
Factoring univariate integral polynomial in polynomial average time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROSAM ![In: Symbolic and Algebraic Computation, EUROSAM '79, An International Symposiumon Symbolic and Algebraic Computation, Marseille, France, June 1979, Proceedings, pp. 317-329, 1979, Springer, 3-540-09519-5. The full citation details ...](Pics/full.jpeg) |
1979 |
DBLP DOI BibTeX RDF |
|
1 | James H. Davenport |
Integration of algebraic functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROSAM ![In: Symbolic and Algebraic Computation, EUROSAM '79, An International Symposiumon Symbolic and Algebraic Computation, Marseille, France, June 1979, Proceedings, pp. 415-425, 1979, Springer, 3-540-09519-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROSAM ![In: Symbolic and Algebraic Computation, EUROSAM '79, An International Symposiumon Symbolic and Algebraic Computation, Marseille, France, June 1979, Proceedings, pp. 108-118, 1979, Springer, 3-540-09519-5. The full citation details ...](Pics/full.jpeg) |
1979 |
DBLP DOI BibTeX RDF |
|
1 | Hans Zassenhaus |
On the van der Waerden criterion for the group of an equation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROSAM ![In: Symbolic and Algebraic Computation, EUROSAM '79, An International Symposiumon Symbolic and Algebraic Computation, Marseille, France, June 1979, Proceedings, pp. 95-107, 1979, Springer, 3-540-09519-5. The full citation details ...](Pics/full.jpeg) |
1979 |
DBLP DOI BibTeX RDF |
|
1 | Volkmar Felsch, Joachim Neubüser |
An algorithm for the computation of conjugacy classes and centralizes in p-groups. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROSAM ![In: Symbolic and Algebraic Computation, EUROSAM '79, An International Symposiumon Symbolic and Algebraic Computation, Marseille, France, June 1979, Proceedings, pp. 452-465, 1979, Springer, 3-540-09519-5. The full citation details ...](Pics/full.jpeg) |
1979 |
DBLP DOI BibTeX RDF |
|
1 | John A. Campbell, Simon |
Symbolic computing with compression of data structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROSAM ![In: Symbolic and Algebraic Computation, EUROSAM '79, An International Symposiumon Symbolic and Algebraic Computation, Marseille, France, June 1979, Proceedings, pp. 503-513, 1979, Springer, 3-540-09519-5. The full citation details ...](Pics/full.jpeg) |
1979 |
DBLP DOI BibTeX RDF |
|
1 | Tateaki Sasaki |
An arbitrary precision real arithmetic package in REDUCE. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROSAM ![In: Symbolic and Algebraic Computation, EUROSAM '79, An International Symposiumon Symbolic and Algebraic Computation, Marseille, France, June 1979, Proceedings, pp. 358-368, 1979, Springer, 3-540-09519-5. The full citation details ...](Pics/full.jpeg) |
1979 |
DBLP DOI BibTeX RDF |
|
1 | Jörg H. Siekmann |
Matching under commutativity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROSAM ![In: Symbolic and Algebraic Computation, EUROSAM '79, An International Symposiumon Symbolic and Algebraic Computation, Marseille, France, June 1979, Proceedings, pp. 531-545, 1979, Springer, 3-540-09519-5. The full citation details ...](Pics/full.jpeg) |
1979 |
DBLP DOI BibTeX RDF |
|
1 | James H. Davenport |
The computerization of algebraic geometry. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROSAM ![In: Symbolic and Algebraic Computation, EUROSAM '79, An International Symposiumon Symbolic and Algebraic Computation, Marseille, France, June 1979, Proceedings, pp. 119-133, 1979, Springer, 3-540-09519-5. The full citation details ...](Pics/full.jpeg) |
1979 |
DBLP DOI BibTeX RDF |
|
1 | J. Smit |
New recursive minor expansion algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROSAM ![In: Symbolic and Algebraic Computation, EUROSAM '79, An International Symposiumon Symbolic and Algebraic Computation, Marseille, France, June 1979, Proceedings, pp. 74-87, 1979, Springer, 3-540-09519-5. The full citation details ...](Pics/full.jpeg) |
1979 |
DBLP DOI BibTeX RDF |
|
1 | J. A. van Hulzen |
Solving systems of polynomial equations with floating-point coefficients. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROSAM ![In: Symbolic and Algebraic Computation, EUROSAM '79, An International Symposiumon Symbolic and Algebraic Computation, Marseille, France, June 1979, Proceedings, pp. 346-357, 1979, Springer, 3-540-09519-5. The full citation details ...](Pics/full.jpeg) |
1979 |
DBLP DOI BibTeX RDF |
|
1 | Michael Pohst, Hans Zassenhaus |
On unit computation in real quadratic number fields. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROSAM ![In: Symbolic and Algebraic Computation, EUROSAM '79, An International Symposiumon Symbolic and Algebraic Computation, Marseille, France, June 1979, Proceedings, pp. 140-152, 1979, Springer, 3-540-09519-5. The full citation details ...](Pics/full.jpeg) |
1979 |
DBLP DOI BibTeX RDF |
|
1 | A. C. Norman, James H. Davenport |
Integration -- the dust settles? (invited). ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROSAM ![In: Symbolic and Algebraic Computation, EUROSAM '79, An International Symposiumon Symbolic and Algebraic Computation, Marseille, France, June 1979, Proceedings, pp. 398-407, 1979, Springer, 3-540-09519-5. The full citation details ...](Pics/full.jpeg) |
1979 |
DBLP DOI BibTeX RDF |
|
1 | Jörg H. Siekmann |
Unification of commutative terms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROSAM ![In: Symbolic and Algebraic Computation, EUROSAM '79, An International Symposiumon Symbolic and Algebraic Computation, Marseille, France, June 1979, Proceedings, pp. 22, 1979, Springer, 3-540-09519-5. The full citation details ...](Pics/full.jpeg) |
1979 |
DBLP DOI BibTeX RDF |
|
1 | Keith O. Geddes |
Convergence behavior of the Newton iteration for first order differential equations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROSAM ![In: Symbolic and Algebraic Computation, EUROSAM '79, An International Symposiumon Symbolic and Algebraic Computation, Marseille, France, June 1979, Proceedings, pp. 189-199, 1979, Springer, 3-540-09519-5. The full citation details ...](Pics/full.jpeg) |
1979 |
DBLP DOI BibTeX RDF |
|
1 | Jacob T. Schwartz |
Probabilistic algorithms for verification of polynomial identities (invited). ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROSAM ![In: Symbolic and Algebraic Computation, EUROSAM '79, An International Symposiumon Symbolic and Algebraic Computation, Marseille, France, June 1979, Proceedings, pp. 200-215, 1979, Springer, 3-540-09519-5. The full citation details ...](Pics/full.jpeg) |
1979 |
DBLP DOI BibTeX RDF |
|
1 | Josh D. Cohen, David Y. Y. Yun |
Algebraic extensions of arbitrary integral domains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROSAM ![In: Symbolic and Algebraic Computation, EUROSAM '79, An International Symposiumon Symbolic and Algebraic Computation, Marseille, France, June 1979, Proceedings, pp. 134-139, 1979, Springer, 3-540-09519-5. The full citation details ...](Pics/full.jpeg) |
1979 |
DBLP DOI BibTeX RDF |
|
1 | Michele Caffo, Ettore Remiddi, Sandro Turrini |
An algorithm for the analytic evaluation of a class of integrals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROSAM ![In: Symbolic and Algebraic Computation, EUROSAM '79, An International Symposiumon Symbolic and Algebraic Computation, Marseille, France, June 1979, Proceedings, pp. 52-57, 1979, Springer, 3-540-09519-5. The full citation details ...](Pics/full.jpeg) |
1979 |
DBLP DOI BibTeX RDF |
|
1 | John P. Fitch |
A survey of symbolic computation in physics (invited). ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROSAM ![In: Symbolic and Algebraic Computation, EUROSAM '79, An International Symposiumon Symbolic and Algebraic Computation, Marseille, France, June 1979, Proceedings, pp. 30-41, 1979, Springer, 3-540-09519-5. The full citation details ...](Pics/full.jpeg) |
1979 |
DBLP DOI BibTeX RDF |
|
1 | George Havas, Leon Sterling |
Integer matrices and Abelian groups (invited). ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROSAM ![In: Symbolic and Algebraic Computation, EUROSAM '79, An International Symposiumon Symbolic and Algebraic Computation, Marseille, France, June 1979, Proceedings, pp. 431-451, 1979, Springer, 3-540-09519-5. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROSAM ![Springer, 3-540-09519-5 The full citation details ...](Pics/full.jpeg) |
1979 |
DBLP DOI BibTeX RDF |
|
1 | Anthony C. Hearn |
Non-modular computation of polynomial GCD's using trial division. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROSAM ![In: Symbolic and Algebraic Computation, EUROSAM '79, An International Symposiumon Symbolic and Algebraic Computation, Marseille, France, June 1979, Proceedings, pp. 227-239, 1979, Springer, 3-540-09519-5. The full citation details ...](Pics/full.jpeg) |
1979 |
DBLP DOI BibTeX RDF |
|
1 | Bruno Buchberger |
A criterion for detecting unnecessary reductions in the construction of Groebner bases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROSAM ![In: Symbolic and Algebraic Computation, EUROSAM '79, An International Symposiumon Symbolic and Algebraic Computation, Marseille, France, June 1979, Proceedings, pp. 3-21, 1979, Springer, 3-540-09519-5. The full citation details ...](Pics/full.jpeg) |
1979 |
DBLP DOI BibTeX RDF |
|
1 | Paul S. Wang |
Analysis of multivariate iterative and recursive P-adic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROSAM ![In: Symbolic and Algebraic Computation, EUROSAM '79, An International Symposiumon Symbolic and Algebraic Computation, Marseille, France, June 1979, Proceedings, pp. 291-300, 1979, Springer, 3-540-09519-5. The full citation details ...](Pics/full.jpeg) |
1979 |
DBLP DOI BibTeX RDF |
|
1 | A. C. Norman, P. M. A. Moore |
The initial design of a vector based algebra system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROSAM ![In: Symbolic and Algebraic Computation, EUROSAM '79, An International Symposiumon Symbolic and Algebraic Computation, Marseille, France, June 1979, Proceedings, pp. 258-265, 1979, Springer, 3-540-09519-5. The full citation details ...](Pics/full.jpeg) |
1979 |
DBLP DOI BibTeX RDF |
|
1 | Hatem M. Khalil, Dana L. Ulery |
A semi-numeric difference algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROSAM ![In: Symbolic and Algebraic Computation, EUROSAM '79, An International Symposiumon Symbolic and Algebraic Computation, Marseille, France, June 1979, Proceedings, pp. 177-188, 1979, Springer, 3-540-09519-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROSAM ![In: Symbolic and Algebraic Computation, EUROSAM '79, An International Symposiumon Symbolic and Algebraic Computation, Marseille, France, June 1979, Proceedings, pp. 58-64, 1979, Springer, 3-540-09519-5. The full citation details ...](Pics/full.jpeg) |
1979 |
DBLP DOI BibTeX RDF |
|
1 | Richard Zippel |
Probabilistic algorithms for sparse polynomials. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROSAM ![In: Symbolic and Algebraic Computation, EUROSAM '79, An International Symposiumon Symbolic and Algebraic Computation, Marseille, France, June 1979, Proceedings, pp. 216-226, 1979, Springer, 3-540-09519-5. The full citation details ...](Pics/full.jpeg) |
1979 |
DBLP DOI BibTeX RDF |
|
1 | Michael R. Genesereth |
Canonicity in rule systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROSAM ![In: Symbolic and Algebraic Computation, EUROSAM '79, An International Symposiumon Symbolic and Algebraic Computation, Marseille, France, June 1979, Proceedings, pp. 23-29, 1979, Springer, 3-540-09519-5. The full citation details ...](Pics/full.jpeg) |
1979 |
DBLP DOI BibTeX RDF |
|
1 | Dennis S. Arnon |
A cellular decomposition algorithm for semi-algebraic sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROSAM ![In: Symbolic and Algebraic Computation, EUROSAM '79, An International Symposiumon Symbolic and Algebraic Computation, Marseille, France, June 1979, Proceedings, pp. 301-315, 1979, Springer, 3-540-09519-5. The full citation details ...](Pics/full.jpeg) |
1979 |
DBLP DOI BibTeX RDF |
|
1 | Robert T. Moenck, John H. Carter |
Approximate algorithms to derive exact solutions to systems of linear equations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROSAM ![In: Symbolic and Algebraic Computation, EUROSAM '79, An International Symposiumon Symbolic and Algebraic Computation, Marseille, France, June 1979, Proceedings, pp. 65-73, 1979, Springer, 3-540-09519-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROSAM ![In: Symbolic and Algebraic Computation, EUROSAM '79, An International Symposiumon Symbolic and Algebraic Computation, Marseille, France, June 1979, Proceedings, pp. 164-176, 1979, Springer, 3-540-09519-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROSAM ![In: Symbolic and Algebraic Computation, EUROSAM '79, An International Symposiumon Symbolic and Algebraic Computation, Marseille, France, June 1979, Proceedings, pp. 383-397, 1979, Springer, 3-540-09519-5. The full citation details ...](Pics/full.jpeg) |
1979 |
DBLP DOI BibTeX RDF |
|
1 | G. Caplat |
Symbolic manipulations in interval arithmetic problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROSAM ![In: Symbolic and Algebraic Computation, EUROSAM '79, An International Symposiumon Symbolic and Algebraic Computation, Marseille, France, June 1979, Proceedings, pp. 369-382, 1979, Springer, 3-540-09519-5. The full citation details ...](Pics/full.jpeg) |
1979 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Lazard |
Systems of algebraic equations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROSAM ![In: Symbolic and Algebraic Computation, EUROSAM '79, An International Symposiumon Symbolic and Algebraic Computation, Marseille, France, June 1979, Proceedings, pp. 88-94, 1979, Springer, 3-540-09519-5. The full citation details ...](Pics/full.jpeg) |
1979 |
DBLP DOI BibTeX RDF |
|
1 | Edward W. Ng |
Symbolic-Numeric Interface: a review (in absentia). ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROSAM ![In: Symbolic and Algebraic Computation, EUROSAM '79, An International Symposiumon Symbolic and Algebraic Computation, Marseille, France, June 1979, Proceedings, pp. 330-345, 1979, Springer, 3-540-09519-5. The full citation details ...](Pics/full.jpeg) |
1979 |
DBLP DOI BibTeX RDF |
|
1 | A. Voros |
Symbol calculus by symbolic computation and semi-classical expansions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROSAM ![In: Symbolic and Algebraic Computation, EUROSAM '79, An International Symposiumon Symbolic and Algebraic Computation, Marseille, France, June 1979, Proceedings, pp. 45-51, 1979, Springer, 3-540-09519-5. The full citation details ...](Pics/full.jpeg) |
1979 |
DBLP DOI BibTeX RDF |
|
1 | Barry M. Trager |
Integration of simple radical extensions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROSAM ![In: Symbolic and Algebraic Computation, EUROSAM '79, An International Symposiumon Symbolic and Algebraic Computation, Marseille, France, June 1979, Proceedings, pp. 408-414, 1979, Springer, 3-540-09519-5. The full citation details ...](Pics/full.jpeg) |
1979 |
DBLP DOI BibTeX RDF |
|
1 | Daniel G. Bobrow, L. Peter Deutsch |
Extending Interlisp for modularization and efficiency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROSAM ![In: Symbolic and Algebraic Computation, EUROSAM '79, An International Symposiumon Symbolic and Algebraic Computation, Marseille, France, June 1979, Proceedings, pp. 481-489, 1979, Springer, 3-540-09519-5. The full citation details ...](Pics/full.jpeg) |
1979 |
DBLP DOI BibTeX RDF |
|
1 | Martin L. Griss, Robert R. Kessler, Gerald Q. Maguire Jr. |
TLISP -- a Transportable LISP implemented in P-code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROSAM ![In: Symbolic and Algebraic Computation, EUROSAM '79, An International Symposiumon Symbolic and Algebraic Computation, Marseille, France, June 1979, Proceedings, pp. 490-502, 1979, Springer, 3-540-09519-5. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROSAM ![In: Symbolic and Algebraic Computation, EUROSAM '79, An International Symposiumon Symbolic and Algebraic Computation, Marseille, France, June 1979, Proceedings, pp. 241-248, 1979, Springer, 3-540-09519-5. The full citation details ...](Pics/full.jpeg) |
1979 |
DBLP DOI BibTeX RDF |
|
1 | Alfred Woll |
Gamma-algebra algorithms for canonical hyper complex representations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROSAM ![In: Symbolic and Algebraic Computation, EUROSAM '79, An International Symposiumon Symbolic and Algebraic Computation, Marseille, France, June 1979, Proceedings, pp. 316, 1979, Springer, 3-540-09519-5. The full citation details ...](Pics/full.jpeg) |
1979 |
DBLP DOI BibTeX RDF |
|
1 | Alfred Woll |
gamma-Algebra algorithms for canonical hypercomplex representations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROSAM ![In: Symbolic and Algebraic Computation, EUROSAM '79, An International Symposiumon Symbolic and Algebraic Computation, Marseille, France, June 1979, Proceedings, pp. 546-557, 1979, Springer, 3-540-09519-5. The full citation details ...](Pics/full.jpeg) |
1979 |
DBLP DOI BibTeX RDF |
|
1 | Jeffrey S. Leon, Vera Pless |
CAMAC 1979. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROSAM ![In: Symbolic and Algebraic Computation, EUROSAM '79, An International Symposiumon Symbolic and Algebraic Computation, Marseille, France, June 1979, Proceedings, pp. 249-257, 1979, Springer, 3-540-09519-5. The full citation details ...](Pics/full.jpeg) |
1979 |
DBLP DOI BibTeX RDF |
|
1 | Evelyne Tournier |
An algebraic form of a solution of a system of linear differential equations with constant coefficients. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROSAM ![In: Symbolic and Algebraic Computation, EUROSAM '79, An International Symposiumon Symbolic and Algebraic Computation, Marseille, France, June 1979, Proceedings, pp. 153-163, 1979, Springer, 3-540-09519-5. The full citation details ...](Pics/full.jpeg) |
1979 |
DBLP DOI BibTeX RDF |
|
1 | Richard M. Cowan, Martin L. Griss |
Hashing, the key to rapid pattern matching. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROSAM ![In: Symbolic and Algebraic Computation, EUROSAM '79, An International Symposiumon Symbolic and Algebraic Computation, Marseille, France, June 1979, Proceedings, pp. 266-278, 1979, Springer, 3-540-09519-5. The full citation details ...](Pics/full.jpeg) |
1979 |
DBLP DOI BibTeX RDF |
|
1 | Giorgio Ausiello, Giovanni Mascari |
Design of algebraic data structures with the approach of abstract data types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROSAM ![In: Symbolic and Algebraic Computation, EUROSAM '79, An International Symposiumon Symbolic and Algebraic Computation, Marseille, France, June 1979, Proceedings, pp. 514-530, 1979, Springer, 3-540-09519-5. The full citation details ...](Pics/full.jpeg) |
1979 |
DBLP DOI BibTeX RDF |
|
1 | Richard D. Jenks |
MODLISP -- an introduction (invited). ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROSAM ![In: Symbolic and Algebraic Computation, EUROSAM '79, An International Symposiumon Symbolic and Algebraic Computation, Marseille, France, June 1979, Proceedings, pp. 466-480, 1979, Springer, 3-540-09519-5. The full citation details ...](Pics/full.jpeg) |
1979 |
DBLP DOI BibTeX RDF |
|
1 | Joel Moses, Richard Zippel |
An extension of Liouville's theorem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROSAM ![In: Symbolic and Algebraic Computation, EUROSAM '79, An International Symposiumon Symbolic and Algebraic Computation, Marseille, France, June 1979, Proceedings, pp. 426-430, 1979, Springer, 3-540-09519-5. The full citation details ...](Pics/full.jpeg) |
1979 |
DBLP DOI BibTeX RDF |
|