| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | James H. Davenport (eds.) |
EUROCAL '87, European Conference on Computer Algebra, Leipzig, GDR, June 2-5, 1987, Proceedings  |
EUROCAL  |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Tsuyoshi Yamamoto, Yoshinao Aoki |
REDUCE 3.2 on iAPX 86/286-based personal computers. |
EUROCAL |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Karl-Udo Jahn |
Computer algebra and numerical convergence. |
EUROCAL |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | V. Tomov, Maria Nisheva, T. Tonev |
Computer algebra system for continued fractions manipulation. |
EUROCAL |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephen R. Czapor |
Solving algebraic equations via Buchberger's algorithm. |
EUROCAL |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Volker Weispfenning |
Gröbner bases for polynomial ideals over commutative regular rings. |
EUROCAL |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Fred Brackx, H. Serras |
Boundary value problems for the Laplacian in the Euclidean space solved by symbolic computation. |
EUROCAL |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Pavol Návrat, Ludovít Molnár, Vladimir Vojtek |
Using Automatic Program Synthesizer as a Problem Solver: Some Interesting Experiments. |
EUROCAL |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Vladimir P. Gerdt, N. A. Kostov, Z. T. Kostova |
Computer algebra and computation of Puiseux expansions of algebraic functions. |
EUROCAL |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Lars Langemyr |
Converting SAC-2 code to LISP. |
EUROCAL |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Petra Scheffler, Detlef Seese |
A combinatorial and logical approach to linear-time computability. |
EUROCAL |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Jerzy Paczynski |
Hierarchical symbolic computations in the analysis of large-scale dynamical systems. |
EUROCAL |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | George Labahn, Stanley Cabay |
Matrix-Padé fractions. |
EUROCAL |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | N. I. Gurin |
SCHOONSCHIP for computing of gravitino interaction cross sections in n=2 supergravity. |
EUROCAL |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas M. Fischer |
Towards a refined classification of geometric search and computation problems. |
EUROCAL |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | K. Kusche, B. Kutzler, H. Mayr |
Implementation of a geometry theorem proving package in SCRATCHPAD II. |
EUROCAL |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Eugene Shablygin |
Integral equation with hidden Eigenparameter solver: REDUCE and FORTRAN in tandem. |
EUROCAL |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Reiner Creutzburg, Manfred Tasche |
Number-theoretic transforms of prescribed length. |
EUROCAL |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Wen-tsun Wu |
A zero structure theorem for polynomial-equations-solving and its applications. |
EUROCAL |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Alois Ferscha |
A matrix-approach for proving inequalities. |
EUROCAL |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernd Martin, Gerhard Pfister |
Singularities of moduli spaces. |
EUROCAL |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | M. V. Kondratéva, E. V. Pankratév |
A recursive algorithm for computation of the Hilbert polynomial. |
EUROCAL |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Leo Bachmair, Nachum Dershowitz |
A critical pair criterion for completion modulo a congruence. |
EUROCAL |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | D. M. Klimov, V. M. Rudenko, V. F. Zhuravlev |
Application of Lie group and computer algebra to nonlinear mechanics. |
EUROCAL |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | J. P. G. Henry, M. Merle |
Complexity of computation of embedded resolution of algebraic curves. |
EUROCAL |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Geoff C. Smith |
Groups and polynomials. |
EUROCAL |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Masayuki Suzuki, Tateaki Sasaki, Mitsuhisa Sato, Yoshinari Fukui |
A Hybrid algebraic-numeric system ANS and its preliminary implementation. |
EUROCAL |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Russell J. Bradford |
Hermite normal forms for integer matrices. |
EUROCAL |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Annick Valibouze |
Fonctions symétriques et changements de bases. |
EUROCAL |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | R. Böffgen, M. A. Reichert |
The computer algebra system SIMATH. |
EUROCAL |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | William H. Burge, Stephen M. Watt |
Infinite structures in SCRATCHPAD II. |
EUROCAL |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | John P. Fitch, Richard G. Hall |
Symbolic computation and the finite element method. |
EUROCAL |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Marc Giusti |
Complexity of standard bases in projective dimension zero. |
EUROCAL |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | P. D. Pearce, John P. Fitch |
Dynamic program improvement. |
EUROCAL |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Vladimir P. Gerdt, A. B. Shabat, S. I. Svinolupov, A. Yu. Zharkov |
Computer algebra applications for investigating integrability of nonlinear evolution systems. |
EUROCAL |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander P. Kryukov, A. Ya. Rodionov |
CTS - Algebraic debugging system for REDUCE programs. |
EUROCAL |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | G. Németh, Magda Zimányi |
Computation of generalized Padé approximants. |
EUROCAL |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Trevor J. Smedley |
Radical simplification using algebraic extension fields. |
EUROCAL |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Baaz, Alexander Leitsch |
Strong splitting rules in automated theorem proving. |
EUROCAL |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Klaus-Peter Schemmel |
An extension of Buchberger's algorithm to compute all reduced Gröbner bases of a polynomial ideal. |
EUROCAL |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Vitali A. Eltekov, Vladimir B. Shikalov |
The methods for symbolic evaluation of determinants and their realization in the planner-analytic system. |
EUROCAL |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Erich L. Kaltofen, Mukkai S. Krishnamoorthy, B. David Saunders |
Mr. Smith goes to Las Vegas: Randomized parallel computation of the Smith Normal Form of polynomial matrices. |
EUROCAL |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Margarita Spiridonova |
Some extensions and applications of REDUCE System. |
EUROCAL |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Johannes Buchmann 0001, Michael Pohst |
Computing a lattice basis from a system of generating vectors. |
EUROCAL |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | A. Ya. Rodionov, A. Yu. Taranov |
Combinatorial aspects of simplification of algebraic expressions. |
EUROCAL |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Lars Langemyr, Scott McCallum |
The computation of polynomial greatest common divisors over an algebraic number field. |
EUROCAL |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | N. N. Vasiliev |
Creation of efficient symbolic-numeric interface. |
EUROCAL |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Viatcheslav A. Ilyin, Alexander P. Kryukov |
DIMREG - The package for calculations in the dimensional regularization with 4-dimensional gamma5-matrix in quantum field theory. |
EUROCAL |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | D. Yu. Grigoryev |
Complexity of quantifier elimination in the theory of ordinary differential equations. |
EUROCAL |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Malcolm A. H. MacCallum |
Symbolic computation in relativity theory. |
EUROCAL |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Sergei A. Abramov |
Some algorithms of rational function algebra. |
EUROCAL |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Tomás Recio, Luis Miguel Pardo |
Rabin's width of a complete proof and the width of a semialgebraic set. |
EUROCAL |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Vladislav L. Katkov, Michail D. Popov |
Computerised system of analytic transformations for analysing of differential equations. |
EUROCAL |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard Liska, L. Drska |
Evaluation of plasma fluid equations collision integrals using REDUCE. |
EUROCAL |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | John A. Abbott, James H. Davenport |
Polynomial factorization: An exploration of Lenstra's algorithm. |
EUROCAL |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Tateaki Sasaki |
Some algebraic algorithms based on head term elimination over polynomial rings. |
EUROCAL |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Heinz Kredel |
Primary ideal decomposition. |
EUROCAL |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Kalkbrener |
Solving systems of algebraic equations by using Gröbner bases. |
EUROCAL |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrizia M. Gianni |
Properties of Gröbner bases under specializations. |
EUROCAL |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Vladimir P. Gerdt, A. Yu. Zharkov |
Computer classification of integrable seventh order MKdV-like equations. |
EUROCAL |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel Bronstein |
An algorithm for the integration of elementary functions. |
EUROCAL |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | John A. Abbott |
Integration: Solving the Risch differential equation. |
EUROCAL |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Eugene V. Zima |
Transformation of computation formulae in systems of recurrence relations. |
EUROCAL |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Johannes Ranft, Holger Perlt |
Trace calculations for gauge theories on a personal computer. |
EUROCAL |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Tatiana Gateva-Ivanova |
Algorithmic determination of the Jacobson radical of monomial algebras. |
EUROCAL |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | R. N. Fedorova, Vladimir P. Gerdt, N. N. Govorun, V. P. Shirikov |
Computer algebra in physical research of Joint Institute for Nuclear Research. |
EUROCAL |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | J. Smit, Sabih H. Gerez, R. Mulder |
Application of a structured LISP system to computer algebra. |
EUROCAL |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert G. Cowell, Francis J. Wright |
CATFACT: Computer algebraic tools for applications of catastrophe theory. |
EUROCAL |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | L. S. Dulyan |
The calculation of QCD triangular Feynman graphs if the external gluonic field using REDUCE-2 system. |
EUROCAL |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Cristomir Kazasov |
Laplace transformations in REDUCE 3. |
EUROCAL |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Wolf |
A package for the analytic investigation and exact solution of differential equations. |
EUROCAL |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Joachim Apel, Wolfgang Lassner |
Computation and simplification in Lie fields. |
EUROCAL |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Brigitte Vallée |
An affine point of view on minima finding in integer lattices of lower dimensions. |
EUROCAL |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernhard Roider, Sabine Stifter |
Collision of convex objects. |
EUROCAL |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Günter Werner |
Shortest paths of a disc inside a polygonal region. |
EUROCAL |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | R. N. Fedorova, Vladimir V. Kornyak |
Computer algebra application for determining local symmetries of differential equations. |
EUROCAL |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | P. van den Heuvel, J. A. van Hulzen, V. V. Goldman |
Automatic generation of FORTRAN-coded Jacobians and Hessians. |
EUROCAL |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark P. W. Mutrie, Bruce W. Char, Richard H. Bartels |
Expression optimization using high-level knowledge. |
EUROCAL |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | David M. Gillies, Bruce W. Char |
Practical aspects of symbolic integration over Q(x). |
EUROCAL |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Adrian Bowyer, James H. Davenport, Philip S. Milne, Julian A. Padget, Andrew F. Wallis |
Applications of computer algebra in solid modelling. |
EUROCAL |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Bob F. Caviness (eds.) |
EUROCAL '85, European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985, Proceedings Volume 2: Research Contributions |
EUROCAL |
1985 |
DBLP DOI BibTeX RDF |
|
| 1 | Bruno Buchberger (eds.) |
EUROCAL '85, European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985, Proceedings Volume 1: Invited Lectures |
EUROCAL |
1985 |
DBLP DOI BibTeX RDF |
|
| 1 | Franz Winkler 0001 |
An algorithm for constructing detaching bases in the ring of polynominals over a field. |
EUROCAL |
1983 |
DBLP DOI BibTeX RDF |
|
| 1 | Monique Rice |
The construction of a complete minimal set of contextual normal forms. |
EUROCAL |
1983 |
DBLP DOI BibTeX RDF |
|
| 1 | Bruce W. Char, Keith O. Geddes, W. Morven Gentleman, Gaston H. Gonnet |
The design of maple: A compact, portable and powerful computer algebra system. |
EUROCAL |
1983 |
DBLP DOI BibTeX RDF |
|
| 1 | J. A. van Hulzen (eds.) |
Computer Algebra, EUROCAL '83, European Computer Algebra Conference, London, England, March 28-30, 1983, Proceedings |
EUROCAL |
1983 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Lazard |
Gröbner-Bases, Gaussian elimination and resolution of systems of algebraic equations. |
EUROCAL |
1983 |
DBLP DOI BibTeX RDF |
|
| 1 | John P. Fitch |
Implementing REDUCE on a micro-computer. |
EUROCAL |
1983 |
DBLP DOI BibTeX RDF |
|
| 1 | Aziz Hilali |
Characterization of a linear differential system with a regular singularity. |
EUROCAL |
1983 |
DBLP DOI BibTeX RDF |
|
| 1 | Francesco Gardin, John A. Campbell |
A knowledge-based approach to user-friendliness in symbolic computing. |
EUROCAL |
1983 |
DBLP DOI BibTeX RDF |
|
| 1 | Ferdinando Mora, H. Michael Möller |
The computation of the Hilbert function. |
EUROCAL |
1983 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul S. Wang |
Early detection of true factors in univariate polynominal factorization. |
EUROCAL |
1983 |
DBLP DOI BibTeX RDF |
|
| 1 | U. Fincke, Michael Pohst |
A procedure for determining algebraic integers of given norm. |
EUROCAL |
1983 |
DBLP DOI BibTeX RDF |
|
| 1 | Heinrich Rolletschek |
The Euclidean algorithm for Gaussian integers. |
EUROCAL |
1983 |
DBLP DOI BibTeX RDF |
|
| 1 | Françoise Lamnabhi-Lagarrigue, M. Lamnabhi |
Algebraic computation of the statistics of the solution of some nonlinear stochastic differential equations. |
EUROCAL |
1983 |
DBLP DOI BibTeX RDF |
|
| 1 | Jed Marti, John P. Fitch |
The Bath concurrent LISP machine. |
EUROCAL |
1983 |
DBLP DOI BibTeX RDF |
|
| 1 | J. A. van Hulzen |
Code optimization of multivariate polynominal schemes: A pragmatic approach. |
EUROCAL |
1983 |
DBLP DOI BibTeX RDF |
|
| 1 | J. Smit |
Computer algebra and VLSI, prospects for cross fertilization. |
EUROCAL |
1983 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Pohst |
Computation of integral solutions of a special type of systems of quadratic equations. |
EUROCAL |
1983 |
DBLP DOI BibTeX RDF |
|
| 1 | Bruno Buchberger |
A note on the complexity of constructing Gröbner-Bases. |
EUROCAL |
1983 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license