Skip to content

Commit

Permalink
books/bookvolbib add Gonnet reference
Browse files Browse the repository at this point in the history
Goal: Axiom Literate Programming

\index{Gonnet, Gaston}
\index{Haigh, Thomas}
\begin{chunk}{axiom.bib}
@misc{Gonn05,
  author = "Gonnet, Gaston and Haigh, Thomas",
  title = "An Interview with Gaston Gonnet",
  year = "2005",
  publisher = "SIAM",
  url = "http://history.siam.org/pdfs2/Gonnet_final.pdf",
  abstract =
    "Born in Uruguay, Gonnet was first exposed to computers while working
    for IBM in Montevideo as a young man. This led him to a position at
    the university computer center, and in turn to an undergraduate degree
    in computer science in 1973. In 1974, following a military coup, he
    left for graduate studies in computer science at the University of
    Waterloo. Gonnet earned an M.Sc. and a Ph.D. in just two and a half
    years, writing a thesis on the analysis of search algorithms under the
    supervision of Alan George. After one year teaching in Rio de Janeiro
    he returned to Waterloo, as a faculty member.

    In 1980, Gonnet began work with a group including Morven Gentleman and
    Keith Geddes to produce an efficient interactive computer algebra
    system able to work well on smaller computers: Maple. Gonnet discusses
    in great detail the goals and organization of the Maple project, its
    technical characteristics, the Maple language and kernel, the Maple
    library, sources of funding, the contributions of the various team
    members, and the evolution of the system over time. He compares the
    resulting system to MACSYMA, Mathematica, Reduce, Scratchpad and other
    systems. Gonnet also examines the licensing and distribution of Maple
    and the project’s relations to its users. Maple was initially used for
    teaching purposes within the university, but soon found users in other
    institutions. From 1984, distribution was handled by Watcom, a company
    associated with the university, and 1988, Gonnet and Geddes created a
    new company, Waterloo Maple Software, Inc. to further commercialize
    Maple, which established itself as the leading commercial computer
    algebra system. However, during the mid-1990s the company ran into
    trouble and disagreements with his colleagues caused Gonnet to
    withdraw from managerial involvement. Since then, he feels that Maple
    has lost its battle with Mathematica. Gonnet also discusses Maple’s
    relation to Matlab and its creator, Cleve Moler.

    From 1984 onward with Frank Tompa, Tim Bray, and other Waterloo
    colleagues, Gonnet worked on the production of computer software to
    support the creation of the second edition of the Oxford English
    Dictionary. This led to the creation of another startup company, Open
    Text, producing software for the searching and indexing of textual
    information within large corporations. Gonnet explains his role in the
    firm, including his departure and his feeling that it made a strategic
    blunder by not exploiting its early lead in Internet search.

    Gonnet continued to work in a number of areas of computer science,
    including analysis of algorithms. In 1990, Gonnet moved from Waterloo
    to ETH in Switzerland. Among his projects since then have been Darwin,
    a bioinformatics system for the manipulation of genetic data, and
    leadership of the OpenMath project to produce a standard
    representation for mathematical objects. He has been involved in
    several further startup companies, including Aruna, a relational
    database company focused on business intelligence applications.",
  keywords = "axiomref",
  paper = "Gonn05.pdf"
}

\end{chunk}
  • Loading branch information
daly committed Nov 5, 2016
1 parent 7609525 commit e727604
Show file tree
Hide file tree
Showing 4 changed files with 127 additions and 50 deletions.
64 changes: 64 additions & 0 deletions books/bookvolbib.pamphlet
Original file line number Diff line number Diff line change
Expand Up @@ -22415,6 +22415,70 @@ IMACS Symposium SC-1993

\end{chunk}

\index{Gonnet, Gaston}
\index{Haigh, Thomas}
\begin{chunk}{axiom.bib}
@misc{Gonn05,
author = "Gonnet, Gaston and Haigh, Thomas",
title = "An Interview with Gaston Gonnet",
year = "2005",
publisher = "SIAM",
url = "http://history.siam.org/pdfs2/Gonnet_final.pdf",
abstract =
"Born in Uruguay, Gonnet was first exposed to computers while working
for IBM in Montevideo as a young man. This led him to a position at
the university computer center, and in turn to an undergraduate degree
in computer science in 1973. In 1974, following a military coup, he
left for graduate studies in computer science at the University of
Waterloo. Gonnet earned an M.Sc. and a Ph.D. in just two and a half
years, writing a thesis on the analysis of search algorithms under the
supervision of Alan George. After one year teaching in Rio de Janeiro
he returned to Waterloo, as a faculty member.

In 1980, Gonnet began work with a group including Morven Gentleman and
Keith Geddes to produce an efficient interactive computer algebra
system able to work well on smaller computers: Maple. Gonnet discusses
in great detail the goals and organization of the Maple project, its
technical characteristics, the Maple language and kernel, the Maple
library, sources of funding, the contributions of the various team
members, and the evolution of the system over time. He compares the
resulting system to MACSYMA, Mathematica, Reduce, Scratchpad and other
systems. Gonnet also examines the licensing and distribution of Maple
and the project’s relations to its users. Maple was initially used for
teaching purposes within the university, but soon found users in other
institutions. From 1984, distribution was handled by Watcom, a company
associated with the university, and 1988, Gonnet and Geddes created a
new company, Waterloo Maple Software, Inc. to further commercialize
Maple, which established itself as the leading commercial computer
algebra system. However, during the mid-1990s the company ran into
trouble and disagreements with his colleagues caused Gonnet to
withdraw from managerial involvement. Since then, he feels that Maple
has lost its battle with Mathematica. Gonnet also discusses Maple’s
relation to Matlab and its creator, Cleve Moler.

From 1984 onward with Frank Tompa, Tim Bray, and other Waterloo
colleagues, Gonnet worked on the production of computer software to
support the creation of the second edition of the Oxford English
Dictionary. This led to the creation of another startup company, Open
Text, producing software for the searching and indexing of textual
information within large corporations. Gonnet explains his role in the
firm, including his departure and his feeling that it made a strategic
blunder by not exploiting its early lead in Internet search.

Gonnet continued to work in a number of areas of computer science,
including analysis of algorithms. In 1990, Gonnet moved from Waterloo
to ETH in Switzerland. Among his projects since then have been Darwin,
a bioinformatics system for the manipulation of genetic data, and
leadership of the OpenMath project to produce a standard
representation for mathematical objects. He has been involved in
several further startup companies, including Aruna, a relational
database company focused on business intelligence applications.",
keywords = "axiomref",
paper = "Gonn05.pdf"
}

\end{chunk}

\index{Goodwin, B. M.}
\index{Buonopane, R. A.}
\index{Lee, A.}
Expand Down
2 changes: 2 additions & 0 deletions changelog
Original file line number Diff line number Diff line change
@@ -1,3 +1,5 @@
20161104 tpd src/axiom-website/patches.html 20161104.01.tpd.patch
20161104 tpd books/bookvolbib add Gonnet reference
20161030 tpd src/axiom-website/patches.html 20161030.01.tpd.patch
20161030 tpd books/bookvol10.4 update references
20161030 tpd books/bookvolbib add references
Expand Down
109 changes: 59 additions & 50 deletions patch
Original file line number Diff line number Diff line change
@@ -1,59 +1,68 @@
books/bookvol10.4 update references
books/bookvolbib add Gonnet reference

Goal: Axiom Literate Programming

\index{Corless, Robert M.}
\index{Gianni, Patrizia, M.}
\index{Trager, Barry M.}
\index{Watt, Stephen M.}
\index{Gonnet, Gaston}
\index{Haigh, Thomas}
\begin{chunk}{axiom.bib}
@inproceedings{Corl95,
author = "Corless, Robert M. and Gianni, Patrizia, M. and Trager, Barry M.
and Watt, Stephen M.",
title = "The Singular Value Decomposition for Polynomial Systems",
booktitle = "ISSAC 95",
year = "1995",
pages = "195-207",
publisher = "ACM",
@misc{Gonn05,
author = "Gonnet, Gaston and Haigh, Thomas",
title = "An Interview with Gaston Gonnet",
year = "2005",
publisher = "SIAM",
url = "http://history.siam.org/pdfs2/Gonnet_final.pdf",
abstract =
"This paper introduces singular value decomposition (SVD) algorithms
for some standard polynomial computations, in the case where the

coefficients are inexact or imperfectly known. We first give an
algorithm for computing univariate GCD's which gives {\sl exact}
results for interesting {\sl nearby} problems, and give efficient
algorithms for computing precisely how nearby. We generalize this to
multivariate GCD computations. Next, we adapt Lazard's $u$-resultant
algorithm for the solution of overdetermined systems of polynomial
equations to the inexact-coefficent case. We also briefly discuss an
application of the modified Lazard's method to the location of
singular points on approximately known projections of algebraic curves.",
paper = "Corl95.pdf",
"Born in Uruguay, Gonnet was first exposed to computers while working
for IBM in Montevideo as a young man. This led him to a position at
the university computer center, and in turn to an undergraduate degree
in computer science in 1973. In 1974, following a military coup, he
left for graduate studies in computer science at the University of
Waterloo. Gonnet earned an M.Sc. and a Ph.D. in just two and a half
years, writing a thesis on the analysis of search algorithms under the
supervision of Alan George. After one year teaching in Rio de Janeiro
he returned to Waterloo, as a faculty member.

In 1980, Gonnet began work with a group including Morven Gentleman and
Keith Geddes to produce an efficient interactive computer algebra
system able to work well on smaller computers: Maple. Gonnet discusses
in great detail the goals and organization of the Maple project, its
technical characteristics, the Maple language and kernel, the Maple
library, sources of funding, the contributions of the various team
members, and the evolution of the system over time. He compares the
resulting system to MACSYMA, Mathematica, Reduce, Scratchpad and other
systems. Gonnet also examines the licensing and distribution of Maple
and the project’s relations to its users. Maple was initially used for
teaching purposes within the university, but soon found users in other
institutions. From 1984, distribution was handled by Watcom, a company
associated with the university, and 1988, Gonnet and Geddes created a
new company, Waterloo Maple Software, Inc. to further commercialize
Maple, which established itself as the leading commercial computer
algebra system. However, during the mid-1990s the company ran into
trouble and disagreements with his colleagues caused Gonnet to
withdraw from managerial involvement. Since then, he feels that Maple
has lost its battle with Mathematica. Gonnet also discusses Maple’s
relation to Matlab and its creator, Cleve Moler.

From 1984 onward with Frank Tompa, Tim Bray, and other Waterloo
colleagues, Gonnet worked on the production of computer software to
support the creation of the second edition of the Oxford English
Dictionary. This led to the creation of another startup company, Open
Text, producing software for the searching and indexing of textual
information within large corporations. Gonnet explains his role in the
firm, including his departure and his feeling that it made a strategic
blunder by not exploiting its early lead in Internet search.

Gonnet continued to work in a number of areas of computer science,
including analysis of algorithms. In 1990, Gonnet moved from Waterloo
to ETH in Switzerland. Among his projects since then have been Darwin,
a bioinformatics system for the manipulation of genetic data, and
leadership of the OpenMath project to produce a standard
representation for mathematical objects. He has been involved in
several further startup companies, including Aruna, a relational
database company focused on business intelligence applications.",
keywords = "axiomref",
}
paper = "Gonn05.pdf"
}

\end{chunk}

\index{Lazard, Daniel}
\begin{chunk}{axiom.bib}
@article{Laza92,
author = "Lazard, Daniel",
title = "Solving Zero-dimensional Algebraic Systems",
Journal of Symbolic Computation, 1992, 13, 117-131
journal = "J. of Symbolic Computation",
volume = "13",
pages = "117-131",
year = "1992",
abstract =
"It is shown that a good output for a solver of algebraic systems of
dimension zero consists of a family of ``triangular sets of
polynomials''. Such an output is simple, readable, and consists
of all information which may be wanted.

Different algorithms are described for handling triangular systems
and obtaining them from Groebner bases. These algorithms are
practicable, and most of them are polynomial in the number of
solutions",
paper = "Laza92.pdf"
}

2 changes: 2 additions & 0 deletions src/axiom-website/patches.html
Original file line number Diff line number Diff line change
Expand Up @@ -5582,6 +5582,8 @@ <h3>Latest Release</h3>
books/bookvol5 Add chapter Type Inference and Coercion<br/>
<a href="patches/20161030.01.tpd.patch">20161030.01.tpd.patch</a>
books/bookvol10.4 update references<br/>
<a href="patches/20161104.01.tpd.patch">20161104.01.tpd.patch</a>
books/bookvolbib add Gonnet reference</br/>
</body>
</html>

0 comments on commit e727604

Please sign in to comment.