🚀 go-pugleaf

This bibliography was collected from various sources and is in bib/refer
format.  It was just a few articles relevant to symbolic math.

%A James H. Davenport
%T Integration: Formal and Numeric Approaches
%J Tools, Methods and Languages for Scientific and
Engineering Computation
%E B. Ford
%E J. C. Rault
%E F. Thomasset
%I Elsevier Science Publishers
%C North-Holland
%P 417-426

%A Daniel Lazard
%T Le Calcul Formel Un Complement Necessaire A L'Analyse Numerique
%J Tools, Methods and Languages for Scientific and
Engineering Computation
%E B. Ford
%E J. C. Rault
%E F. Thomasset
%I Elsevier Science Publishers
%C North-Holland
%P 411-416

%A James M. Purtilo
%T POLYLITH The Early Goals
%R Department of Computer Science Report No. 1208
%I University of Illinois at Urbana-Champaign
%D APR 1985

%A Scott McCallum
%T An Improved Projection Operation for Cylindrical Algebraic Decomposition
%R TR 578
%I University of Wisconsin-Madison Department of Computer Science
%D FEB 1985
%X Charge of $15.60


%A P. Cherenack
%T Conditions for Cubic Spline Interpolation on Triangular Elements
%J Computers and Mathematics with Applications
%V 10
%N 3
%P 235-244
%D 1984

%A M. J. L. Tiernego
%T Formula Manipulation in the Bond Graph Modeling and Simulation of
Large Mechanical Systems
%J Journal of the Franklin INstitute
%V 319
%N 1-2
%D JAN-FEB 1985
%P 51-65

%A Randal E. Bryant
%T Symbolic Verification of MOS Circuits
%I Carnegie Mellon University Department of Computer Science
%D APR 1985
%X The program MOSSYS simulates the behavior of a MOS circuit
represented as a switch-level symbolically.  That is, during
simulator the user can set an input to either 0, 1 or a Boolean
variable.  The simulator then computes the behavior of hte circuit as
a function of past and present and input variables.  By using heuristically
efficient Boolean function manipulation algorithms, the verification
of a circuit by symbolic simualtion can proceed much more quickly than by 
exhaustive logic simulation.  In this paper we present our concept of
symbolic simualtion, dervie an algorithm for switch-level symbolic
simulation, and present experimental measurements from MOSSYM

%A J. M.Shearer
%A M. A. Wolfe
%T Alglib, A Simple Symbol-Manipulation Package
%J Communicatons of the ACM
%D AUG 1985
%V 28
%N 8
%P 820-825

%A F. Winkler
%A B. Buchberger
%A F. Lichtenberger
%A H. Rolletschek
%T Algorithm 628. An Algorithm for Constructing Canonical Bases of
Polynomial Ideals
%J ACM Transactions on Mathematical Software
%D MAR 1985
%V 11
%N 1
%P 66-78