SIGSAM-CCA: Vol 42, No 1-2

I discuss notations for some styles of mathematical reasoning that include analogy. These notations extend the conventions of the mathematical package mathscape that I reported recently in the Journal of Symbolic Computation. The paper introduces the ...

- 2
- 292
Metrics
Total Citations2
Total Downloads292
Last 12 Months1
Last 6 weeks0

Abstract
Get Access

SECTION: AMS special session on applications of computer algebra in enumerative and algebraic combinatorics

SECTION: Abstracts of recent doctoral dissertations in computer algebra

obituary

Free

In Memoriam Eugeny Pankratiev: Faculty of Mechanics and Mathematics, Moscow State University, Moscow, Russia

Pages 23–26https://doi.org/10.1145/1394042.1394044

- 0
- 221
Metrics
Total Citations0
Total Downloads221
Last 12 Months25
Last 6 weeks2

View online with eReader
PDF

bibliography

ACM 2007 Kanellakis Award Honours Bruno Buchberger Innovator of Automated Tools for Mathematics

Mark Giesbrecht

Pages 37–38https://doi.org/10.1145/1394042.1394045

SIGSAM is pleased to announce that Bruno Buchberger of the Research Institute for Symbolic Computation (RISC) at Johannes Kepler University in Linz, Austria, has been awarded the 2007 ACM Paris Kanellakis Theory and Practice Award. This is one of the ...

- 0
- 68
Metrics
Total Citations0
Total Downloads68
Last 12 Months0
Last 6 weeks0

Abstract
Get Access

research-article

Open source computer algebra systems: Axiom

David Joyner

Pages 39–47https://doi.org/10.1145/1394042.1394046

This survey will look at Axiom, a free and very powerful computer algebra system available. It is a general purpose CAS useful for symbolic computation, research, and the development of new mathematical algorithms. Axiom is similar in some ways to ...

- 2
- 264
Metrics
Total Citations2
Total Downloads264
Last 12 Months8
Last 6 weeks0

Abstract
Get Access

SECTION: Poster abstracts from the eighth algorithmic number theory symposium, ANTS-8

SECTION: ECCAD 2008 poster abstracts

SECTION: The MICA 2008 conference, preface and abstracts

Save to Binder

Create a New Binder

Name

Subjects

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Export Citations

Select Citation format

Please download or close your previous search result export first before starting a new bulk export.
Preview is not available.
By clicking download,a status dialog will open to start the export process. The process may takea few minutes but once it finishes a file will be downloadable from your browser. You may continue to browse the DL while the export process is in progress.
Download
- Download citation
- Copy citation