Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJournal of Symbolic Computation, Volume 4, 1987
Volume 4, Number 1, August 1987
- R. Böffgen, M. A. Reichert:
Computing the Decomposition of Primes p and p-adic Absolute Values in Semi-simple Algebras over Q. 3-10 - Johannes Buchmann, Hugh C. Williams:
On Principal Ideal Testing in Algebraic Number Fields. 11-19 - L. Cerlienco, Maurice Mignotte, F. Piras:
Computing the Measure of a Polynomial. 21-33 - Harvey Cohn, Jesse Ira Deutsch:
Application of Symbolic Manipulation to the Hecke Transformations of Modular Forms in Two Variables, II. 35-40 - Carsten Eckhardt:
Computation of Class Numbers by an Analytic Method. 41-52 - H. G. Folz, Horst Günter Zimmer:
What is the Rank of the Demjanenko Matrix? 53-67 - David J. Ford:
The Construction of Maximal Orders Over a Dedekind Domain. 69-75 - Erich L. Kaltofen
:
Deterministic Irreducibility Testing of Polynomials over Large Finite Fields. 77-82 - Gunter Malle:
Polynomials for Primitive Nonsolvable Permutation Groups of Degree d ≤ 15. 83-92 - B. Heinrich Matzat, Andreas Zeh-Marschke:
Polynome mit der Galoisgruppe M_11 über Q. 93-97 - Eckart Maus:
Computation of Integral Bases in Certain S_n Extensions of Q. 99-102 - Attila Pethö:
On the Resolution of Thue Inequalities. 103-109 - Wilhelm Plesken:
Towards a Soluble Quotient Algorithm. 111-122 - Michael Pohst:
A Modification of the LLL Reduction Algorithm. 123-127
Volume 4, Number 2, October 1987
- Joachim von zur Gathen:
Feasible Arithmetic Computations: Valiant's Hypothesis. 137-172 - Neil V. Murray, Erik Rosenthal:
Theory Links: Applications to Automated Theorem Proving. 173-190 - Wolfram Büttner, Helmut Simonis:
Embedding Boolean Expressions into Logic Programming. 191-205 - Robert Paige, Fritz Henglein:
Mechanical Translation of Set Theoretic Problem Specifications into Efficient RAM Code-A Case Study. 207-232 - Jean H. Gallier:
Fast Algorithms for Testing Unsatisfiability of Ground Horn Clauses with Equations. 233-254 - Gordon F. Royle:
The Transitive Groups of Degree Twelve. 255-268
Volume 4, Number 3, December 1987
- Jacek Gibert:
Functional Programming with Combinators. 269-293 - Stéphane Kaplan:
Simplifying Conditional Term Rewriting Systems: Unification, Termination and Confluence. 295-334 - Aziz Hilali:
On the Algebraic and Differential Newton-Puiseux Polygons. 335-349 - Sabine Stifter:
A Generalization of Reduction Rings. 351-364 - Douglas A. Young, Paul S. Wang:
GI/S: A Graphical User Interface For Symbolic Computation Systems. 365-380 - W. A. Beyer, L. R. Fawcett, R. Daniel Mauldin, Blair K. Swartz:
The Volume Common to Two Congruent Circular Cones whose Axes Intersect Symmetrically. 381-390 - Isaac E. Elishakoff, Brian Couch:
Application of Symbolic Algebra to the Instability of a Nonconservative System. 391-396 - S. Bandyopadhyay, John S. Devitt:
SIS - A Symbolic Information Management System. 397-408
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-25 05:29 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
