%%% -*-BibTeX-*- %%% ==================================================================== %%% BibTeX-file{ %%% author = "Nelson H. F. Beebe", %%% version = "2.13", %%% date = "23 March 2007", %%% time = "06:46:40 MDT", %%% filename = "jsymcomp.bib", %%% address = "University of Utah %%% Department of Mathematics, 110 LCB %%% 155 S 1400 E RM 233 %%% Salt Lake City, UT 84112-0090 %%% USA", %%% telephone = "+1 801 581 5254", %%% FAX = "+1 801 581 4148", %%% URL = "http://www.math.utah.edu/~beebe", %%% checksum = "14978 33970 133853 1311098", %%% email = "beebe at math.utah.edu, beebe at acm.org, %%% beebe at computer.org (Internet)", %%% codetable = "ISO/ASCII", %%% keywords = "bibliography, BibTeX, Journal of Symbolic %%% Computation", %%% license = "public domain", %%% supported = "yes", %%% docstring = "This file contains a COMPLETE bibliography of %%% publications in the Journal of Symbolic %%% Computation (CODEN JSYCEH, ISSN 0747-7171), %%% originally published by Academic Press (London, %%% UK), and now by Elsevier. %%% %%% The journal began publishing quarterly in %%% March 1985, then bimonthly in 1987--1988, and %%% then monthly since January 1989. Despite %%% monthly publication, there are only six %%% issues per volume, so there are two volumes %%% yearly since 1989. %%% %%% The journal has a World Wide Web site at %%% %%% http://www.sciencedirect.com/science/journal/07477171 %%% %%% The journal editor maintains a Web page at %%% %%% http://www4.ncsu.edu:8030/~hong/jsc/jsc.bib %%% %%% with a cumulative bibliography of the %%% journal; the data there has been merged into %%% this file for version 2.00, with many %%% corrections. %%% %%% Hypertext Web links to www.idealibrary.com in %%% BibTeX entries should forward automatically %%% to somewhere in the www.sciencedirect.com %%% domain. Regrettably, ScienceDirect at %%% present does not make DOI (digital object %%% identifier) data easily available, so it has %%% not been possible to include compact URL or %%% DOI values in BibTeX entries for journal %%% articles after March 2002. %%% %%% At version 2.13, the year coverage looked %%% like this: %%% %%% 1985 ( 30) 1992 ( 69) 1999 ( 70) %%% 1986 ( 28) 1993 ( 79) 2000 ( 92) %%% 1987 ( 47) 1994 ( 65) 2001 ( 92) %%% 1988 ( 50) 1995 ( 76) 2002 ( 82) %%% 1989 ( 68) 1996 ( 72) 2003 ( 87) %%% 1990 ( 82) 1997 ( 85) 2004 ( 92) %%% 1991 ( 64) 1998 ( 77) 2005 ( 55) %%% %%% Article: 1462 %%% %%% Total entries: 1462 %%% %%% The initial draft of this bibliography was %%% derived from the OCLC Contents1st database, %%% after conversion to BibTeX form, and %%% extensive editing and correction. This was %%% then augmented with entries from the author's %%% personal bibliography files, from the IEEE %%% INSPEC database (1986--1996), from the %%% MathSciNet database, from the computer %%% graphics bibliography archive at %%% ftp.siggraph.org, and from a very large %%% computer science bibliography collection on %%% ftp.ira.uka.de in /pub/bibliography to which %%% many people of have contributed. The %%% snapshot of this collection was taken on %%% 5-May-1994, and it consists of 441 BibTeX %%% files, 2,672,675 lines, 205,289 entries, and %%% 6,375 String{} abbreviations, occupying %%% 94.8MB of disk space. Where multiple sources %%% of a particular entry existed, field values %%% have been manually merged to preserve maximal %%% information. %%% %%% Regrettably, the OCLC database does not %%% usually record final page numbers of %%% journal articles, so there were originally %%% many page ranges of the form 123--?? in %%% this bibliography. At version 1.09, only %%% about 40 such entries remained after %%% merging bibliographic data from other %%% sources. %%% %%% Although coverage is now believed to be %%% complete, a substantial number of %%% uncertainties remain in page ranges, and %%% sometimes in author names or article titles. %%% These are indicated by doubled queries (??) %%% in the value strings, or by keywords %%% beginning `xx'. My local university library %%% does not have this journal, so I have no way %%% of checking the original journal issues. %%% %%% In this bibliography, entries are sorted in %%% publication order, using bibsort -byvolume. %%% %%% The checksum field above contains a CRC-16 %%% checksum as the first value, followed by the %%% equivalent of the standard UNIX wc (word %%% count) utility output of lines, words, and %%% characters. This is produced by Robert %%% Solovay's checksum utility.", %%% } %%% ==================================================================== @Preamble{ "\hyphenation{ Ha-da-mard La-zard Schwartz-bach Wau-po-titsch }" # "\ifx \undefined \bold \def \bold #1{{\bf#1}} \fi" # "\ifx \undefined \cprime \def \cprime {$\mathsurround=0pt '$}\fi" # "\ifx \undefined \ocirc \def \ocirc #1{{\accent'27#1}}\fi" # "\ifx \undefined \mathbb \def \mathbb #1{{\bf #1}}\fi" # "\ifx \undefined \mathcal \def \mathcal #1{{\cal #1}}\fi" # "\ifx \undefined \mathrm \def \mathrm #1{{\rm #1}}\fi" } %%% ==================================================================== %%% Acknowledgement abbreviations: @String{ack-nhfb = "Nelson H. F. Beebe, University of Utah, Department of Mathematics, 110 LCB, 155 S 1400 E RM 233, Salt Lake City, UT 84112-0090, USA, Tel: +1 801 581 5254, FAX: +1 801 581 4148, e-mail: \path|beebe@math.utah.edu|, \path|beebe@acm.org|, \path|beebe@computer.org| (Internet), URL: \path|http://www.math.utah.edu/~beebe/|"} %%% ==================================================================== %%% Journal abbreviations: @String{j-J-SYMBOLIC-COMP = "Journal of Symbolic Computation"} %%% ==================================================================== %%% Bibliography entries: @Article{Editors:1985:SCE, author = "Editors", title = "Symbolic Computation (An Editorial)", journal = j-J-SYMBOLIC-COMP, volume = "1", number = "1", pages = "1--6", month = mar, year = "1985", keywords = "Editorial", } @Article{Paul:1985:EMF, author = "Etienne Paul", title = "Equational Methods in First Order Predicate Calculus", journal = j-J-SYMBOLIC-COMP, volume = "1", number = "1", pages = "7--29", month = mar, year = "1985", CODEN = "JSYCEH", ISSN = "0747-7171", MRclass = "03B35 (03C05 68T15)", MRnumber = "87i:03014", MRreviewer = "Alexander Leitsch", bibdate = "Sat May 10 15:54:09 MDT 1997", bibsource = "Theory/obscure.bib", acknowledgement = ack-nhfb, keywords = "Equational Reasoning, Automated Theorem Proving, First Order Logic", } @Article{Eder:1985:PSU, author = "Elmar Eder", key = "Eder85", title = "Properties of Substitutions and Unifications", journal = j-J-SYMBOLIC-COMP, volume = "1", number = "1", pages = "31--46", month = mar, year = "1985", CODEN = "JSYCEH", ISSN = "0747-7171", MRclass = "68T15 (03B35)", MRnumber = "87f:68079", MRreviewer = "Alexander Leitsch", bibdate = "Sat May 10 15:54:09 MDT 1997", bibsource = "Ai/prolog.1.bib; Misc/formal.hardware.verification.bib", acknowledgement = ack-nhfb, keyword = "Logic", keywords = "prolog; Unification", } @Article{Chazelle:1985:OSC, author = "B. Chazelle and H. Edelsbrunner", title = "Optimal Solutions for a Class of Point Retrieval Problems", journal = j-J-SYMBOLIC-COMP, volume = "1", number = "1", pages = "47--56", month = mar, year = "1985", CODEN = "JSYCEH", ISSN = "0747-7171", MRclass = "68U05", MRnumber = "87a:68145", bibdate = "Sat May 10 15:54:09 MDT 1997", acknowledgement = ack-nhfb, keywords = "Computational Geometry", } @Article{Kaltofen:1985:FPA, author = "Erich Kaltofen", title = "Fast Parallel Absolute Irreducibility Testing", journal = j-J-SYMBOLIC-COMP, volume = "1", number = "1", pages = "57--67", month = mar, year = "1985", CODEN = "JSYCEH", ISSN = "0747-7171", MRclass = "12-04 (11Y16 68Q40)", MRnumber = "87b:12002", MRreviewer = "A. K. Lenstra", bibdate = "Sat May 10 15:54:09 MDT 1997", note = "See errata \cite{Kaltofen:1990:EFP}.", acknowledgement = ack-nhfb, keywords = "Factorization", } @Article{Pavelle:1985:M, author = "Richard Pavelle and Paul S. Wang", title = "{MACSYMA} from ${F}$ to ${G}$", journal = j-J-SYMBOLIC-COMP, volume = "1", number = "1", pages = "69--100", month = mar, year = "1985", CODEN = "JSYCEH", ISSN = "0747-7171", MRclass = "68Q40 (65-04)", MRnumber = "810 136", bibdate = "Sat May 10 15:54:09 MDT 1997", bibsource = "Distributed/QLD.bib; Distributed/QLD/1985.bib; Theory/auto.diff.bib", acknowledgement = ack-nhfb, annote = "A descriptive, non-technical tutorial on macsyma, a well-known and widely used computer algebra system, is presented. Several examples of its capabilities are exhibited using actual Macsyma input and output. A discussion of computer-based symbolic mathematical computation is motivated by pointing out inherent difficulties with familiar numeric computations. The inner workings of computer algebra systems are briefly discussed in addition to some", country = "USA", date = "14/08/85", descriptors = "MACSYMA; survey; SYMBOLIC ALGEBRAIC LANGUAGE;", enum = "2386", keywords = "MACSYMA", language = "English", location = "RWTH-AC-DFV: TELL; PKI-OG: Li-Ord.Le", references = "30", referred = "[Char91a]; [Gold91a].", revision = "21/04/91", } @Article{Gerdt:1985:CAA, author = "V. P. Gerdt and A. B. Shvachka and A. Yu. Zharkov", title = "Computer algebra application for classification of integrable non-linear evolution equations", journal = j-J-SYMBOLIC-COMP, volume = "1", number = "1", pages = "101--107", month = mar, year = "1985", CODEN = "JSYCEH", ISSN = "0747-7171", MRclass = "35Q20 (35-04 58G37 65M99)", MRnumber = "87d:35116", MRreviewer = "S. V. Duzhin", bibdate = "Sat May 10 15:54:09 MDT 1997", bibsource = "Theory/cathode.bib; Theory/Comp.Alg.1.bib; Theory/reduce.bib", acknowledgement = ack-nhfb, keywords = "Differential Equations, FORMAC; integrability tests PDEs oderef, Reduce", } @Article{Kolbig:1985:EEC, author = "K. S. K{\"o}lbig", title = "Explicit Evaluation of Certain Definite Integrals Involving Powers of Logarithms", journal = j-J-SYMBOLIC-COMP, volume = "1", number = "1", pages = "109--114", month = mar, year = "1985", CODEN = "JSYCEH", ISSN = "0747-7171", MRclass = "65D15 (65-04)", MRnumber = "87b:65023", bibdate = "Sat May 10 15:54:09 MDT 1997", bibsource = "Theory/Comp.Alg.1.bib; Theory/reduce.bib", acknowledgement = ack-nhfb, keywords = "Definite Integration; Reduce", } @Article{Bibel:1985:BPI, author = "W. Bibel and K. Aspetsberger", title = "A Bibliography on Parallel Inference Machines", journal = j-J-SYMBOLIC-COMP, volume = "1", number = "1", pages = "115--118", month = mar, year = "1985", CODEN = "JSYCEH", ISSN = "0747-7171", MRclass = "68-00 (03B35)", MRnumber = "810 139", bibdate = "Sat May 10 15:54:09 MDT 1997", bibsource = "Misc/Functional.bib", acknowledgement = ack-nhfb, keywords = "functional architecture bibliography hardware symbolic computation; Parallel Computation, Parallel Machines", } @Article{Biermann:1985:APT, author = "A. W. Biermann", title = "Automatic Programming: {A} Tutorial on Formal Methodologies", journal = j-J-SYMBOLIC-COMP, volume = "1", number = "2", pages = "119--142", month = jun, year = "1985", keywords = "Automatic Programming", } @Article{Butler:1985:ECG, author = "Gregory Butler", title = "Effective Computations with Group Homomorphisms", journal = j-J-SYMBOLIC-COMP, volume = "1", number = "2", pages = "143--158 (or 143--157??)", month = jun, year = "1985", CODEN = "JSYCEH", ISSN = "0747-7171", MRclass = "68Q40 (20-04 20B99)", MRnumber = "87b:68057", bibdate = "Sat May 10 15:54:09 MDT 1997", acknowledgement = ack-nhfb, keywords = "Computational Group Theory", xxtitle = "Effective computation with group homomorphisms", } @Article{Barton:1985:PDA, author = "David R. Barton and Richard Zippel", title = "Polynomial Decomposition Algorithms", journal = j-J-SYMBOLIC-COMP, volume = "1", number = "2", pages = "159--168", month = jun, year = "1985", CODEN = "JSYCEH", ISSN = "0747-7171", MRclass = "12-04 (11C08 12E05 68Q40)", MRnumber = "87b:12001", MRreviewer = "Maurice Mignotte", bibdate = "Sat May 10 15:54:09 MDT 1997", acknowledgement = ack-nhfb, keywords = "Polynomial Decomposition", } @Article{Borodin:1985:DND, author = "Allan Borodin and Ronald Fagin and John E. Hopcroft and Martin Tompa", title = "Decreasing the Nesting Depth of Expressions Involving Square Roots", journal = j-J-SYMBOLIC-COMP, volume = "1", number = "2", pages = "169--188", month = jun, year = "1985", CODEN = "JSYCEH", ISSN = "0747-7171", MRclass = "68Q40 (12F05)", MRnumber = "87a:68087", bibdate = "Sat May 10 15:54:09 MDT 1997", acknowledgement = ack-nhfb, keywords = "Simplification", } @Article{Zippel:1985:SEI, author = "Richard Zippel", title = "Simplification of Expressions Involving Radicals", journal = j-J-SYMBOLIC-COMP, volume = "1", number = "2", pages = "189--210", month = jun, year = "1985", CODEN = "JSYCEH", ISSN = "0747-7171", MRclass = "68Q40 (12-04)", MRnumber = "87b:68058", bibdate = "Sat May 10 15:54:09 MDT 1997", acknowledgement = ack-nhfb, keywords = "Simplification", } @Article{Fitch:1985:SAP, author = "John P. Fitch", title = "Solving algebraic problems with {REDUCE}", journal = j-J-SYMBOLIC-COMP, volume = "1", number = "2", pages = "211--228 (or 211--227??)", month = jun, year = "1985", CODEN = "JSYCEH", ISSN = "0747-7171", bibsource = "Theory/auto.diff.bib; Theory/Comp.Alg.1.bib; Theory/reduce.bib", keywords = "Reduce", referred = "[Char91a].", } @Article{Schwarz:1985:ADP, author = "Fritz Schwarz", title = "An Algorithm for Determining Polynomial First Integrals of Autonomous Systems of Ordinary Differential Equations", journal = j-J-SYMBOLIC-COMP, volume = "1", number = "2", pages = "229--234 (or 229--233??)", month = jun, year = "1985", CODEN = "JSYCEH", ISSN = "0747-7171", MRclass = "34A45 (58F05)", MRnumber = "818 879", bibdate = "Sat May 10 15:54:09 MDT 1997", bibsource = "Theory/cathode.bib; Theory/Comp.Alg.1.bib; Theory/reduce.bib", acknowledgement = ack-nhfb, keywords = "Differential Equations; REDUCE; Gr{\"o}bner Bases; Reduce; ODEs first integrals", } @Article{Navarro-Saad:1985:AFT, author = "Miguel Navarro-Saad and Kurt Bernardo Wolf", title = "Applications of a Factorization Theorem for Ninth-order Aberration Optics", journal = j-J-SYMBOLIC-COMP, volume = "1", number = "2", pages = "235--240 (or 235--239??)", month = jun, year = "1985", CODEN = "JSYCEH", ISSN = "0747-7171", MRclass = "78A05 (78-04)", MRnumber = "87b:78003", bibdate = "Sat May 10 15:54:09 MDT 1997", acknowledgement = ack-nhfb, keywords = "Factorization, Optics, REDUCE", xxtitle = "Applications of a factorisation theorem for ninth-order aberration optics", } @Article{Coppersmith:1985:AF, author = "D. Coppersmith and J. H. Davenport", title = "An Application of Factoring", journal = j-J-SYMBOLIC-COMP, volume = "1", number = "2", pages = "241--243", month = jun, year = "1985", CODEN = "JSYCEH", ISSN = "0747-7171", MRclass = "11T71 (11Y16 68Q40)", MRnumber = "87b:11125", MRreviewer = "Kevin S. McCurley", bibdate = "Sat May 10 15:54:09 MDT 1997", acknowledgement = ack-nhfb, keywords = "Factorization, Logarithms, Cryptography, SCRATCHPAD", } @Article{Bibel:1985:AI, author = "W. Bibel", title = "Automated Inferencing", journal = j-J-SYMBOLIC-COMP, volume = "1", number = "3", pages = "245--260", month = sep, year = "1985", CODEN = "JSYCEH", ISSN = "0747-7171", MRclass = "03B35 (68T15)", MRnumber = "88b:03018", MRreviewer = "L. W. Szczerba", bibdate = "Sat May 10 15:54:09 MDT 1997", acknowledgement = ack-nhfb, keywords = "Automated Theorem Proving", } @Article{Lazard:1985:IBP, author = "D. Lazard", title = "Ideal Bases and Primary Decomposition: Case of Two Variables", journal = j-J-SYMBOLIC-COMP, volume = "1", number = "3", pages = "261--270", month = sep, year = "1985", CODEN = "JSYCEH", ISSN = "0747-7171", MRclass = "13A15 (13F20 68Q40)", MRnumber = "87k:13001", MRreviewer = "R. K. Markanda", bibdate = "Sat May 10 15:54:09 MDT 1997", acknowledgement = ack-nhfb, keywords = "Gr{\"o}bner Bases, Polynomial Ideals, Primary Decomposition", } @Article{Krishnamurthy:1985:SIA, author = "E. V. Krishnamurthy", title = "Symbolic Iterative Algorithm for Generalized Inversion of Rational Polynomial Matrices", journal = j-J-SYMBOLIC-COMP, volume = "1", number = "3", pages = "271--282 (or 271--281??)", month = sep, year = "1985", CODEN = "JSYCEH", ISSN = "0747-7171", MRclass = "12-04 (68Q40)", MRnumber = "87i:12003", MRreviewer = "F. J. van der Linden", bibdate = "Sat May 10 15:54:09 MDT 1997", acknowledgement = ack-nhfb, keywords = "Matrices", xxtitle = "Symbolic iterative algorithm for generalised inversion of rational polynomial matrices", } @Article{Cherry:1985:IFT, author = "G. W. Cherry", title = "Integration in Finite Terms with Special Functions: the Error Function", journal = j-J-SYMBOLIC-COMP, volume = "1", number = "3", pages = "283--302", month = sep, year = "1985", CODEN = "JSYCEH", ISSN = "0747-7171", MRclass = "12H05", MRnumber = "88h:12003", bibdate = "Sat May 10 15:54:09 MDT 1997", bibsource = "Theory/cathode.bib", acknowledgement = ack-nhfb, keywords = "integration oderef; Integration, Error Function", } @Article{Karr:1985:TSF, author = "Michael Karr", title = "Theory of Summation in Finite Terms", journal = j-J-SYMBOLIC-COMP, volume = "1", number = "3", pages = "303--316 (or 303--315??)", month = sep, year = "1985", CODEN = "JSYCEH", ISSN = "0747-7171", MRclass = "12H10 (68Q20 68Q40)", MRnumber = "89a:12016", bibdate = "Sat May 10 15:54:09 MDT 1997", acknowledgement = ack-nhfb, keywords = "Summation, Difference Fields", } @Article{Rizzi:1985:USC, author = "Nicola Rizzi and Amabile Tatone", title = "Using Symbolic Computation in Buckling Analysis", journal = j-J-SYMBOLIC-COMP, volume = "1", number = "3", pages = "317--322 (or 317--321??)", month = sep, year = "1985", CODEN = "JSYCEH", ISSN = "0747-7171", MRclass = "73-08 (73H05)", MRnumber = "87h:73006", bibdate = "Sat May 10 15:54:09 MDT 1997", acknowledgement = ack-nhfb, keywords = "Differential Equations, REDUCE", } @Article{Coquand:1985:SBC, author = "Thierry Coquand and G{\'e}rard A. Huet", title = "A Selected Bibliography on Constructive Mathematics, Intuitionistic Type Theory and Higher Order Deduction", journal = j-J-SYMBOLIC-COMP, volume = "1", number = "3", pages = "323--328", month = sep, year = "1985", CODEN = "JSYCEH", ISSN = "0747-7171", MRclass = "68-00 (03-00 03B15 03B35 03B70 03F55 03F65)", MRnumber = "87j:68001", bibdate = "Sat May 10 15:54:09 MDT 1997", acknowledgement = ack-nhfb, keywords = "Proof Checking, Theorem Proving, Lambda Calculus", } @Article{Bachmair:1985:TOA, author = "Leo Bachmair and David A. Plaisted", title = "Termination Ordering for Associative Commutative Rewriting Systems", journal = j-J-SYMBOLIC-COMP, volume = "1", number = "4", pages = "329--350 (or 329--349??)", month = dec, year = "1985", CODEN = "JSYCEH", ISSN = "0747-7171", MRclass = "68T15 (03B35 68Q50)", MRnumber = "87m:68067", MRreviewer = "G. E. Peterson", bibdate = "Sat May 10 15:54:09 MDT 1997", bibsource = "Theory/obscure.bib", acknowledgement = ack-nhfb, keywords = "Term Rewriting, Termination", xxtitle = "Termination orderings for associative-commutative rewriting systems", } @Article{Holt:1985:MCF, author = "D. F. Holt", title = "The Mechanical Computation of First and Second Cohomology Groups", journal = j-J-SYMBOLIC-COMP, volume = "1", number = "4", pages = "351--362 (or 351--361??)", month = dec, year = "1985", CODEN = "JSYCEH", ISSN = "0747-7171", MRclass = "20-04 (20J06 68Q20)", MRnumber = "87i:20005", MRreviewer = "U. Stammbach", bibdate = "Sat May 10 15:54:09 MDT 1997", acknowledgement = ack-nhfb, keywords = "Computational Group Theory", } @Article{Butler:1985:GBA, author = "G. Butler and C. W. H. Lam", title = "A General Backtrack Algorithm for the Isomorphism Problem of Combinatorial Objects", journal = j-J-SYMBOLIC-COMP, volume = "1", number = "4", pages = "363--382 (or 363--381??)", month = dec, year = "1985", CODEN = "JSYCEH", ISSN = "0747-7171", MRclass = "68Q20 (05-04 68Q40 68R05)", MRnumber = "87j:68044", bibdate = "Sat May 10 15:54:09 MDT 1997", acknowledgement = ack-nhfb, keywords = "Computational Group Theory", } @Article{Madlener:1985:PAW, author = "Klaus Madlener and Friedrich Otto", title = "Pseudonatural algorithms for the word problem for finitely presented monoids and groups", journal = j-J-SYMBOLIC-COMP, volume = "1", number = "4", pages = "383--418", month = dec, year = "1985", CODEN = "JSYCEH", ISSN = "0747-7171", MRclass = "03D40 (03D15 20F10 20M05)", MRnumber = "87h:03067", MRreviewer = "M. Tetruashvili", bibdate = "Sat May 10 15:54:09 MDT 1997", acknowledgement = ack-nhfb, keywords = "Term Rewriting", xxtitle = "Pseudo-Natural Algorithms for the Word Problem for Finitely Presented Monoids and Groups", } @Article{Tombal:1985:MCD, author = "Ph. Tombal and A. Moussiaux", title = "{MACSYMA} computation of the {Dirac-Bergmann} algorithm for {Hamiltonian} systems with constraints", journal = j-J-SYMBOLIC-COMP, volume = "1", number = "4", pages = "419--421", month = dec, year = "1985", CODEN = "JSYCEH", ISSN = "0747-7171", MRclass = "70H35 (70-04)", MRnumber = "87h:70033", bibdate = "Sat May 10 15:54:09 MDT 1997", acknowledgement = ack-nhfb, keywords = "Physics, MACSYMA, Dynamical Systems", xxtitle = "Computation of the Dirac-Bergmann Algorithm for Hamiltonian Systems with Constraints", } @Article{Kovacic:1986:ASS, author = "Jerald J. Kovacic", key = "Kovacic 1986", title = "An Algorithm for Solving Second Order Linear Homogeneous Differential Equations", journal = j-J-SYMBOLIC-COMP, volume = "2", number = "1", pages = "3--43", month = mar, year = "1986", CODEN = "JSYCEH", ISSN = "0747-7171", MRclass = "12H05 (34A30)", MRnumber = "88c:12011", bibdate = "Sat May 10 15:54:09 MDT 1997", bibsource = "Theory/cathode.bib", acknowledgement = ack-nhfb, classcodes = "B0290P (Differential equations); C4170 (Differential equations)", corpsource = "JYACC Inc., New York, NY, USA", countrypub = "UK A01", keywords = "closed form solution; complex variable; differential equations; Differential Equations; rational functions; second order linear homogeneous", treatment = "T Theoretical or Mathematical", } @Article{Atkinson:1986:CGC, author = "M. D. Atkinson and R. A. Hassan", title = "On the Computation of Group Characters", journal = j-J-SYMBOLIC-COMP, volume = "2", number = "1", pages = "45--50", month = mar, year = "1986", CODEN = "JSYCEH", ISSN = "0747-7171", MRclass = "20C15", MRnumber = "87e:20013", MRreviewer = "I. M. Isaacs", bibdate = "Sat May 10 15:54:09 MDT 1997", acknowledgement = ack-nhfb, classcodes = "C6130 (Data handling techniques)", corpsource = "Sch. of Comput. Sci., Carleton Univ., Ottawa, Ont., Canada", countrypub = "UK A02", keywords = "character sets; character table; Computational Group Theory; computational methods; finite group; group characters; irreducible characters; reducible characters", treatment = "T Theoretical or Mathematical", } @Article{Slattery:1986:CCD, author = "Michael C. Slattery", title = "Computing character degrees in $p$-groups", journal = j-J-SYMBOLIC-COMP, volume = "2", number = "1", pages = "51--58", month = mar, year = "1986", CODEN = "JSYCEH", ISSN = "0747-7171", MRclass = "20C15 (20-04 68Q40)", MRnumber = "87e:20019", MRreviewer = "I. M. Isaacs", bibdate = "Sat May 10 15:54:09 MDT 1997", acknowledgement = ack-nhfb, classcodes = "B0250 (Combinatorial mathematics); C1160 (Combinatorial mathematics); C6130 (Data handling techniques)", corpsource = "Dept. of Math., Stat. and Comput. Sci., Marquette Univ., Milwaukee, WI, USA", countrypub = "UK A03", keywords = "CAYLEY; character degrees computing; character sets; Computational Group Theory; group theory; irreducible complex characters; p-groups; power-commutator; presentation; recursive procedure", treatment = "T Theoretical or Mathematical", } @Article{Pasztor:1986:NSA, author = "Ana Pasztor", title = "Non-Standard Algorithmic and Dynamic Logic", journal = j-J-SYMBOLIC-COMP, volume = "2", number = "1", pages = "59--81", month = mar, year = "1986", CODEN = "JSYCEH", ISSN = "0747-7171", MRclass = "68Q60 (03H20)", MRnumber = "87j:68079", MRreviewer = "L{\'a}szl{\'o} Csirmaz", bibdate = "Sat May 10 15:54:09 MDT 1997", acknowledgement = ack-nhfb, classcodes = "C4240 (Programming and algorithm theory); C6150G (Diagnostic, testing, debugging and evaluating systems)", corpsource = "Dept. of Math., Carnegie-Mellon Univ., Pittsburgh, PA, USA", countrypub = "UK A04", keywords = "dynamic logic; first order logic; nonstandard algorithmic logic; program verification", treatment = "B Bibliography; P Practical", } @Article{Boege:1986:SES, author = "W. Boege and R. Gebauer and H. Kredel", title = "Some Examples for Solving Systems of Algebraic Equations by Calculating {Gr{\"o}bner} Bases", journal = j-J-SYMBOLIC-COMP, volume = "2", number = "1", pages = "83--98", month = mar, year = "1986", CODEN = "JSYCEH", ISSN = "0747-7171", MRclass = "12-04 (11Y16 13-06 68Q40)", MRnumber = "87d:12001", bibdate = "Sat May 10 15:54:09 MDT 1997", bibsource = "Theory/Comp.Alg.1.bib; Theory/reduce.bib", acknowledgement = ack-nhfb, classcodes = "B0290F (Interpolation and function approximation); C4130 (Interpolation and function approximation)", corpsource = "Inst. for Appl. Math., Heidelberg Univ., West Germany", countrypub = "UK A05", keywords = "Reduce; polynomials; Buchberger algorithm; algebraic equations; Gr{\"o}bner bases; coefficient domains; variable ordering; term ordering; computing time; space allocation; SAC-2; REDUCE", treatment = "T Theoretical or Mathematical", } @Article{Bajaj:1986:PGA, author = "Chanderjit Bajaj", title = "Proving Geometric Algorithm Non-Solvability: An Application of Factoring Polynomials", journal = j-J-SYMBOLIC-COMP, volume = "2", number = "1", pages = "99--102", month = mar, year = "1986", CODEN = "JSYCEH", ISSN = "0747-7171", MRclass = "12-04 (11Y05)", MRnumber = "87f:12001", bibdate = "Sat May 10 15:54:09 MDT 1997", acknowledgement = ack-nhfb, classcodes = "B0260 (Optimisation techniques); B0290F (Interpolation and function approximation); C1180 (Optimisation techniques); C4130 (Interpolation and function approximation)", corpsource = "Dept. of Comput. Sci., Purdue Univ., West Lafayette, IN, USA", countrypub = "UK A06", keywords = "algebraic equations; approximation; arithmetic operations; computer algebra; factoring polynomials; geometric algorithm nonsolvability proving; geometric optimisation; geometric programming; Integer Factorization, MACSYMA, Optimization; MACSYMA system; numerical; polynomials; problems; root; symbolic approximations", treatment = "T Theoretical or Mathematical", } @Article{Watowich:1986:SAO, author = "S. J. Watowich and J. L. Krause and R. S. Berry", title = "Stability Analysis of an Optimally Controlled Light-Driven Engine", journal = j-J-SYMBOLIC-COMP, volume = "2", number = "1", pages = "103--108", month = mar, year = "1986", CODEN = "JSYCEH", ISSN = "0747-7171", bibdate = "Wed Mar 19 13:51:24 MST 1997", acknowledgement = ack-nhfb, classcodes = "C1320 (Stability in control theory); C3340B (Control of heat systems); C4170 (Differential equations)", corpsource = "Dept. of Chem., Chicago Univ., IL, USA", countrypub = "UK A07", keywords = "computer algebra routines; free-piston engine; heat engines; MACSYMA; MACSYMA, differential equations, numerics; mixed boundary conditions; nonlinear differential equations; numerical program; optimally controlled light-driven engine; parameter sets; piston; program; stability; stability analysis; symbolic processing; trajectories", treatment = "T Theoretical or Mathematical", } @Article{Avenhaus:1986:DPT, author = "J{\"u}rgen Avenhaus", title = "On the Descriptive Power of Term Rewriting Systems", journal = j-J-SYMBOLIC-COMP, volume = "2", number = "2", pages = "109--122", month = jun, year = "1986", CODEN = "JSYCEH", ISSN = "0747-7171", MRclass = "68T15 (68Q50)", MRnumber = "88a:68094", MRreviewer = "G. E. Peterson", bibdate = "Sat May 10 15:54:09 MDT 1997", bibsource = "Theory/Comp.Alg.1.bib; Theory/symbolic.math.bib", acknowledgement = ack-nhfb, classcodes = "C4240 (Programming and algorithm theory)", corpsource = "Fachbereich Inf., Kaiserslautern Univ., West Germany", countrypub = "UK A01", keywords = "descriptive power; necessary and sufficient syntactical conditions; programming theory; R-normal forms; term rewriting systems", treatment = "T Theoretical or Mathematical", } @Article{Furbach:1986:MCF, author = "U. Furbach and S. H{\"o}lldobler", title = "Modelling the Combination of Functional and Logic Programming Languages", journal = j-J-SYMBOLIC-COMP, volume = "2", number = "2", pages = "123--138", month = jun, year = "1986", CODEN = "JSYCEH", ISSN = "0747-7171", MRclass = "68T15 (03B70 68T25)", MRnumber = "87j:68099", bibdate = "Sat May 10 15:54:09 MDT 1997", bibsource = "Misc/Functional.bib; Theory/Comp.Alg.1.bib; Theory/symbolic.math.bib", acknowledgement = ack-nhfb, classcodes = "C4210 (Formal logic); C6110 (Systems analysis and programming)", corpsource = "Univ. der Bundeswehr, M{\"u}nchen, West Germany", countrypub = "UK A02", keywords = "formal languages; functional programming languages; invertibility; logic; logic programming; modelling; programming languages; pure Horn clause logic languages; unification algorithm", treatment = "T Theoretical or Mathematical", } @Article{Robbiano:1986:TGS, author = "Lorenzo Robbiano", title = "On the Theory of Graded Structures", journal = j-J-SYMBOLIC-COMP, volume = "2", number = "2", pages = "139--170", month = jun, year = "1986", CODEN = "JSYCEH", ISSN = "0747-7171", MRclass = "13C05 (13-04 13A15 18D35 68Q40)", MRnumber = "87j:13010", MRreviewer = "Manfred Herrmann", bibdate = "Sat May 10 15:54:09 MDT 1997", bibsource = "Theory/Comp.Alg.1.bib; Theory/symbolic.math.bib", acknowledgement = ack-nhfb, classcodes = "B0290F (Interpolation and function approximation); C4130 (Interpolation and function approximation)", corpsource = "Istituto Matematico, Genova Univ., Italy", countrypub = "UK A03", keywords = "polynomials; graded structures theory; standard; Gr{\"o}bner bases; algorithmic problems; polynomial ideal theory; algebraic; theories; structural algebraic framework; Gr{\"o}bner Bases; Standard bases", treatment = "T Theoretical or Mathematical", } @Article{Edelsbrunner:1986:CHS, author = "H. Edelsbrunner and R. Waupotitsch", title = "Computing a Ham-Sandwich Cut in Two Dimensions", journal = j-J-SYMBOLIC-COMP, volume = "2", number = "2", pages = "171--178", month = jun, year = "1986", CODEN = "JSYCEH", ISSN = "0747-7171", MRclass = "68U05", MRnumber = "849 049", bibdate = "Sat May 10 15:54:09 MDT 1997", bibsource = "Theory/Comp.Alg.1.bib; Theory/symbolic.math.bib", acknowledgement = ack-nhfb, classcodes = "C4190 (Other numerical methods)", corpsource = "Dept. of Comput. Sci., Illinois Univ., Urbana, IL, USA", countrypub = "UK A04", keywords = "Computational Geometry; computational geometry; Euclidean plane; ham-sandwich cut computing; two dimensions", treatment = "T Theoretical or Mathematical", } @Article{Char:1986:TIM, author = "Bruce W. Char and G. J. Fee and Keith O. Geddes and Gaston H. Gonnet and Michael B. Monagan", title = "A Tutorial Introduction to {Maple}", journal = j-J-SYMBOLIC-COMP, volume = "2", number = "2", pages = "179--200", month = jun, year = "1986", CODEN = "JSYCEH", ISSN = "0747-7171", bibdate = "Wed Mar 19 13:51:24 MST 1997", bibsource = "ftp://ftp.math.utah.edu/pub/tex/bib/maple-extract.bib", acknowledgement = ack-nhfb, classcodes = "C7310 (Mathematics computing)", corpsource = "Dept. of Comput Sci., Waterloo Univ., Ont., Canada", countrypub = "UK A05", keywords = "algebra; algebra system; algebraic equations; algorithms; arithmetic; differential equations; differentiation; factoring; integration; interactive systems; languages; Maple computer; mathematical power; mathematics; matrix manipulations; programming; programming language; series expansions; simplification; space statistics; summation; time statistics; tutorial introduction; user syntax", review = "ACM CR 8705-0409", subject = "I.1.3 Computing Methodologies, ALGEBRAIC MANIPULATION, Languages and Systems, Maple", treatment = "P Practical; T Theoretical or Mathematical", } @Article{Duncan:1986:RUM, author = "Anthony Duncan and Ralph Roskies", title = "Representations of Unusual Mathematical Structures in Scientific Applications of Symbolic Computation", journal = j-J-SYMBOLIC-COMP, volume = "2", number = "2", pages = "201--206 (or 201--207??)", month = jun, year = "1986", CODEN = "JSYCEH", ISSN = "0747-7171", bibdate = "Wed Mar 19 13:51:24 MST 1997", bibsource = "Theory/Comp.Alg.1.bib; Theory/reduce.bib; Theory/symbolic.math.bib", abstract = "We present examples of techniques we have used to apply {REDUCE} to problems in particle physics which have mathematical structures unknown to {REDUCE}.", acknowledgement = ack-nhfb, classcodes = "C6130 (Data handling techniques); C7310 (Mathematics computing)", corpsource = "Dept. of Phys. and Astron., Pittsburgh Univ., PA, USA", countrypub = "UK A06", keywords = "anti-commuting; FORTRAN code; Gross-Neveu; mathematical structures; model; operators; particle physics; REDUCE, particle physics, numerics; scientific applications; symbol manipulation; symbolic computation; unusual mathematical structures", treatment = "P Practical; T Theoretical or Mathematical", } @Article{Trindle:1986:AMR, author = "C. Trindle", title = "Application of the {MuMath(R)} Symbol Manipulation System to Chemically Significant Permutation Groups", journal = j-J-SYMBOLIC-COMP, volume = "2", number = "2", pages = "207--212", month = jun, year = "1986", CODEN = "JSYCEH", ISSN = "0747-7171", bibdate = "Wed Mar 19 13:51:24 MST 1997", bibsource = "Theory/Comp.Alg.1.bib; Theory/symbolic.math.bib", acknowledgement = ack-nhfb, classcodes = "C6130 (Data handling techniques)", corpsource = "Dept. of Chem., Virginia Univ., Charlottesville, VA, USA", countrypub = "UK A07", keywords = "arithmetic; chemically significant; Chemistry, Computational Group Theory; generating characters; irreducible; modulo; MuMATH(R) symbol manipulation system; permutation groups; quantum states; representations; symbol manipulation", treatment = "P Practical; T Theoretical or Mathematical", } @Article{Steinberg:1986:UMW, author = "Stanly Steinberg and Patrick J. Roache", title = "Using {Macsyma} to Write {FORTRAN} Subroutines", journal = j-J-SYMBOLIC-COMP, volume = "2", number = "2", pages = "213--216", month = jun, year = "1986", CODEN = "JSYCEH", ISSN = "0747-7171", bibdate = "Wed Mar 19 13:51:24 MST 1997", bibsource = "Theory/auto.diff.bib; Theory/Comp.Alg.1.bib; Theory/symbolic.math.bib", acknowledgement = ack-nhfb, classcodes = "C6130 (Data handling techniques); C6140D (High level languages)", corpsource = "Dept. of Math. and Stat., New Mexico Univ., Albuquerque, NM, USA", countrypub = "UK A08", keywords = "boundary value problems; difference code; differential equations; electric field; elliptic partial; finite; FORTRAN; FORTRAN subroutines; laser cavity; MACSYMA; physics, differential equations, finite differences; symbol manipulation; symbol manipulator", referred = "[Char91a].", treatment = "P Practical; T Theoretical or Mathematical", } @Article{Caviness:1986:CAP, author = "B. F. Caviness", title = "Computer Algebra: Past and Future", journal = j-J-SYMBOLIC-COMP, volume = "2", number = "3", pages = "217--236", month = sep, year = "1986", CODEN = "JSYCEH", ISSN = "0747-7171", MRclass = "68Q40 (11Y05 11Y16 12-04 13-04)", MRnumber = "860 537", bibdate = "Sat May 10 15:54:09 MDT 1997", bibsource = "Theory/Comp.Alg.1.bib", acknowledgement = ack-nhfb, classcodes = "C4140 (Linear algebra); C7310 (Mathematics)", corpsource = "Dept. of Comput. and Inf. Sci., Delaware Univ., Newark, DE, USA", countrypub = "UK A01", keywords = "computer algebra; future research and development; GCD, Factorization, Polynomial Ideals, Logical Theories, Integration, Summation, Differential Equations, Software Systems, Transcendental Functions, Parallel Computation, Education; linear algebra", treatment = "B Bibliography; G General Review; T Theoretical or Mathematical", } @Article{Davenport:1986:ELS, author = "J. H. Davenport and M. F. Singer", title = "Elementary and {Liouvillian} solutions of linear differential equations", journal = j-J-SYMBOLIC-COMP, volume = "2", number = "3", pages = "237--260", month = sep, year = "1986", CODEN = "JSYCEH", ISSN = "0747-7171", MRclass = "12H05", MRnumber = "88f:12010", MRreviewer = "R. Cohn", bibdate = "Sat May 10 15:54:09 MDT 1997", bibsource = "Theory/cathode.bib; Theory/Comp.Alg.1.bib", acknowledgement = ack-nhfb, classcodes = "C4170 (Differential equations)", corpsource = "Sch. of Math., Bath Univ., UK", countrypub = "UK A02", keywords = "coefficients; differential equations; differential field; elementary solutions; linear; linear differential equations; linear ODEs Galois theory Liouvillian solutions ODEs oderef; Liouvillian solutions", treatment = "T Theoretical or Mathematical", } @Article{Rolletschek:1986:NDE, author = "Heinrich Rolletschek", title = "On the Number of Divisions of the {Euclidean} Algorithm Applied to {Gaussian} Integers", journal = j-J-SYMBOLIC-COMP, volume = "2", number = "3", pages = "261--292 (or 261--291??)", month = sep, year = "1986", CODEN = "JSYCEH", ISSN = "0747-7171", MRclass = "11Y16 (68Q40)", MRnumber = "88d:11131", MRreviewer = "Jacques Calmet", bibdate = "Sat May 10 15:54:09 MDT 1997", bibsource = "Theory/Comp.Alg.1.bib", acknowledgement = ack-nhfb, classcodes = "C4140 (Linear algebra)", corpsource = "Kent State Univ., OH, USA", countrypub = "UK A03", keywords = "arbitrary remainder; EA; Euclidean algorithm; Gaussian integers; linear algebra; minimal remainder-version; norm; number of divisions; tight upper bound", treatment = "T Theoretical or Mathematical", } @Article{Plaisted:1986:SPC, author = "David A. Plaisted and Steven Greenbaum", title = "A Structure Preserving Clause Form Translation", journal = j-J-SYMBOLIC-COMP, volume = "2", number = "3", pages = "293--304", month = sep, year = "1986", CODEN = "JSYCEH", ISSN = "0747-7171", MRclass = "68T15 (03B35 03B70)", MRnumber = "88b:68172", MRreviewer = "Alexander Leitsch", bibdate = "Sat May 10 15:54:09 MDT 1997", bibsource = "Theory/Comp.Alg.1.bib", acknowledgement = ack-nhfb, classcodes = "C1230 (Artificial intelligence)", corpsource = "Dept. of Comput. Sci., North Carolina Univ., Chapel Hill, NC, USA", countrypub = "UK A04", keywords = "clause form; first-; lock resolution; nonstandard clause form translation; order formula; predicates; program verification; program verification, resolution theorem proving; resolution theorem provers; structure-preserving clause form; theorem proving; translation", treatment = "T Theoretical or Mathematical", } @Article{Wang:1986:FSS, author = "Paul S. Wang", title = "{FINGER}: {A} symbolic system for automatic generation of numerical programs in finite element analysis", journal = j-J-SYMBOLIC-COMP, volume = "2", number = "3", pages = "305--316", month = sep, year = "1986", CODEN = "JSYCEH", ISSN = "0747-7171", bibdate = "Wed Mar 19 13:51:24 MST 1997", bibsource = "Theory/auto.diff.bib; Theory/Comp.Alg.1.bib", acknowledgement = ack-nhfb, classcodes = "C4140 (Linear algebra); C6100 (Software techniques and systems)", comment = "Char -- Includes a discussion of code optimization techniques.", corpsource = "Dept. of Math. Sci., Kent State Univ., OH, USA", countrypub = "UK A05", keywords = "algebra; automatic; automatic intermediate; automatic programming; code; expression labelling; FINGER; finite element analysis; finite element analysis packages; finite element code generator; FORTRAN code; FORTRAN-based; generated functions; generation; GENTRAN; interleaving formula derivation; LISP-based system; material matrices; matrices; matrix; numerical programs; stiffness; strain-displacement matrices; subroutines; symbolic formulas; symbolic system; symmetry", referred = "[Char91a].", treatment = "P Practical; T Theoretical or Mathematical", } @Article{Book:1986:UET, author = "R. V. Book and J. H. Siekmann", title = "On Unification: Equational Theories Are Not Bounded", journal = j-J-SYMBOLIC-COMP, volume = "2", number = "4", pages = "317--324", month = dec, year = "1986", CODEN = "JSYCEH", ISSN = "0747-7171", MRclass = "03B35 (03C05 68T15)", MRnumber = "88a:03027", MRreviewer = "Hans-Joachim Goltz", bibdate = "Sat May 10 15:54:09 MDT 1997", acknowledgement = ack-nhfb, classcodes = "C6130 (Data handling techniques)", corpsource = "Dept. of Math., California Univ., Santa Barbara, CA, USA", countrypub = "UK A01", keywords = "cardinality; equational theories; symbol manipulation; unification", treatment = "T Theoretical or Mathematical", } @Article{Paulson:1986:CRO, author = "Lawrence C. Paulson", title = "Constructing Recursion Operators in Intuitionistic Type Theory", journal = j-J-SYMBOLIC-COMP, volume = "2", number = "4", pages = "325--355", month = dec, year = "1986", CODEN = "JSYCEH", ISSN = "0747-7171", MRclass = "68T25 (03B15 03B70 03D65 03F15 03F50 68Q60)", MRnumber = "88b:68176", MRreviewer = "Daniel Leivant", bibdate = "Sat May 10 15:54:09 MDT 1997", bibsource = "Compiler/math.prog.construction.bib", acknowledgement = ack-nhfb, classcodes = "C4210 (Formal logic); C4240 (Programming and algorithm theory)", corpsource = "Comput. Lab., Cambridge, UK", countrypub = "UK A02", keywords = "computer programs; formal logic; formal reasoning; induction; Martin-Lof intuitionistic; natural numbers; program verification, theorem proving; programming theory; recursion operators construction; theory of types", treatment = "T Theoretical or Mathematical", } @Article{Bremner:1986:FCW, author = "Murray R. Bremner", title = "Fast Computation of Weight Multiplicities", journal = j-J-SYMBOLIC-COMP, volume = "2", number = "4", pages = "357--362", month = dec, year = "1986", CODEN = "JSYCEH", ISSN = "0747-7171", MRclass = "17B10", MRnumber = "88a:17010", bibdate = "Sat May 10 15:54:09 MDT 1997", acknowledgement = ack-nhfb, classcodes = "C7310 (Mathematics)", corpsource = "Dept. of Math., Yale Univ., New Haven, CT, USA", countrypub = "UK A03", keywords = "CDC Cyber 835; complex Lie algebras; dominant weights; fast computation; finite-dimensional irreducible modules; implementation; Lie algebra; Lie groups; mathematics computing; Pascal; weight multiplicities", treatment = "T Theoretical or Mathematical", } @Article{LeChenadec:1986:CCG, author = "Philippe {Le Chenadec}", title = "A Catalogue of Complete Group Presentations", journal = j-J-SYMBOLIC-COMP, volume = "2", number = "4", pages = "363--381", month = dec, year = "1986", CODEN = "JSYCEH", ISSN = "0747-7171", MRclass = "68Q40 (20F05 20F10 68Q50)", MRnumber = "88f:68067", MRreviewer = "D. L. Johnson", bibdate = "Sat May 10 15:54:09 MDT 1997", acknowledgement = ack-nhfb, classcodes = "B0210 (Algebra); B0250 (Combinatorial mathematics); C1110 (Algebra); C1160 (Combinatorial mathematics)", corpsource = "INRIA, Le Chesnay, France", countrypub = "UK A04", keywords = "algorithms; catalogue; combinatorial mathematics; combinatorial properties; complete group presentations; Coxeter groups; Dyck groups; group theory; problem; replacement rules; Rewriting, Church-Rosser; surface groups; symmetric groups; uniform; word; word problem", treatment = "T Theoretical or Mathematical", } @Article{Armbruster:1986:CUU, author = "D. Armbruster and H. Kredel", title = "Constructing universal unfoldings using {Gr{\"o}bner} bases", journal = j-J-SYMBOLIC-COMP, volume = "2", number = "4", pages = "383--388", month = dec, year = "1986", CODEN = "JSYCEH", ISSN = "0747-7171", MRclass = "58-04 (58C27 58E07 68Q40)", MRnumber = "87m:58002", bibdate = "Sat May 10 15:54:09 MDT 1997", acknowledgement = ack-nhfb, classcodes = "C4200 (Computer theory)", corpsource = "Inst. for Inf. Sci., Tubingen Univ., West Germany", countrypub = "UK A05", keywords = "computation theory; universal unfoldings construction; Gr{\"o}bner bases; Buchberger; algorithm system; singularity; bifurcation theory; mapping problem; Bifurcation; Singularities", treatment = "T Theoretical or Mathematical", } @Article{Kutzler:1986:ABA, author = "B. Kutzler and S. Stifter", title = "On the application of {Buchberger}'s algorithm to automated geometry theorem proving", journal = j-J-SYMBOLIC-COMP, volume = "2", number = "4", pages = "389--397", month = dec, year = "1986", CODEN = "JSYCEH", ISSN = "0747-7171", MRclass = "68T15 (03B35 51-04)", MRnumber = "872 788", bibdate = "Sat May 10 15:54:09 MDT 1997", acknowledgement = ack-nhfb, classcodes = "C4190 (Other numerical methods)", corpsource = "Inst. fur Math., Linz Univ., Austria", countrypub = "UK A06", keywords = "computational geometry; Buchberger algorithm; automated geometry theorem proving; Gr{\"o}bner bases; hypotheses; conjecture; polynomial equations; pseudoreduction; rational function field; computer algebra; system SAC-2; IBM 4341", treatment = "T Theoretical or Mathematical", } @Article{Kapur:1986:UGB, author = "Deepak Kapur", title = "Using {Gr{\"o}bner} bases to reason about geometry problems", journal = j-J-SYMBOLIC-COMP, volume = "2", number = "4", pages = "399--408", month = dec, year = "1986", CODEN = "JSYCEH", ISSN = "0747-7171", MRclass = "68T15 (03B35 51-04 68Q40)", MRnumber = "872 789", bibdate = "Sat May 10 15:54:09 MDT 1997", acknowledgement = ack-nhfb, classcodes = "C4130 (Interpolation and function approximation); C4190 (Other numerical methods)", corpsource = "Corp. Res. and Dev., General Electric Co., Schenectady, NY, USA", countrypub = "UK A07", keywords = "computational geometry; polynomials; reasoning; Gr{\"o}bner bases; geometry problems; finite set; polynomial equations; Geometrical Theorem Proving", treatment = "T Theoretical or Mathematical", } @Article{Coquand:1986:SBC, author = "T. Coquand and G. P. Huet", title = "A Selected Bibliography on Constructive Mathematics, Intuitionistic Type Theory and Higher Order Deduction", journal = j-J-SYMBOLIC-COMP, volume = "3", number = "1", pages = "??--??", month = "????", year = "1986", CODEN = "JSYCEH", ISSN = "0747-7171", bibsource = "Misc/Functional.bib", keywords = "functional typed lambda calculus Curry", } @Article{Buchberger:1987:HBF, author = "Bruno Buchberger", title = "History and Basic Features of the Critical-Pair/Completion Procedure", journal = j-J-SYMBOLIC-COMP, volume = "3", number = "1--2", pages = "3--38", month = feb # "--" # apr, year = "1987", CODEN = "JSYCEH", ISSN = "0747-7171", MRclass = "68Q40 (03B35 68Q50 68T20)", MRnumber = "88m:68026", MRreviewer = "Klaus Madlener", bibdate = "Sat May 10 15:54:09 MDT 1997", note = "Rewriting techniques and applications (Dijon, 1985).", acknowledgement = ack-nhfb, classcodes = "C1110 (Algebra); C1230 (Artificial intelligence); C4210 (Formal logic)", corpsource = "Dept. of Math., Johannes-Kepler-Univ., Linz, Austria", countrypub = "UK A01", keywords = "algebra; algorithmic polynomial ideal theory; critical-pair/completion approach; finitely generated algebras; formal languages; formal logic; polynomials; reviews; rewriting; superpositions; symbol manipulation; symbolic computation; systems; theorem proving; Resolution; Theorem Proving; Rewrite; Knuth-Bendix; Church-Rosser; Gr{\"o}bner Bases", treatment = "B Bibliography; G General Review; T Theoretical or Mathematical", } @Article{Book:1987:TSR, author = "Ronald V. Book", title = "{Thue} Systems as Rewriting Systems", journal = j-J-SYMBOLIC-COMP, volume = "3", number = "1--2", pages = "39--68", month = feb # "--" # apr, year = "1987", CODEN = "JSYCEH", ISSN = "0747-7171", MRclass = "03D03 (03D35 68Q50)", MRnumber = "88g:03056", MRreviewer = "George Tourlakis", bibdate = "Sat May 10 15:54:09 MDT 1997", note = "Rewriting techniques and applications (Dijon, 1985).", acknowledgement = ack-nhfb, classcodes = "C1160 (Combinatorial mathematics); C4210 (Formal logic); C4240 (Programming and algorithm theory)", corpsource = "Dept. of Math., California Univ., Santa Barbara, CA, USA", countrypub = "UK A02", keywords = "Church-; computational complexity; decidability; formal languages; formal logic; formula manipulation; group theory; groups; length-decreasing rewriting; monoids; reduction; reviews; rewriting systems; Rosser property; rules; strings over a finite alphabet; symbol manipulation; symbolic computation; Thue systems", treatment = "B Bibliography; G General Review; T Theoretical or Mathematical", } @Article{Dershowitz:1987:TR, author = "Nachum Dershowitz", key = "Ders87", title = "Termination of Rewriting", journal = j-J-SYMBOLIC-COMP, volume = "3", number = "1--2", pages = "69--115", month = feb # "--" # apr, year = "1987", CODEN = "JSYCEH", ISSN = "0747-7171", MRclass = "68Q50 (68T15)", MRnumber = "88j:68099a", MRreviewer = "Ursula Martin", bibdate = "Sat May 10 15:54:09 MDT 1997", bibsource = "Misc/formal.hardware.verification.bib", note = "Rewriting techniques and applications (Dijon, 1985). See corrigendum \cite{Dershowitz:1987:CTR}.", acknowledgement = ack-nhfb, classcodes = "C4210 (Formal logic); C4240 (Programming and algorithm theory)", corpsource = "Dept. of Comput. Sci., Illinois Univ., Urbana, IL, USA", countrypub = "UK A03", keyword = "Rewrite Methods", keywords = "decidability; formal languages; formal logic; interpretations; linearity; orderings on terms; path orderings; polynomial; program; restrictions; reviews; rewriting systems; symbol manipulation; symbolic computation; terminating programs; termination proofs; verification", treatment = "B Bibliography; G General Review; T Theoretical or Mathematical", } @Article{Rusinowitch:1987:PSO, author = "Michael Rusinowitch", title = "Path of Subterms Ordering and Recursive Decomposition Ordering Revisited", journal = j-J-SYMBOLIC-COMP, volume = "3", number = "1--2", pages = "117--132 (or 117--131??)", month = feb # "--" # apr, year = "1987", CODEN = "JSYCEH", ISSN = "0747-7171", MRclass = "68Q50 (68T15)", MRnumber = "89h:68095", bibdate = "Sat May 10 15:54:09 MDT 1997", bibsource = "Theory/obscure.bib", note = "Rewriting techniques and applications (Dijon, 1985).", acknowledgement = ack-nhfb, classcodes = "C1230 (Artificial intelligence); C4210 (Formal logic)", corpsource = "Centre de Recherche en Inf. de Nancy, Vandoeuvre, France", countrypub = "UK A04", keywords = "formal languages; formal logic; manipulation; path of subterms ordering; recursive decomposition ordering; recursive functions; recursive path ordering; Rewrite, Termination; rewriting systems; symbol; symbolic computation; theorem proving", treatment = "T Theoretical or Mathematical", } @Article{Hsiang:1987:RMT, author = "Jieh Hsiang", title = "Rewrite Method for Theorem Proving in First Order Theory with Equality", journal = j-J-SYMBOLIC-COMP, volume = "3", number = "1--2", pages = "133--151", month = feb # "--" # apr, year = "1987", CODEN = "JSYCEH", ISSN = "0747-7171", MRclass = "03B35 (68T15)", MRnumber = "88g:03020", MRreviewer = "Alexander Leitsch", bibdate = "Sat May 10 15:54:09 MDT 1997", note = "Rewriting techniques and applications (Dijon, 1985).", acknowledgement = ack-nhfb, classcodes = "C1230 (Artificial intelligence); C4210 (Formal logic)", corpsource = "Dept. of Comput. Sci., State Univ. of New York, Stony Brook, NY, USA", countrypub = "UK A05", keywords = "Boolean algebra; calculus; equality; first order predicate calculus with; formal logic; Hsiang-Dershowitz; manipulation; method; paramodulation; resolution; symbol; symbolic computation; term rewriting method; theorem proving", treatment = "T Theoretical or Mathematical", } @Article{Yelick:1987:UCC, author = "Katherine A. Yelick", title = "Unification in Combinations of Collapse-free Regular Theories", journal = j-J-SYMBOLIC-COMP, volume = "3", number = "1--2", pages = "153--181", month = feb # "--" # apr, year = "1987", CODEN = "JSYCEH", ISSN = "0747-7171", MRclass = "68T15 (03B35 03C05)", MRnumber = "89a:68193", MRreviewer = "G. E. Peterson", bibdate = "Sat May 10 15:54:09 MDT 1997", note = "Rewriting techniques and applications (Dijon, 1985).", acknowledgement = ack-nhfb, classcodes = "C1230 (Artificial intelligence); C4210 (Formal logic); C4240 (Programming and algorithm theory)", corpsource = "Lab. for Comput. Sci., MIT, Cambridge, MA, USA", countrypub = "UK A06", keywords = "algorithm correctness proving; associative-; collapse-free regular theories; commutative operator unification; equational; formal logic; free symbols; mixed function-symbol sets; multiple operator instances; necessary and sufficient; program verification; proving; restrictions; Rewrite; symbol manipulation; symbolic computation; theorem; theorem proving; unification algorithms; variable-only case algorithm", treatment = "T Theoretical or Mathematical", } @Article{Tiden:1987:UPO, author = "Erik Tid{\'e}n and Stefan Arnborg", title = "Unification Problems with One-sided Distributivity", journal = j-J-SYMBOLIC-COMP, volume = "3", number = "1--2", pages = "183--202", month = feb # "--" # apr, year = "1987", CODEN = "JSYCEH", ISSN = "0747-7171", MRclass = "68Q50 (03B35 03C05 03D35 68Q20 68T15)", MRnumber = "89a:68141", MRreviewer = "Denis Lugiez", bibdate = "Sat May 10 15:54:09 MDT 1997", note = "Rewriting techniques and applications (Dijon, 1985).", acknowledgement = ack-nhfb, classcodes = "B1130B (Computer-aided circuit analysis and design); C1230 (Artificial intelligence); C4210 (Formal logic); C4240 (Programming and algorithm theory); C4290 (Other computer theory)", corpsource = "Swedish Inst. of Comput. Sci., Spanga, Sweden", countrypub = "UK A07", keywords = "associativity; circuit CAD; circuit synthesis; computational complexity; decidability; decision procedure; decomposition; distributivity; equational theories; generalized occurs check; manipulation; Markov associative unification; one-sided distributivity; one-sided unit element; permutative theory; problem; Rewrite; symbol; symbolic computation; termination; theorem proving; two-sided; unification", treatment = "T Theoretical or Mathematical", } @Article{Benanav:1987:CMP, author = "Dan Benanav and Deepak Kapur and Paliath Narendran", title = "Complexity of Matching Problems", journal = j-J-SYMBOLIC-COMP, volume = "3", number = "1--2", pages = "203--216", month = feb # "--" # apr, year = "1987", CODEN = "JSYCEH", ISSN = "0747-7171", MRclass = "68Q50 (03B35 03D15 68Q25 68Q40 68T15)", MRnumber = "89a:68131", MRreviewer = "Alexander Leitsch", bibdate = "Sat May 10 15:54:09 MDT 1997", note = "Rewriting techniques and applications (Dijon, 1985).", acknowledgement = ack-nhfb, classcodes = "C1230 (Artificial intelligence); C4210 (Formal logic); C4240 (Programming and algorithm theory)", corpsource = "Corp. Res. and Dev., General Electric Co., Schenectady, NY, USA", countrypub = "UK A08", keywords = "associative matching; associative-commutative; automated reasoning; complexity; computational; computational complexity; formal logic; functional programming; logic programming; matching problem; NP-complete problems; program verification; programming; relational; Rewrite, Unification; specification analysis; symbol manipulation; symbolic computation; upper bound", treatment = "T Theoretical or Mathematical", } @Article{Fortenbacher:1987:AAU, author = "Albrecht Fortenbacher", title = "An Algebraic Approach to Unification Under Associativity and Commutativity", journal = j-J-SYMBOLIC-COMP, volume = "3", number = "3", pages = "217--229", month = jun, year = "1987", CODEN = "JSYCEH", ISSN = "0747-7171", MRclass = "68T15 (03B35 68Q55)", MRnumber = "89i:68114", bibdate = "Sat May 10 15:54:09 MDT 1997", acknowledgement = ack-nhfb, classcodes = "C4210 (Formal logic); C6130 (Data handling techniques)", corpsource = "Inst. fur Inf. I, Karlsruhe Univ., West Germany", countrypub = "UK A01", keywords = "Abelian strings; algebraic approach; associativity; commutativity; formal languages; free algebra; mappings; symbol manipulation; unification", treatment = "T Theoretical or Mathematical", } @Article{Sims:1987:VN, author = "Charles C. Sims", title = "Verifying Nilpotence", journal = j-J-SYMBOLIC-COMP, volume = "3", number = "3", pages = "231--247", month = jun, year = "1987", CODEN = "JSYCEH", ISSN = "0747-7171", MRclass = "20F10 (03B35 20F18 68Q40 68Q50)", MRnumber = "88k:20057", MRreviewer = "Klaus Madlener", bibdate = "Sat May 10 15:54:09 MDT 1997", acknowledgement = ack-nhfb, classcodes = "C1160 (Combinatorial mathematics); C1230 (Artificial intelligence); C4210 (Formal logic)", corpsource = "Dept. of Math., Rutgers Univ., New Brunswick, NJ, USA", countrypub = "UK A02", keywords = "computer implementation; Finitely Presented Group, Rewriting; formal languages; group theory; minimal presentations; nilpotence verification; polycyclicity; presented group; rules; string rewriting; theorem proving", treatment = "T Theoretical or Mathematical", } @Article{Aurenhammer:1987:RPC, author = "F. Aurenhammer", title = "Recognising Polytopical Cell Complexes and Constructing Projection Polyhedra", journal = j-J-SYMBOLIC-COMP, volume = "3", number = "3", pages = "249--255", month = jun, year = "1987", CODEN = "JSYCEH", ISSN = "0747-7171", MRclass = "68U05", MRnumber = "88h:68081", bibdate = "Sat May 10 15:54:09 MDT 1997", acknowledgement = ack-nhfb, classcodes = "C4190 (Other numerical methods)", corpsource = "Inst. for Inf. Process., Tech. Univ. of Graz, Austria", countrypub = "UK A03", keywords = "computational geometry; Computational Geometry, Voronoi Diagrams; construction; convex polyhedron; diagrams; Euclidean d-space; planar point-location; polytopical cell complexes recognition; projection polyhedra; Voronoi", treatment = "T Theoretical or Mathematical", } @Article{Fages:1987:ACU, author = "Fran{\c{c}}ois Fages", title = "Associative-Commutative Unification", journal = j-J-SYMBOLIC-COMP, volume = "3", number = "3", pages = "257--275", month = jun, year = "1987", CODEN = "JSYCEH", ISSN = "0747-7171", MRclass = "68Q25 (03B35 68T15)", MRnumber = "89a:68098", MRreviewer = "G. E. Peterson", bibdate = "Sat May 10 15:54:09 MDT 1997", acknowledgement = ack-nhfb, classcodes = "C4210 (Formal logic)", corpsource = "Lab. d'Inf. Theor. et de Programmation, CNRS, Paris, France", countrypub = "UK A04", keywords = "associative-commutation unification; automated deduction; correctness; diophantine equations; equational theories; formal languages; homogeneous; linear diophantine equations; term rewriting systems; termination", treatment = "T Theoretical or Mathematical", } @Article{Ogilvie:1987:ASC, author = "J. F. Ogilvie and R. H. Tipping", title = "On the Analytic Solution by Computer Algebra of Some Problems in the Vibration-rotational Spectroscopy of Diatomic Molecules", journal = j-J-SYMBOLIC-COMP, volume = "3", number = "3", pages = "277--281", month = jun, year = "1987", CODEN = "JSYCEH", ISSN = "0747-7171", MRclass = "81G55 (65V05 81-08)", MRnumber = "88h:81242", bibdate = "Sat May 10 15:54:09 MDT 1997", acknowledgement = ack-nhfb, classcodes = "A3120 (Specific calculations and results); A3310J (Vibrational-rotational analysis); A3320 (Molecular spectra grouped by wavelength ranges)", corpsource = "Res. Sch. of Chem., Inst. of Adv. Studies, Australian Nat. Univ., Canberra, ACT, Australia", countrypub = "UK A05", keywords = "analytic solution; chemistry, REDUCE; coefficients; computational techniques; computer algebra; diatomic molecules; Dunham theory; expectation values; frequency data; Herman-Wallis; intensity data; matrix elements; molecular energy level calculations; molecular rotation-; molecules; spectra of diatomic inorganic; term-value coefficients; vibration calculations; vibration-rotational spectroscopy", treatment = "T Theoretical or Mathematical", } @Article{Beyer:1987:STA, author = "W. A. Beyer and L. Heller", title = "A {Steiner} Tree Associated with Tree Quarks", journal = j-J-SYMBOLIC-COMP, volume = "3", number = "3", pages = "283--289", month = jun, year = "1987", CODEN = "JSYCEH", ISSN = "0747-7171", MRclass = "81G20 (05C99)", MRnumber = "88h:81229", bibdate = "Sat May 10 15:54:09 MDT 1997", acknowledgement = ack-nhfb, classcodes = "A1235H (Phenomenological composite models of particle structure and reactions (partons, bags, etc.))", corpsource = "Theor. Div., Los Alamos Nat. Lab., NM, USA", countrypub = "UK A06", keywords = "geometries; MACSYMA; MIT bag model; quark confinement; static quarks; Steiner tree; symbol manipulation; symbol manipulation system; three quarks; trees (mathematics)", treatment = "T Theoretical or Mathematical", } @Article{Mills:1987:USA, author = "R. D. Mills", title = "Using a Small Algebraic Manipulation System to Solve Differential and Integral Equations by Variational and Approximation Techniques", journal = j-J-SYMBOLIC-COMP, volume = "3", number = "3", pages = "291--301", month = jun, year = "1987", CODEN = "JSYCEH", ISSN = "0747-7171", MRclass = "65V05", MRnumber = "88d:65188", bibdate = "Sat May 10 15:54:09 MDT 1997", acknowledgement = ack-nhfb, classcodes = "B0260 (Optimisation techniques); B0290P (Differential equations); B0290R (Integral equations); C1180 (Optimisation techniques); C4170 (Differential equations); C4180 (Integral equations); C6130 (Data handling techniques)", corpsource = "Dept. of Comput. Sci., Glasgow Univ., UK", countrypub = "UK A07", keywords = "algebraic; approximation techniques; approximations; boundary-value problems; differential equations; Fredholm; integral equations; least squares; least-; manipulation system; MuMATH; MUMATH; squares techniques; symbol manipulation; variational techniques", treatment = "T Theoretical or Mathematical", } @Article{Semjonov:1987:SPK, author = "A. L. Semjonov and L. S. Mel\cprime{}nikov and V. A. Evstigneev", title = "Solving the Problems of Kinetics of Complex Reactions by Symbolic Algebraic Manipulation Methods", journal = j-J-SYMBOLIC-COMP, volume = "3", number = "3", pages = "303--307", month = jun, year = "1987", CODEN = "JSYCEH", ISSN = "0747-7171", MRclass = "80A30 (05C20 92A40)", MRnumber = "88k:80012", bibdate = "Sat May 10 15:54:09 MDT 1997", acknowledgement = ack-nhfb, classcodes = "A8220 (Chemical kinetics)", corpsource = "Inst. of Maths., Acad. of Sci., Novosibirsk, USSR", countrypub = "UK A08", keywords = "complex reactions; graph theory; graph-theoretical methods; kinetics problems; Kinetics, Physics, Polynomials, ARAP, YARMO; manipulation; manipulation methods; multivariate polynomial operations; polynomials; reaction kinetics theory; symbol; symbolic algebraic", treatment = "T Theoretical or Mathematical", } @Article{Pohst:1987:I, author = "Michael Pohst", title = "Introduction", journal = j-J-SYMBOLIC-COMP, volume = "4", number = "1", pages = "1--2", year = "1987", CODEN = "JSYCEH", ISSN = "0747-7171", MRclass = "i", MRnumber = "88i:01124", bibdate = "Sat May 10 15:54:09 MDT 1997", acknowledgement = ack-nhfb, } @Article{Boffgen:1987:CDP, author = "R. B{\"o}ffgen and M. A. Reichert", title = "Computing the Decomposition of Primes $p$ and $p$-adic Absolute Values in Semisimple Algebras over {${\bf Q}$}", journal = j-J-SYMBOLIC-COMP, volume = "4", number = "1", pages = "3--10", month = aug, year = "1987", CODEN = "JSYCEH", ISSN = "0747-7171", MRclass = "11Y40 (11R27)", MRnumber = "89e:11083", MRreviewer = "Kurt Girstmair", bibdate = "Sat May 10 15:54:09 MDT 1997", acknowledgement = ack-nhfb, classcodes = "C1160 (Combinatorial mathematics)", corpsource = "Saarlandes Univ., Fachbereich Math., Saarbrucken, West Germany", countrypub = "UK A01", keywords = "algorithm; factorisation; Factorization; Ford-Zassenhaus algorithm; monic; number; number theory; ORDMAX; p-adic values; prime decomposition; semi-simple algebras; separable polynomial; symbol manipulation; symbolic computation; theory", treatment = "T Theoretical or Mathematical", } @Article{Buchmann:1987:PIT, author = "Johannes B. Buchmann and H. C. Williams", title = "On Principal Ideal Testing in Algebraic Number Fields", journal = j-J-SYMBOLIC-COMP, volume = "4", number = "1", pages = "11--19", month = aug, year = "1987", CODEN = "JSYCEH", ISSN = "0747-7171", MRclass = "11R29 (11Y40)", MRnumber = "88m:11093", MRreviewer = "Franz Halter-Koch", bibdate = "Sat May 10 15:54:09 MDT 1997", acknowledgement = ack-nhfb, classcodes = "C1160 (Combinatorial mathematics)", corpsource = "Math. Inst., Dusseldorf Univ., West Germany", countrypub = "UK A02", keywords = "algebraic number; complexity; computational; cyclotomic numbers of order 7; fields; number theory; principal ideal testing; symbol manipulation; symbolic computation", treatment = "T Theoretical or Mathematical", } @Article{Cerlienco:1987:CMP, author = "L. Cerlienco and M. Mignotte and F. Piras", title = "Computing the Measure of a Polynomial", journal = j-J-SYMBOLIC-COMP, volume = "4", number = "1", pages = "21--33", month = aug, year = "1987", CODEN = "JSYCEH", ISSN = "0747-7171", MRclass = "12-04 (11J99 11Y16 30-04 68Q40)", MRnumber = "89a:12001", MRreviewer = "Joachim von zur Gathen", bibdate = "Sat May 10 15:54:09 MDT 1997", acknowledgement = ack-nhfb, classcodes = "C1110 (Algebra)", corpsource = "Dipartimento di Matematica, Cagliari Univ., Italy", countrypub = "UK A03", keywords = "algebraic algorithms; complex zeros of a polynomial; computational complexity; elimination problems; linearly recursive sequences; measure of a; poles and zeros; polynomials; semi-numerical algorithms; Solutions of Polynomials, numerics, elimination; symbol manipulation; symbolic computation; univariate polynomial", treatment = "T Theoretical or Mathematical", } @Article{Cohn:1987:ASM, author = "Harvey Cohn and Jesse Ira Deutsch", title = "Application of Symbolic Manipulation to the {Hecke} Transformations of Modular Forms in Two Variables, {II}", journal = j-J-SYMBOLIC-COMP, volume = "4", number = "1", pages = "35--40", month = aug, year = "1987", CODEN = "JSYCEH", ISSN = "0747-7171", MRclass = "11F41 (11Y16 11Y35)", MRnumber = "88k:11032", MRreviewer = "Marvin I. Knopp", bibdate = "Sat May 10 15:54:09 MDT 1997", acknowledgement = ack-nhfb, classcodes = "C1110 (Algebra); C1160 (Combinatorial mathematics); C7310 (Mathematics)", corpsource = "Dept. of Math., City Coll., New York, NY, USA", countrypub = "UK A04", keywords = "algebra; asymmetric modular forms; equations; Hecke transformations; in two variables; MACSYMA, Computational Number Theory, Algebraic Number Fields; manipulation; mathematics computing; modular forms; number theory; polynomial; symbol; symbolic manipulation", treatment = "T Theoretical or Mathematical; X Experimental", } @Article{Eckhardt:1987:CCN, author = "Carsten Eckhardt", title = "Computation of Class Numbers by an Analytic Method", journal = j-J-SYMBOLIC-COMP, volume = "4", number = "1", pages = "41--52", month = aug, year = "1987", CODEN = "JSYCEH", ISSN = "0747-7171", MRclass = "11R29 (11Y40)", MRnumber = "89b:11089", MRreviewer = "H. London", bibdate = "Sat May 10 15:54:09 MDT 1997", acknowledgement = ack-nhfb, classcodes = "C1110 (Algebra); C1160 (Combinatorial mathematics)", corpsource = "Gottingen Univ, Math. Inst., West Germany", countrypub = "UK A05", keywords = "algebra; algebraic number field; Algebraic Number Fields; analytic method; class numbers; manipulation; number theory; series (mathematics); series expansion; symbol; symbolic computation", treatment = "T Theoretical or Mathematical", } @Article{Folz:1987:WRD, author = "H. G. Folz and H. G. Zimmer", title = "What is the Rank of the {Demjanenko} Matrix?", journal = j-J-SYMBOLIC-COMP, volume = "4", number = "1", pages = "53--67", month = aug, year = "1987", CODEN = "JSYCEH", ISSN = "0747-7171", MRclass = "11G05 (11Y50)", MRnumber = "88k:11038", MRreviewer = "Toshihiro Hadano", bibdate = "Sat May 10 15:54:09 MDT 1997", acknowledgement = ack-nhfb, classcodes = "C1110 (Algebra); C1160 (Combinatorial mathematics); C7310 (Mathematics)", corpsource = "Fachbereich 9 Math., Saarlandes Univ., Saarbrucken, West Germany", countrypub = "UK A06", keywords = "algebraic number; boundedness; Demjanenko matrix; Elliptic Curves, Algebraic Number Fields; field; lower estimate; manipulation; mathematics computing; matrix algebra; number theory; rank; symbol; symbolic computation; theorem; torsion of an elliptic curve", treatment = "T Theoretical or Mathematical; X Experimental", } @Article{Ford:1987:CMO, author = "David J. Ford", title = "The Construction of Maximal Orders Over a {Dedekind} Domain", journal = j-J-SYMBOLIC-COMP, volume = "4", number = "1", pages = "69--75", month = aug, year = "1987", CODEN = "JSYCEH", ISSN = "0747-7171", MRclass = "11R54 (16A18)", MRnumber = "89a:11121", MRreviewer = "J{\"u}rgen Ritter", bibdate = "Sat May 10 15:54:09 MDT 1997", acknowledgement = ack-nhfb, classcodes = "C1110 (Algebra); C1160 (Combinatorial mathematics)", corpsource = "Concordia Univ., Montreal, Que., Canada", countrypub = "UK A07", keywords = "algebra; algebraic decomposition; algebraic decomposition, p-adic, Residue Domains; complete local; computation; Dedekind domain; integral element; maximal orders; number theory; P-adic stability; polynomials; proper factorisation of monic polynomials; symbol manipulation; symbolic; Zassenhaus", treatment = "T Theoretical or Mathematical; X Experimental", } @Article{Kaltofen:1987:DIT, author = "Erich Kaltofen", title = "Deterministic Irreducibility Testing of Polynomials over Large Finite Fields", journal = j-J-SYMBOLIC-COMP, volume = "4", number = "1", pages = "77--82", month = aug, year = "1987", CODEN = "JSYCEH", ISSN = "0747-7171", MRclass = "11T06 (11Y16 12E05 68Q40)", MRnumber = "88k:11091", MRreviewer = "Jacques Calmet", bibdate = "Sat May 10 15:54:09 MDT 1997", acknowledgement = ack-nhfb, classcodes = "C1110 (Algebra); C1160 (Combinatorial mathematics); C4240 (Programming and algorithm theory)", corpsource = "Dept. of Comput. Sci., Rensselaer Polytech. Inst., Troy, NY, USA", countrypub = "UK A08", keywords = "Berlekamp algorithm; Berlekamp's Algorithm; computational complexity; dense multivariate polynomials; deterministic irreducibility testing; manipulation; number theory; polynomials; sequential deterministic polynomial-; symbol; symbolic computation; time algorithm", treatment = "T Theoretical or Mathematical", } @Article{Malle:1987:PPN, author = "Gunter Malle", title = "Polynomials for Primitive Nonsolvable Permutation Groups of Degree $d \leq 15$", journal = j-J-SYMBOLIC-COMP, volume = "4", number = "1", pages = "83--92", month = aug, year = "1987", CODEN = "JSYCEH", ISSN = "0747-7171", MRclass = "12F10 (11R32 12E05)", MRnumber = "89b:12007", MRreviewer = "K. Kiyek", bibdate = "Sat May 10 15:54:09 MDT 1997", acknowledgement = ack-nhfb, classcodes = "C1110 (Algebra); C1160 (Combinatorial mathematics)", corpsource = "Math. Inst. II, Lehrstuhl Professor Leopoldt, Karlsruhe, West Germany", countrypub = "UK A09", keywords = "Galois group; Galois Groups; group theory; groups; Hilbert irreducibility theorem; manipulation; maximal transitive; number theory; polynomials; primitive nonsolvable permutation; subgroups; symbol; symbolic computation", treatment = "T Theoretical or Mathematical", } @Article{Matzat:1987:PGG, author = "B. Heinrich Matzat and Andreas Zeh-Marschke", title = "{Polynome mit der Galoisgruppe ${M}_{11}$ {\"u}ber ${\bf Q}$. (German)} [Polynomials with the {Galois} group ${M}_{11}$ over ${\bf Q}$]", journal = j-J-SYMBOLIC-COMP, volume = "4", number = "1", pages = "93--97", month = aug, year = "1987", CODEN = "JSYCEH", ISSN = "0747-7171", MRclass = "12E05 (11R32 12F10)", MRnumber = "89b:12004", MRreviewer = "W. Feit", bibdate = "Sat May 10 15:54:09 MDT 1997", acknowledgement = ack-nhfb, classcodes = "C1110 (Algebra); C1160 (Combinatorial mathematics)", corpsource = "Math. Inst. II, Karlsruhe Univ., West Germany", countrypub = "UK A10", keywords = "group theory; manipulation; number theory; polynomials; symbol; symbolic computation", language = "German", treatment = "T Theoretical or Mathematical", } @Article{Maus:1987:CIB, author = "Eckart Maus", title = "Computation of integral bases in certain ${S}_n$ extensions of ${\bf Q}$", journal = j-J-SYMBOLIC-COMP, volume = "4", number = "1", pages = "99--102", month = aug, year = "1987", CODEN = "JSYCEH", ISSN = "0747-7171", MRclass = "11R29 (11R21 11R33)", MRnumber = "88m:11094", MRreviewer = "B. Heinrich Matzat", bibdate = "Sat May 10 15:54:09 MDT 1997", acknowledgement = ack-nhfb, classcodes = "C1110 (Algebra); C1160 (Combinatorial mathematics)", corpsource = "Math. Inst., Georg-August-Univ., Gottingen, West Germany", countrypub = "UK A11", keywords = "$S_n$ extensions; algebra; extensions; Galois; Galois Extensions, Galois Group; group; group theory; integral bases; nonsolvable Galois; number theory; ring of integers; symbol manipulation; symbolic computation; trinomial equations", treatment = "T Theoretical or Mathematical", } @Article{Petho:1987:RTI, author = "Attila Peth{\"o}", title = "On the resolution of {Thue} inequalities", journal = j-J-SYMBOLIC-COMP, volume = "4", number = "1", pages = "103--109", month = aug, year = "1987", CODEN = "JSYCEH", ISSN = "0747-7171", MRclass = "11D75 (11A55 11Y50)", MRnumber = "89b:11030", MRreviewer = "John H. Loxton", bibdate = "Sat May 10 15:54:09 MDT 1997", acknowledgement = ack-nhfb, classcodes = "C1110 (Algebra); C1160 (Combinatorial mathematics)", corpsource = "Math. Inst., Kossuth Lajos Univ., Debrecen, Hungary", countrypub = "UK A12", keywords = "continued fraction expansion; Diophantine Inequalities; homogeneous polynomial; number theory; polynomials; resolution; symbol manipulation; symbolic computation; Thue inequalities", treatment = "T Theoretical or Mathematical", } @Article{Plesken:1987:TSQ, author = "W. Plesken", title = "Towards a Soluble Quotient Algorithm", journal = j-J-SYMBOLIC-COMP, volume = "4", number = "1", pages = "111--122", month = aug, year = "1987", CODEN = "JSYCEH", ISSN = "0747-7171", MRclass = "20F16 (03B35 20-04 20D10)", MRnumber = "89d:20027", MRreviewer = "M. Greendlinger", bibdate = "Sat May 10 15:54:09 MDT 1997", acknowledgement = ack-nhfb, classcodes = "C1110 (Algebra); C1160 (Combinatorial mathematics)", corpsource = "Queen Mary Coll., London, UK", countrypub = "UK A13", keywords = "algebra; factor groups, finitely presented groups; finitely; group theory; number theory; presented groups; soluble factor groups; soluble quotient algorithm; symbol manipulation", treatment = "T Theoretical or Mathematical", } @Article{Pohst:1987:MLR, author = "M. Pohst", title = "A Modification of the {LLL}-Reduction Algorithm", journal = j-J-SYMBOLIC-COMP, volume = "4", number = "1", pages = "123--127", month = aug, year = "1987", CODEN = "JSYCEH", ISSN = "0747-7171", MRclass = "11Y16 (11H06 11R27 11Y05 68Q20)", MRnumber = "89c:11183", MRreviewer = "Hans G. Kopetzky", bibdate = "Sat May 10 15:54:09 MDT 1997", acknowledgement = ack-nhfb, classcodes = "C1110 (Algebra); C1160 (Combinatorial mathematics)", corpsource = "Math. Inst., Dusseldorf Univ., West Germany", countrypub = "UK A14", keywords = "lattices; linearly dependent input; modified LLL reduction algorithm; number theory; polynomial factoring; polynomials; symbol manipulation; symbolic computation; vectors", treatment = "T Theoretical or Mathematical", } @Article{Anonymous:1987:BHZ, author = "Anonymous", title = "Bibliography of {Hans Zassenhaus}", journal = j-J-SYMBOLIC-COMP, volume = "4", number = "1", pages = "129--135", year = "1987", CODEN = "JSYCEH", ISSN = "0747-7171", MRclass = "01A70", MRnumber = "88k:01051", bibdate = "Sat May 10 15:54:09 MDT 1997", acknowledgement = ack-nhfb, } @Article{vonzurGathen:1987:FAC, author = "Joachim {von zur Gathen}", title = "Feasible Arithmetic Computations: {Valiant}'s Hypothesis", journal = j-J-SYMBOLIC-COMP, volume = "4", number = "2", pages = "137--172", month = oct, year = "1987", CODEN = "JSYCEH", ISSN = "0747-7171", MRclass = "68Q15 (03D15 11Y16 12-04 15A15 68-02)", MRnumber = "89f:68021", MRreviewer = "Werner Hartmann", bibdate = "Sat May 10 15:54:09 MDT 1997", acknowledgement = ack-nhfb, classcodes = "C1110 (Algebra); C4240 (Programming and algorithm theory)", corpsource = "Dept. of Comput. Sci., Toronto Univ., Ont., Canada", countrypub = "UK A01", keywords = "Complexity; computational complexity; feasible arithmetic computations; P=NP; polynomials; Polynomials; symbol manipulation; symbolic computation; Valiant hypothesis", treatment = "B Bibliography; T Theoretical or Mathematical", } @Article{Murray:1987:TLA, author = "Neil V. Murray and Erik Rosenthal", title = "Theory Links: Applications to Automated Theorem Proving", journal = j-J-SYMBOLIC-COMP, volume = "4", number = "2", pages = "173--190", month = oct, year = "1987", CODEN = "JSYCEH", ISSN = "0747-7171", MRclass = "03B35 (68T15)", MRnumber = "89e:03019", MRreviewer = "Henry Africk", bibdate = "Sat May 10 15:54:09 MDT 1997", acknowledgement = ack-nhfb, classcodes = "C1230 (Artificial intelligence); C4210 (Formal logic)", corpsource = "Dept. of Comput. Sci., State Univ. of New York, Albany, NY, USA", countrypub = "UK A02", keywords = "automated theorem proving; deletion; first-order theory links; formal logic; link; symbol manipulation; symbolic computation; theorem proving", treatment = "T Theoretical or Mathematical", } @Article{Buttner:1987:EBE, author = "Wolfram B{\"u}ttner and Helmut Simonis", title = "Embedding {Boolean} Expressions into Logic Programming", journal = j-J-SYMBOLIC-COMP, volume = "4", number = "2", pages = "191--205", month = oct, year = "1987", CODEN = "JSYCEH", ISSN = "0747-7171", MRclass = "68T25 (03B35 03B70)", MRnumber = "89f:68061", MRreviewer = "Petr Jirk\ocirc u", bibdate = "Sat May 10 15:54:09 MDT 1997", bibsource = "Ai/constr.logic.bib; Ai/Constr.logic.prog.bib", acknowledgement = ack-nhfb, classcodes = "C4240 (Programming and algorithm theory); C6120 (File organisation)", corpsource = "Siemens AG, M{\"u}nchen, West Germany", countrypub = "UK A03", keywords = "Boolean algebra; Boolean expression embedding; data structures; data type; logic programming; most general unifier; programming theory; PROLOG; symbol manipulation; symbolic computation; theory; Unification; unitary", treatment = "T Theoretical or Mathematical", } @Article{Paige:1987:MTS, author = "Robert Paige and Fritz Henglein", title = "Mechanical Translation of Set Theoretic Problem Specifications into Efficient {RAM} Code --- {A} Case Study", journal = j-J-SYMBOLIC-COMP, volume = "4", number = "2", pages = "207--232", month = oct, year = "1987", CODEN = "JSYCEH", ISSN = "0747-7171", MRclass = "68N05 (03B70 68T99)", MRnumber = "89a:68020", bibdate = "Sat May 10 15:54:09 MDT 1997", acknowledgement = ack-nhfb, classcodes = "C1160 (Combinatorial mathematics); C4240 (Programming and algorithm theory); C4250 (Database theory)", corpsource = "Dept. of Comput. Sci., Rutgers Univ., New Brunswick, NJ, USA", countrypub = "UK A04", keywords = "asymptotic running time; attribute closure; automatic programming; automatic top-down program development; computation; computational complexity; data structure selection; database; differencing; efficient RAM code; finite; fixed point iteration; formal problem specifications; linear time solution; mechanical translation; problem transformation; Program Synthesis, program transformation, RAPTS; programming theory; RAPTS; relational databases; set; set theoretical problem; specifications; symbol manipulation; symbolic; theory; transformational programming system; upper bound; worst case", treatment = "B Bibliography; T Theoretical or Mathematical", } @Article{Gallier:1987:FAT, author = "Jean H. Gallier", title = "Fast algorithms for testing unsatisfiability of ground {Horn} clauses with equations", journal = j-J-SYMBOLIC-COMP, volume = "4", number = "2", pages = "233--254", month = oct, year = "1987", CODEN = "JSYCEH", ISSN = "0747-7171", MRclass = "68T15 (03B35 68Q25)", MRnumber = "89k:68131", MRreviewer = "John Cowles", bibdate = "Sat May 10 15:54:09 MDT 1997", acknowledgement = ack-nhfb, classcodes = "C4210 (Formal logic); C4240 (Programming and algorithm theory)", corpsource = "Dept. of Comput. and Inf. Sci., Pennsylvania Univ., Philadelphia, PA, USA", countrypub = "UK A05", keywords = "clauses with equations; computational complexity; congruence closure; Congruence Closure, Automated Theorem Proving; fast algorithms; formal logic; ground Horn; symbol manipulation; symbolic computation; unsatisfiability testing", treatment = "T Theoretical or Mathematical", } @Article{Royle:1987:TGD, author = "Gordon F. Royle", title = "The Transitive Groups of Degree Twelve", journal = j-J-SYMBOLIC-COMP, volume = "4", number = "2", pages = "255--268", month = oct, year = "1987", CODEN = "JSYCEH", ISSN = "0747-7171", MRclass = "20B05", MRnumber = "89b:20010", MRreviewer = "Martin W. Liebeck", bibdate = "Sat May 10 15:54:09 MDT 1997", acknowledgement = ack-nhfb, classcodes = "C1160 (Combinatorial mathematics); C7310 (Mathematics)", corpsource = "Dept. of Math., Western Australia Univ., Nedlands, WA, Australia", countrypub = "UK A06", keywords = "CAYLEY group theory package; group theory; mathematics computing; minimal; nonconjugate transitive groups of degree twelve; pairwise; symbol manipulation; symbolic computation; transitive groups", treatment = "T Theoretical or Mathematical; X Experimental", } @Article{Gibert:1987:FPC, author = "Jacek Gibert", title = "Functional Programming with Combinators", journal = j-J-SYMBOLIC-COMP, volume = "4", number = "3", pages = "269--293", month = dec, year = "1987", CODEN = "JSYCEH", ISSN = "0747-7171", MRclass = "68N05 (03B40 03B70 68Q40 68Q55)", MRnumber = "89a:68019", bibdate = "Sat May 10 15:54:09 MDT 1997", acknowledgement = ack-nhfb, classcodes = "C1110 (Algebra); C4240 (Programming and algorithm theory); C5220 (Computer architecture); C6130 (Data handling techniques); C6150C (Compilers, interpreters and other processors); C7310 (Mathematics)", corpsource = "Dept. of Comput. Sci., Melbourne Univ., Parkville, Vic., Australia", countrypub = "UK A01", keywords = "algebra; algebraic; algebraic model; architecture; combinator reduction; computer; computer architecture; data flow; fine-grain parallelism; functional programming; functional simulator; interpreter; interpreters; JA Machine; JAM; manipulation; mathematics computing; parallel architectures; Parallel Computation; parallel programming; program; programming theory; sequential/parallel; symbol manipulation; symbolic computation", treatment = "P Practical; T Theoretical or Mathematical", } @Article{Kaplan:1987:SCT, author = "St{\'e}phane Kaplan", title = "Simplifying conditional term rewriting systems: unification, termination and confluence", journal = j-J-SYMBOLIC-COMP, volume = "4", number = "3", pages = "295--334", month = dec, year = "1987", CODEN = "JSYCEH", ISSN = "0747-7171", MRclass = "68Q50 (03B70 68Q65 68T15)", MRnumber = "89d:68049", MRreviewer = "Laurent Kott", bibdate = "Sat May 10 15:54:09 MDT 1997", acknowledgement = ack-nhfb, classcodes = "C1230 (Artificial intelligence); C4210 (Formal logic)", corpsource = "Univ. des Sci., Orsay, France", countrypub = "UK A02", keywords = "Bendix theorem proving methods; conditional term; confluence; correctness of evaluation; formal logic; Knuth-; procedures; recursive; recursivity control; reduction; rewriting systems; simplifying systems; symbol manipulation; symbolic computation; termination; theorem proving; unification in conditional theories; Unification K:Knuth-Bendix", treatment = "T Theoretical or Mathematical", } @Article{Hilali:1987:ADN, author = "A. Hilali", title = "On the algebraic and differential {Newton-Puiseux} polygons", journal = j-J-SYMBOLIC-COMP, volume = "4", number = "3", pages = "335--349", month = dec, year = "1987", CODEN = "JSYCEH", ISSN = "0747-7171", MRclass = "65L99 (34A20 34A30)", MRnumber = "89b:65198", bibdate = "Sat May 10 15:54:09 MDT 1997", acknowledgement = ack-nhfb, classcodes = "C1110 (Algebra); C1120 (Analysis)", corpsource = "Inst. Nat. Polytech. de Grenoble, France", countrypub = "UK A03", keywords = "algebraic Newton-Puiseux polygons; Differential equations; differential Newton-Puiseux polygons; formal; holomorphic matrix; irregular singular point; linear algebra; linear differential equations; manipulation; punctured neighbourhood; singularity classification; super-irreducible form; symbol; symbolic computation; symmetric functions", treatment = "T Theoretical or Mathematical", } @Article{Stifter:1987:GRR, author = "Sabine Stifter", title = "A Generalization of Reduction Rings", journal = j-J-SYMBOLIC-COMP, volume = "4", number = "3", pages = "351--364", month = dec, year = "1987", CODEN = "JSYCEH", ISSN = "0747-7171", MRclass = "68Q40 (13-04)", MRnumber = "89h:68077", MRreviewer = "Heinrich Rolletschek", bibdate = "Sat May 10 15:54:09 MDT 1997", acknowledgement = ack-nhfb, classcodes = "C1110 (Algebra); C1160 (Combinatorial mathematics)", corpsource = "Res. Inst. for Symbolic Comput., Johannes Kepler Univ., Linz, Austria", countrypub = "UK A04", keywords = "algebra; number theory; symbol manipulation; symbolic computation; generalised reduction rings; Gr{\"o}bner; bases; arithmetic operations; ordering", treatment = "T Theoretical or Mathematical", } @Article{Young:1987:GGU, author = "D. A. Young and P. S. Wang", title = "{GI/S}: a graphical user interface for symbolic computation systems", journal = j-J-SYMBOLIC-COMP, volume = "4", number = "3", pages = "365--380", month = dec, year = "1987", CODEN = "JSYCEH", ISSN = "0747-7171", bibdate = "Wed Mar 19 13:51:24 MST 1997", acknowledgement = ack-nhfb, classcodes = "C6130 (Data handling techniques); C6130B (Graphics techniques); C6170 (Expert systems); C7310 (Mathematics)", corpsource = "Dept. of Math. Sci., Kent State Univ., OH, USA", countrypub = "UK A05", keywords = "2-D display; command; computer graphics; Franz LISP; GI/S; graphic plotting; graphical user interface; history mechanism; line editing; MACSYMA; manipulation; mathematical expression manipulation by mouse; mathematics computing; multiple; symbol; symbolic computation; Tektronix 4404 workstation; user interfaces; window environment", treatment = "P Practical", } @Article{Beyer:1987:VCT, author = "W. A. Beyer and L. R. Fawcett and R. D. Mauldin and B. K. Swartz", title = "The volume common to two congruent circular cones whose axes intersect symmetrically", journal = j-J-SYMBOLIC-COMP, volume = "4", number = "3", pages = "381--390", month = dec, year = "1987", CODEN = "JSYCEH", ISSN = "0747-7171", bibdate = "Wed Mar 19 13:51:24 MST 1997", acknowledgement = ack-nhfb, classcodes = "C1110 (Algebra); C1160 (Combinatorial mathematics); C7310 (Mathematics)", corpsource = "Los Alamos Nat. Lab., NM, USA", countrypub = "UK A06", keywords = "algebra; common volume; computational geometry; congruent circular cones; intersecting axes; MACSYMA; MACSYMA, Geometry; mathematics computing; symbol manipulation; symbolic computation; symmetrically-", treatment = "T Theoretical or Mathematical", } @Article{Elishakoff:1987:ASA, author = "Isaac Elishakoff and Brian Couch", title = "Application of Symbolic Algebra to the Instability of a Nonconservative System", journal = j-J-SYMBOLIC-COMP, volume = "4", number = "3", pages = "391--396", month = dec, year = "1987", CODEN = "JSYCEH", ISSN = "0747-7171", bibdate = "Wed Mar 19 13:51:24 MST 1997", bibsource = "Theory/Comp.Alg.1.bib; Theory/reduce.bib", acknowledgement = ack-nhfb, classcodes = "A0230 (Function theory, analysis); A0270 (Computational techniques); A4630L (Buckling and instability); C1110 (Algebra); C1120 (Analysis); C7310 (Mathematics); C7320 (Physics and Chemistry)", corpsource = "Dept. of Mech. Eng., Naval Postgraduate Sch., Monterey, CA, USA", countrypub = "UK A07", keywords = "algebra; buckling; computer; computing; differential equations; flutter buckling; follower force; foundation; Galerkin method; instability; manipulation; mathematics; mechanical stability; nonconservative system; physics computing; Reduce; REDUCE, physics; symbol; symbolic algebra; tapered column; uniform elastic", treatment = "T Theoretical or Mathematical", xxtitle = "Applications of Symbolic Algebra to the Instability of a Nonconservative System", } @Article{Bandyopadhyay:1987:SSI, author = "S. Bandyopadhyay and J. S. Devitt", title = "{SIS}: a symbolic information management system", journal = j-J-SYMBOLIC-COMP, volume = "4", number = "3", pages = "397--408", month = dec, year = "1987", CODEN = "JSYCEH", ISSN = "0747-7171", bibdate = "Wed Mar 19 13:51:24 MST 1997", acknowledgement = ack-nhfb, classcodes = "C4250 (Database theory); C6160D (Relational DBMS); C7310 (Mathematics)", corpsource = "Sch. of Comput. Sci., Windsor Univ., Ont., Canada", countrypub = "UK A08", keywords = "algebraic constraint satisfaction; automatic query inference systems; computation; database management systems; database theory; databases; formulae; management system; MAPLE; Maple algebra system; mathematical; mathematics computing; query by example; relational; relational databases; Scientific Information System; SIS; symbol manipulation; symbolic; symbolic information", treatment = "P Practical", } @Article{Dershowitz:1987:CTR, author = "Nachum Dershowitz", title = "Corrigendum: {``Termination of rewriting''}", journal = j-J-SYMBOLIC-COMP, volume = "4", number = "3", pages = "409--410", year = "1987", CODEN = "JSYCEH", ISSN = "0747-7171", MRclass = "68Q50 (68T15)", MRnumber = "88j:68099b", MRreviewer = "Ursula Martin", bibdate = "Sat May 10 15:54:09 MDT 1997", note = "See \cite{Dershowitz:1987:TR}.", acknowledgement = ack-nhfb, } @Article{Weispfenning:1988:CAL, author = "Volker Weispfenning", title = "The Complexity of Almost Linear {Diophantine} Problems", journal = j-J-SYMBOLIC-COMP, volume = "5", number = "1--2", pages = "3--28 (or 3--27??)", month = feb # "--" # apr, year = "1988", CODEN = "JSYCEH", ISSN = "0747-7171", MRclass = "11U05 (03C10 03D15 12-04 68T15)", MRnumber = "89g:11123", MRreviewer = "Maurice Mignotte", bibdate = "Sat May 10 15:54:09 MDT 1997", acknowledgement = ack-nhfb, classcodes = "C1110 (Algebra); C4210 (Formal logic); C4240 (Programming and algorithm theory)", corpsource = "Math. Inst., Heidelberg Univ., West Germany", countrypub = "UK A01", keywords = "algebra; complexity; computational complexity; decidability; discretely; finitely many discrete valuations; finitely many independent orderings; first-; formal logic; formulas; linear; linear decision procedures; linear problems; order language; ordered fields; quantifier elimination; quantifier-free linear; symbol manipulation; symbolic algorithms; valued fields", treatment = "T Theoretical or Mathematical", xxtitle = "The Complexity of Linear Problems in Fields", } @Article{Davenport:1988:RQE, author = "James H. Davenport and Joos Heintz", title = "Real Quantifier Elimination is Doubly Exponential", journal = j-J-SYMBOLIC-COMP, volume = "5", number = "1--2", pages = "29--36 (or 29--35??)", month = feb # "--" # apr, year = "1988", CODEN = "JSYCEH", ISSN = "0747-7171", MRclass = "03B25 (03C10 03D15 12L12)", MRnumber = "89g:03009", MRreviewer = "A. A. Mullin", bibdate = "Sat May 10 15:54:09 MDT 1997", acknowledgement = ack-nhfb, classcodes = "C1110 (Algebra); C4240 (Programming and algorithm theory)", corpsource = "Sch. of Math. Sci., Bath Univ., UK", countrypub = "UK A02", keywords = "algebra; computational complexity; cylindrical algebraic decomposition; Cylindrical Algebraic Decomposition, Real Algebraic Geometry; doubly; doubly exponential time; exponential space; real closed fields; real quantifier elimination; symbol manipulation", treatment = "T Theoretical or Mathematical", } @Article{Grigorev:1988:SSP, author = "D. Yu. Grigor\cprime{}ev and N. N. {Vorobjov, Jr.}", title = "Solving Systems of Polynomial Inequalities in Sub-Exponential Time", journal = j-J-SYMBOLIC-COMP, volume = "5", number = "1--2", pages = "37--64", month = feb # "--" # apr, year = "1988", CODEN = "JSYCEH", ISSN = "0747-7171", MRclass = "13-04 (13B25 68Q40 90C10)", MRnumber = "89h:13001", MRreviewer = "Maurice Mignotte", bibdate = "Sat May 10 15:54:09 MDT 1997", acknowledgement = ack-nhfb, classcodes = "C1110 (Algebra); C4240 (Programming and algorithm theory)", corpsource = "Dept. of Math., Acad. of Sci., Leningrad, USSR", countrypub = "UK A03", keywords = "equations; polynomial inequalities; polynomial-time algorithm; polynomials; subexponential time; symbol manipulation", treatment = "T Theoretical or Mathematical", } @Article{Grigorev:1988:CDT, author = "D. Yu. Grigor\cprime{}ev", title = "Complexity of Deciding {Tarski} Algebra", journal = j-J-SYMBOLIC-COMP, volume = "5", number = "1--2", pages = "65--108", month = feb # "--" # apr, year = "1988", CODEN = "JSYCEH", ISSN = "0747-7171", MRclass = "03D15 (03B25 03C10 11Y16)", MRnumber = "90b:03054", MRreviewer = "Annalisa Marcja", bibdate = "Sat May 10 15:54:09 MDT 1997", acknowledgement = ack-nhfb, classcodes = "C1110 (Algebra); C4210 (Formal logic); C4240 (Programming and algorithm theory)", corpsource = "Dept. of Steklov Math. Inst., Acad. of Sci., Leningrad, USSR", countrypub = "UK A04", keywords = "algebra; computational complexity; decidability; Decision algorithm, Real Closed Fields; decision method; manipulation; polynomial time complexity; symbol; Tarski algebra", treatment = "T Theoretical or Mathematical", } @Article{Risler:1988:SAC, author = "Jean-Jacques J. Risler", title = "Some Aspects of Complexity in Real Algebraic Geometry", journal = j-J-SYMBOLIC-COMP, volume = "5", number = "1--2", pages = "109--120 (or 109--119??)", month = feb # "--" # apr, year = "1988", CODEN = "JSYCEH", ISSN = "0747-7171", MRclass = "12D10 (12-04 14-04 14G30)", MRnumber = "89k:12002", MRreviewer = "Jes{\'u}s M. Ruiz", bibdate = "Sat May 10 15:54:09 MDT 1997", acknowledgement = ack-nhfb, classcodes = "C1110 (Algebra); C1160 (Combinatorial mathematics); C4240 (Programming and algorithm theory)", corpsource = "UER de Math., Paris 7 Univ., France", countrypub = "UK A05", keywords = "algebra; algebraic geometry; bounds; complexity; computational complexity; cylindrical algebraic decomposition; geometry; lower; real; reviews; semi-algebraic sets; set; symbol manipulation; theory; topology", treatment = "G General Review; T Theoretical or Mathematical", } @Article{Coste:1988:TLC, author = "M. Coste and M. F. Roy", title = "{Thom}'s Lemma, the Coding of Real Algebraic Numbers and the Computation of the Topology of Semi-Algebraic Sets", journal = j-J-SYMBOLIC-COMP, volume = "5", number = "1--2", pages = "121--130 (or 121--129??)", month = feb # "--" # apr, year = "1988", CODEN = "JSYCEH", ISSN = "0747-7171", MRclass = "12D10 (14G30)", MRnumber = "89g:12002", MRreviewer = "Jean-Jacques Risler", bibdate = "Sat May 10 15:54:09 MDT 1997", acknowledgement = ack-nhfb, classcodes = "C1110 (Algebra); C1160 (Combinatorial mathematics)", corpsource = "IRMAR, Rennes I Univ., France", countrypub = "UK A06", keywords = "algebra; computation; computation theory; cylindrical algebraic decomposition; encoding; geometry; number; polynomials; Real algebraic geometry; real algebraic number coding; roots of; semi-algebraic sets; set theory; symbol manipulation; theory; Thom lemma; topology", treatment = "T Theoretical or Mathematical", } @Article{Arnborg:1988:ADR, author = "Stefan Arnborg and Huichun Feng", title = "Algebraic Decomposition of Regular Curves", journal = j-J-SYMBOLIC-COMP, volume = "5", number = "1--2", pages = "131--140", month = feb # "--" # apr, year = "1988", CODEN = "JSYCEH", ISSN = "0747-7171", MRclass = "68Q40 (12-04 14-04 14G30)", MRnumber = "90a:68042", MRreviewer = "Michel Coste", bibdate = "Sat May 10 15:54:09 MDT 1997", acknowledgement = ack-nhfb, classcodes = "C1110 (Algebra); C4240 (Programming and algorithm theory)", corpsource = "Dept. of Numerical Anal. and Comput. Sci., R. Inst. of Technol., Stockholm, Sweden", countrypub = "UK A07", keywords = "algebra; bivariate; computational complexity; cylindrical algebraic; Cylindrical Algebraic Decomposition; decomposition; polynomial; sign-invariant decomposition; symbol manipulation", treatment = "T Theoretical or Mathematical", } @Article{McCallum:1988:IPO, author = "Scott McCallum", title = "An Improved Projection Operation for Cylindrical Algebraic Decomposition of Three-Dimensional Space", journal = j-J-SYMBOLIC-COMP, volume = "5", number = "1--2", pages = "141--162 (or 141--161??)", month = feb # "--" # apr, year = "1988", CODEN = "JSYCEH", ISSN = "0747-7171", MRclass = "12-04 (14-04 51-04)", MRnumber = "89m:12001", bibdate = "Sat May 10 15:54:09 MDT 1997", acknowledgement = ack-nhfb, classcodes = "C1110 (Algebra); C1160 (Combinatorial mathematics)", corpsource = "Dept. of Comput. Sci., Toronto Univ., Ont., Canada", countrypub = "UK A08", keywords = "algebra; Collins algorithm; complex analytic; computing time; cylindrical algebraic decomposition; dimensional space; geometry; operation; projection; quantifier elimination; r-variate polynomials; symbol manipulation; three-; trivariate polynomials", treatment = "T Theoretical or Mathematical", } @Article{Arnon:1988:AAC, author = "Dennis S. Arnon and George E. Collins and Scott McCallum", title = "An Adjacency Algorithm for Cylindrical Algebraic Decompositions of Three-Dimensional Space", journal = j-J-SYMBOLIC-COMP, volume = "5", number = "1--2", pages = "163--188 (or 163--187??)", month = feb # "--" # apr, year = "1988", CODEN = "JSYCEH", ISSN = "0747-7171", MRclass = "68Q20 (03B35 03C10 51-04 68U05)", MRnumber = "90g:68048a", MRreviewer = "Maurice Mignotte", bibdate = "Sat May 10 15:54:09 MDT 1997", acknowledgement = ack-nhfb, classcodes = "C1110 (Algebra); C1160 (Combinatorial mathematics)", corpsource = "Xerox PARC, Palo Alto, CA, USA", countrypub = "UK A09", keywords = "adjacency algorithm; algebra; cylindrical algebraic decompositions; geometry; semi-algebraic cells; set theory; symbol manipulation; three-dimensional space", treatment = "T Theoretical or Mathematical", } @Article{Arnon:1988:CBC, author = "Dennis S. Arnon", title = "A Cluster-Based Cylindrical Algebraic Decomposition Algorithm", journal = j-J-SYMBOLIC-COMP, volume = "5", number = "1--2", pages = "189--212", month = feb # "--" # apr, year = "1988", CODEN = "JSYCEH", ISSN = "0747-7171", MRclass = "68Q20 (03B35 03C10 51-04 68U05)", MRnumber = "90g:68048b", MRreviewer = "Maurice Mignotte", bibdate = "Sat May 10 15:54:09 MDT 1997", acknowledgement = ack-nhfb, classcodes = "C1110 (Algebra); C1160 (Combinatorial mathematics)", corpsource = "Xerox PARC, Palo Alto, CA, USA", countrypub = "UK A10", keywords = "algebra; based cylindrical algebraic decomposition algorithm; cluster-; Collins algorithm; Euclidean space partitioning; finite; geometry; semi-algebraic cells; set; set theory; symbol manipulation", treatment = "T Theoretical or Mathematical", } @Article{Arnon:1988:PTA, author = "Dennis S. Arnon and Scott McCallum", title = "A Polynomial-time Algorithm for the Topological Type of a Real Algebraic Curve", journal = j-J-SYMBOLIC-COMP, volume = "5", number = "1--2", pages = "213--236", month = feb # "--" # apr, year = "1988", CODEN = "JSYCEH", ISSN = "0747-7171", MRclass = "12D99 (12-04 14-04 14G30 68Q20)", MRnumber = "89k:12005", MRreviewer = "Hale F. Trotter", bibdate = "Sat May 10 15:54:09 MDT 1997", acknowledgement = ack-nhfb, classcodes = "C1110 (Algebra); C1160 (Combinatorial mathematics); C4240 (Programming and algorithm theory)", corpsource = "Xerox PARC, Palo Alto, CA, USA", countrypub = "UK A11", keywords = "algebra; curve; cylindrical algebraic decomposition; geometry; polynomial-time algorithm; real algebraic; symbol manipulation; topological type; topology", treatment = "T Theoretical or Mathematical", } @Article{Arnon:1988:MQE, author = "Dennis S. Arnon and Maurice Mignotte", title = "On Mechanical Quantifier Elimination for Elementary Algebra and Geometry", journal = j-J-SYMBOLIC-COMP, volume = "5", number = "1--2", pages = "237--260 (or 237--259??)", month = feb # "--" # apr, year = "1988", CODEN = "JSYCEH", ISSN = "0747-7171", MRclass = "03B35 (03C10 12D10 51-04 68T15)", MRnumber = "90a:03010", MRreviewer = "F. J. van der Linden", bibdate = "Sat May 10 15:54:09 MDT 1997", acknowledgement = ack-nhfb, classcodes = "C1110 (Algebra); C1160 (Combinatorial mathematics)", corpsource = "Xerox PARC, Palo Alto, CA, USA", countrypub = "UK A12", keywords = "algebra; cylindrical algebraic decomposition; elementary algebra; geometry; mechanical quantifier elimination; number theory; symbol manipulation; theorem proving", treatment = "T Theoretical or Mathematical", } @Article{Lazard:1988:QEO, author = "Daniel Lazard", title = "Quantifier Elimination: Optimal Solutions for Two Classical Examples", journal = j-J-SYMBOLIC-COMP, volume = "5", number = "1--2", pages = "261--266", month = feb # "--" # apr, year = "1988", CODEN = "JSYCEH", ISSN = "0747-7171", MRclass = "12L05 (03B35 03C10 11U05 51-04 68T15)", MRnumber = "89k:12017", MRreviewer = "Maurice Mignotte", bibdate = "Sat May 10 15:54:09 MDT 1997", acknowledgement = ack-nhfb, classcodes = "C1110 (Algebra); C1160 (Combinatorial mathematics); C4240 (Programming and algorithm theory)", corpsource = "Paris VI Univ., France", countrypub = "UK A13", keywords = "4 polynomial; algebra; complexity; computational complexity; degree; ellipse; geometry; manipulation; optimal solution; positive values; quantifier elimination; Real Algebraic Geometry; symbol; unit circle", treatment = "T Theoretical or Mathematical", xxtitle = "Quantifier Elimination: Optimal Solution for Two Classical Examples", } @Article{Arnon:1988:BQE, author = "Dennis S. Arnon", title = "A Bibliography of Quantifier Elimination for Real Closed Fields", journal = j-J-SYMBOLIC-COMP, volume = "5", number = "1--2", pages = "267--274", month = feb # "--" # apr, year = "1988", CODEN = "JSYCEH", ISSN = "0747-7171", MRclass = "12D15 (00A15 03C10 03C60 12L12)", MRnumber = "89g:12003", bibdate = "Sat May 10 15:54:09 MDT 1997", bibsource = "Ai/Constr.logic.prog.bib", acknowledgement = ack-nhfb, classcodes = "C1110 (Algebra); C1160 (Combinatorial mathematics); C1230 (Artificial intelligence); C4240 (Programming and algorithm theory)", corpsource = "Xerox PARC, Palo Alto, CA, USA", countrypub = "UK A14", keywords = "algebra; algorithmic quantifier; bibliography; computational complexity; elimination; geometry; real closed fields; set theory; symbol manipulation; theorem proving", treatment = "B Bibliography", xxtitle = "Bibliography on Algorithms in Real Algebra Geometry", } @Article{Butler:1988:PHA, author = "Gregory Butler", title = "A