Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

URL (DBLP): http://dblp.uni-trier.de/db/conf/eurocal

Publication years (Num. hits)
1982 (36)
Publication types (Num. hits)
inproceedings(35) proceedings(1)
Venues (Conferences, Journals, ...)
EUROCAM(36)
Authors
Daniel Lazard(2) J. A. van Hulzen(2) Jacques Calmet(2) A. C. Norman(1) Alan Bundy(1) Alfonso Miola(1) Anthony C. Hearn(1) Arjen K. Lenstra(1) Arnold Schönhage(1) Attilio Colagrossi(1) Bengt Malm(1) Bernard Silver(1) Bruno Buchberger(1) Claire Dicrescenzo(1) Daniel Claude(1) David K. Probst(1) More (+10 of total 54)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.
Results
Found 36 publication records. Showing 36 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Marc Bergman Algebraic Specifications: Constructive Methodology in Logic Programming. Search on Bibsonomy EUROCAM The full citation details ... 1982 DBLP  DOI  BibTeX  RDF
1Jacques Calmet, Rüdiger Loos Deterministic Versus Probabilistic Factorization of Integral Polynomials. Search on Bibsonomy EUROCAM The full citation details ... 1982 DBLP  DOI  BibTeX  RDF
1Françoise Lamnabhi-Lagarrigue, M. Lamnabhi Algebraic Computation of the Solution of Some NonLinear Differential Equations. Search on Bibsonomy EUROCAM The full citation details ... 1982 DBLP  DOI  BibTeX  RDF
1David K. Probst, Vangalur S. Alagar An Adaptive Hybrid Algorithm for Multiplying Dense Polynomials. Search on Bibsonomy EUROCAM The full citation details ... 1982 DBLP  DOI  BibTeX  RDF
1Anthony C. Hearn REDUCE - A Case Study in Algebra System Development. Search on Bibsonomy EUROCAM The full citation details ... 1982 DBLP  DOI  BibTeX  RDF
1Daniel Claude, Pierre Dufresne An Application of MACSYMA to Nonlinear Systems Decoupling. Search on Bibsonomy EUROCAM The full citation details ... 1982 DBLP  DOI  BibTeX  RDF
1Z. Lomecky Algorithms for the Computation of Free Lattices. Search on Bibsonomy EUROCAM The full citation details ... 1982 DBLP  DOI  BibTeX  RDF
1Peter K. H. Gragert, P. H. M. Kersten Implementation of Differential Geometric Objects and Functions with an Application to Extended Maxwell Equations. Search on Bibsonomy EUROCAM The full citation details ... 1982 DBLP  DOI  BibTeX  RDF
1Paul S. Wang Hacijan's Algorithm in VAXIMA: Improvements and Difficulties. Search on Bibsonomy EUROCAM The full citation details ... 1982 DBLP  DOI  BibTeX  RDF
1J. A. van Hulzen Computer Algebra Systems Viewed by a Notorious User. Search on Bibsonomy EUROCAM The full citation details ... 1982 DBLP  DOI  BibTeX  RDF
1Daniel Lazard On Polynomial Factorization. Search on Bibsonomy EUROCAM The full citation details ... 1982 DBLP  DOI  BibTeX  RDF
1Arjen K. Lenstra Lattices and Factorization of Polynomials over Algebraic Number Fields. Search on Bibsonomy EUROCAM The full citation details ... 1982 DBLP  DOI  BibTeX  RDF
1Dennis S. Arnon, Scott McCallum Cylindrical Algebraic Decomposition by Quantifier Elimination. Search on Bibsonomy EUROCAM The full citation details ... 1982 DBLP  DOI  BibTeX  RDF
1David R. Musser, Deepak Kapur Rewrite Rule Theory and Abstract Data Type Analysis. Search on Bibsonomy EUROCAM The full citation details ... 1982 DBLP  DOI  BibTeX  RDF
1Luciana Bordoni, Attilio Colagrossi, Alfonso Miola Linear Algebraic Approach for Computing Polynomial Resultant. Search on Bibsonomy EUROCAM The full citation details ... 1982 DBLP  DOI  BibTeX  RDF
1Ferdinando Mora An Algorithm to Compute the Equations of Tangent Cones. Search on Bibsonomy EUROCAM The full citation details ... 1982 DBLP  DOI  BibTeX  RDF
1Arnold Schönhage Asymptotically Fast Algorithms for the Numerical Multiplication and Division of Polynomials with Complex Coeficients. Search on Bibsonomy EUROCAM The full citation details ... 1982 DBLP  DOI  BibTeX  RDF
1Wolfgang Küchlin A Theorem-Proving Approach to the Knuth-Bendix Completion Algorithm. Search on Bibsonomy EUROCAM The full citation details ... 1982 DBLP  DOI  BibTeX  RDF
1James H. Davenport The Parallel Risch Algorithm (I). Search on Bibsonomy EUROCAM The full citation details ... 1982 DBLP  DOI  BibTeX  RDF
1Jean Della Dora, Claire Dicrescenzo, Evelyne Tournier An Algorithm to Obtain Formal Solutions of a Linear Homogeneous Differential Equation at an Irregular Singular Point. Search on Bibsonomy EUROCAM The full citation details ... 1982 DBLP  DOI  BibTeX  RDF
1Jacques Calmet (eds.) Computer Algebra, EUROCAM '82, European Computer Algebra Conference, Marseille, France, 5-7 April, 1982, Proceedings Search on Bibsonomy EUROCAM The full citation details ... 1982 DBLP  DOI  BibTeX  RDF
1Leon Sterling, Alan Bundy, Lawrence Byrd, Richard A. O'Keefe, Bernard Silver Solving Symbolic Equations with PRESS. Search on Bibsonomy EUROCAM The full citation details ... 1982 DBLP  DOI  BibTeX  RDF
1John P. Fitch, Jed Marti NLARGEing a z80 Microprocessor. Search on Bibsonomy EUROCAM The full citation details ... 1982 DBLP  DOI  BibTeX  RDF
1Lars Hörnfeldt A Sum-Substitutor Used as Trigonometric Simplifier. Search on Bibsonomy EUROCAM The full citation details ... 1982 DBLP  DOI  BibTeX  RDF
1H. Michael Möller, Bruno Buchberger The Construction of Multivariate Polynomials with Preassigned Zeros. Search on Bibsonomy EUROCAM The full citation details ... 1982 DBLP  DOI  BibTeX  RDF
1Reinhard Laue Computing Double Coset Representatives for the Generation of Solvable Groups. Search on Bibsonomy EUROCAM The full citation details ... 1982 DBLP  DOI  BibTeX  RDF
1J. Smit, J. A. van Hulzen Symbolic Numeric Methods in Microwave Technology. Search on Bibsonomy EUROCAM The full citation details ... 1982 DBLP  DOI  BibTeX  RDF
1Daniel Lazard Commutative Algebra and Computer Algebra. Search on Bibsonomy EUROCAM The full citation details ... 1982 DBLP  DOI  BibTeX  RDF
1George E. Collins Factorization in Cylindrical Algebraic Decomposition. Search on Bibsonomy EUROCAM The full citation details ... 1982 DBLP  DOI  BibTeX  RDF
1John A. Campbell, Francesco Gardin Transformation of an Intractable Problem into a Tractable Problem: Evaluation of a Determinant in Several Variables. Search on Bibsonomy EUROCAM The full citation details ... 1982 DBLP  DOI  BibTeX  RDF
1Michael Pohst On the Determination of Algebraic Number Fileds of Given Discriminant. Search on Bibsonomy EUROCAM The full citation details ... 1982 DBLP  DOI  BibTeX  RDF
1Josef Angerer, Günter Pilz The Structure of Near-Rings of Small Order. Search on Bibsonomy EUROCAM The full citation details ... 1982 DBLP  DOI  BibTeX  RDF
1Jürgen Avenhaus, Klaus Madlener The Nielsen Reduction as Key Problem to Polynomial Algorithms in Free Groups. Search on Bibsonomy EUROCAM The full citation details ... 1982 DBLP  DOI  BibTeX  RDF
1Julian A. Padget Escaping from Intermediate Expression Swell: A Continuing Saga. Search on Bibsonomy EUROCAM The full citation details ... 1982 DBLP  DOI  BibTeX  RDF
1Bengt Malm A Program in REDUCE for Finding Explicit Solutions to Certain Ordinary Differential Equations. Search on Bibsonomy EUROCAM The full citation details ... 1982 DBLP  DOI  BibTeX  RDF
1A. C. Norman The Development of a Vector-based Algebra System. Search on Bibsonomy EUROCAM The full citation details ... 1982 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #36 of 36 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license