From b334b1c9a6a7b20cacff1fade98f14b51b5285ae Mon Sep 17 00:00:00 2001 From: Tim Daly Date: Sun, 26 Jun 2016 16:27:13 -0400 Subject: [PATCH] books/bookvolbib Axiom Citations in the Literature Goal: Axiom Literate Programming \index{Dewar, Mike C.} \begin{chunk}{axiom.bib} @misc{Dewa95, author = "Dewar, Mike C.", title = "AXIOM and A\#: Current Status and Future Plans", paper = "Dewa95.pdf", year = "1995", keywords = "axiomref", url = "ftp://ftp.inf.ethz.ch/org/cathode/workshops/jan95/abstracts/dewar.ps" } \end{chunk} \index{Dicrescenzo, C.} \index{Jung, Francoise} \begin{chunk}{axiom.bib} @misc{Dicr95, author = "Dicrescenzo, C. and Jung, Francoise", title = "COMPASS package", paper = "Dicr95.pdf", year = "1995", url = "ftp://ftp.inf.ethz.ch/org/cathode/workshops/jan95/abstracts/bronstein.ps", keywords = "axiomref" } \end{chunk} --- books/bookvolbib.pamphlet | 28 ++++++++++++++++++++ changelog | 2 + patch | 55 ++++++++++++++++++--------------------- src/axiom-website/patches.html | 2 + 4 files changed, 57 insertions(+), 30 deletions(-) diff --git a/books/bookvolbib.pamphlet b/books/bookvolbib.pamphlet index 653894c..bf51979 100644 --- a/books/bookvolbib.pamphlet +++ b/books/bookvolbib.pamphlet @@ -12240,6 +12240,19 @@ and Laine, M. and Valkeila, E. pp1-12 University of Helsinki, Finland (1994) \index{Dewar, Mike C.} \begin{chunk}{axiom.bib} +@misc{Dewa95, + author = "Dewar, Mike C.", + title = "AXIOM and A\#: Current Status and Future Plans", + paper = "Dewa95.pdf", + year = "1995", + keywords = "axiomref", + url = "ftp://ftp.inf.ethz.ch/org/cathode/workshops/jan95/abstracts/dewar.ps" +} + +\end{chunk} + +\index{Dewar, Mike C.} +\begin{chunk}{axiom.bib} @misc{Dewa, author = "Dewar, Mike", title = "OpenMath: An Overview", @@ -12261,6 +12274,21 @@ LCCN QA76.95.I57 1998 Conference held jointly with AAECC-6 \end{chunk} +\index{Dicrescenzo, C.} +\index{Jung, Francoise} +\begin{chunk}{axiom.bib} +@misc{Dicr95, + author = "Dicrescenzo, C. and Jung, Francoise", + title = "COMPASS package", + paper = "Dicr95.pdf", + year = "1995", + url = + "ftp://ftp.inf.ethz.ch/org/cathode/workshops/jan95/abstracts/bronstein.ps", + keywords = "axiomref" +} + +\end{chunk} + \index{Dingle, Adam} \index{Fateman, Richard J.} \begin{chunk}{ignore} diff --git a/changelog b/changelog index 67cf89d..7933b59 100644 --- a/changelog +++ b/changelog @@ -1,3 +1,5 @@ +20160626 tpd src/axiom-website/patches.html 20160625.07.tpd.patch +20160626 tpd books/bookvolbib Axiom Citations in the Literature 20160626 tpd src/axiom-website/patches.html 20160625.06.tpd.patch 20160626 tpd books/bookvol10.2 add Abramov and Bronstein to LODO and ORE 20160626 tpd books/bookvol10.3 add Abramov and Bronstein to LODO and ORE diff --git a/patch b/patch index f457daa..0f652ed 100644 --- a/patch +++ b/patch @@ -1,39 +1,34 @@ -books/bookvol* add Abramov and Bronstein reference to LODO and ORE +books/bookvolbib Axiom Citations in the Literature Goal: Axiom Literate Programming -\index{Abramov, Sergei A.} -\index{Bronstein, Manuel} +\index{Dewar, Mike C.} \begin{chunk}{axiom.bib} -@article{Abra01, - author = "Abramov, Sergei and Bronstein, Manuel", - title = "On Solutions of Linear Functional Systems", +@misc{Dewa95, + author = "Dewar, Mike C.", + title = "AXIOM and A\#: Current Status and Future Plans", + paper = "Dewa95.pdf", + year = "1995", + keywords = "axiomref", + url = "ftp://ftp.inf.ethz.ch/org/cathode/workshops/jan95/abstracts/dewar.ps" +} + +\end{chunk} + +\index{Dicrescenzo, C.} +\index{Jung, Francoise} +\begin{chunk}{axiom.bib} +@misc{Dicr95, + author = "Dicrescenzo, C. and Jung, Francoise", + title = "COMPASS package", + paper = "Dicr95.pdf", + year = "1995", url = - "http://www-sop.inria.fr/cafe/Manuel.Bronstein/publications/mb_papers.html", - paper = "Abra01.pdf", - comment = "\newline\refto{category OREPCAT UnivariateSkewPolynomialCategory} - \newline\refto{category LODOCAT LinearOrdinaryDifferentialOperatorCategory} - \newline\refto{domain AUTOMOR Automorphism} - \newline\refto{domain ORESUP SparseUnivariateSkewPolynomial} - \newline\refto{domain OREUP UnivariateSkewPolynomial} - \newline\refto{domain LODO LinearOrdinaryDifferentialOperator} - \newline\refto{domain LODO1 LinearOrdinaryDifferentialOperator1} - \newline\refto{domain LODO2 LinearOrdinaryDifferentialOperator2} - \newline\refto{package APPLYORE ApplyUnivariateSkewPolynomial} - \newline\refto{package OREPCTO UnivariateSkewPolynomialCategoryOps} - \newline\refto{package LODOF LinearOrdinaryDifferentialOperatorFactorizer} - \newline\refto{package LODOOPS LinearOrdinaryDifferentialOperatorsOps}", - abstract = " - We describe a new direct algorithm for transforming a linear system of - recurrences into an equivalent one with nonsingular leading or - trailing matrix. Our algorithm, which is an improvement to the EG - elimination method, uses only elementary linear algebra operations - (ranks, kernels, and determinants) to produce an equation satisfied by - the degress of the solutions with finite support. As a consequence, we - can boudn and compute the polynomial and rational solutions of very - general linear functional systems such as systems of differential or - ($q$)-difference equations." + "ftp://ftp.inf.ethz.ch/org/cathode/workshops/jan95/abstracts/bronstein.ps", + keywords = "axiomref" } \end{chunk} + + diff --git a/src/axiom-website/patches.html b/src/axiom-website/patches.html index c08de6b..5ceb65b 100644 --- a/src/axiom-website/patches.html +++ b/src/axiom-website/patches.html @@ -5404,6 +5404,8 @@ books/bookvolbib Axiom Citations in the Literature
books/bookvol* add Bronstein LODO and ORE reference
20160626.06.tpd.patch books/bookvol* add Abramov and Bronstein reference to LODO and ORE
+20160626.07.tpd.patch +books/bookvolbib Axiom Citations in the Literature
-- 1.7.5.4