Symbolic and algebraic algorithms

skip to main content

Advanced Search
Browse
About
- Sign in
- Register

Advanced Search
Journals
Magazines
Proceedings
Books
SIGs
Conferences
People
More

Search ACM Digital Library

Symbolic and algebraic algorithms Results

Search

Advanced Search

Applied Filters

Symbolic and algebraic algorithms
ISSAC '92: Papers from the international symposium on Symbolic and algebraic computationRemove filter

People

Names

Pauls S C Wang (2)
A Boulton (1)
Allan D Wittkopf (1)
Bruce Walter Char (1)
Daniel Richardson (1)
Dima Yu Grigoriev (1)
Fritz Schwarz (1)
Greg John Reid (1)
Hans Michael Möller (1)
James Harold Davenport (1)
John R Shackell (1)
Keith Oliver Geddes (1)
Masayuki Noro (1)
Norbert Kajler (1)
Peter E Crouch (1)
Renaud Rioboo (1)
Taku Takeshima (1)
Teo Mora (1)
Volker Weispfenning (1)
Werner Johannes Krandick (1)

Institutions

Kent State University (1)

Authors

A Boulton (1)
Allan D Wittkopf (1)
Bruce Walter Char (1)
Daniel Richardson (1)
Dima Yu Grigoriev (1)
Fritz Schwarz (1)
Greg John Reid (1)
Hans Michael Möller (1)
James Harold Davenport (1)
John R Shackell (1)
Keith Oliver Geddes (1)
Masayuki Noro (1)
Norbert Kajler (1)
Pauls S C Wang (1)
Peter E Crouch (1)
Renaud Rioboo (1)
Taku Takeshima (1)
Teo Mora (1)
Volker Weispfenning (1)
Werner Johannes Krandick (1)

Editors

Pauls S C Wang (1)

Publications

Proceedings/Book Names

ISSAC '92: Papers from the international symposium on Symbolic and algebraic computation (32)

All Publications

Proceedings (32)

Media Formats

PDF (31)

Publisher

Association for Computing Machinery (32)

Conferences

Sponsors

SIGNUM (32)
SIGSAM (32)

Conference Event

ISSAC92 (32)

Proceedings Series

ISSAC: International Symposium on Symbolic and Algebraic Computation (32)

Publication Date

Upon changing this filter the page will automatically refresh

Export Citations

Selected
All Results

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

32 Results for: Book/Issue: ISSAC '92: Papers from the international symposium on Symbolic and algebraic computationEdit SearchSave SearchFailed to save your search, try again laterSearch has been saved (My Saved Searches)RSS

Save this search

Please login to be able to save your searches and receive alerts for new content matching your search criteria.

Searched The ACM Guide to Computing Literature (3,823,141 records)|Limit your search to The ACM Full-Text Collection (772,324 records)

Results

Showing 1 - 20of32 Results

Select All

Export Citations Save to Binder

Save to Binder

Create a New Binder

Name

per page:

10
20
50

Sort by: Recency

Earliest
Latest
Downloaded
Cited

Article
Free
August 1992
Risa/Asir—a computer algebra system
- Masayuki Noro,
- Taku Takeshima
ISSAC '92: Papers from the international symposium on Symbolic and algebraic computationPages 387–396https://doi.org/10.1145/143242.143362
59
571
Metrics
Total Citations59
Total Downloads571
Last 12 Months123
Last 6 weeks19
View online with eReader
PDF
Article
Free
August 1992
CAS/PI: a portable and extensible interface for computer algebra systems
- Norbert Kajler
ISSAC '92: Papers from the international symposium on Symbolic and algebraic computationPages 376–386https://doi.org/10.1145/143242.143359
22
399
Metrics
Total Citations22
Total Downloads399
Last 12 Months71
Last 6 weeks10
View online with eReader
PDF
Article
Free
August 1992
A polymorphic functional language applied to symbolic computation
- Stéphane Dalmas
ISSAC '92: Papers from the international symposium on Symbolic and algebraic computationPages 369–375https://doi.org/10.1145/143242.143357
2
254
Metrics
Total Citations2
Total Downloads254
Last 12 Months30
Last 6 weeks8
View online with eReader
PDF
Article
Free
August 1992
Solving the constant quantum Yang-Baxter equation in 2 dimensions with massive use of factorizing Gröbner basis computations
- Jarmo Hietarinta
ISSAC '92: Papers from the international symposium on Symbolic and algebraic computationPages 350–357https://doi.org/10.1145/143242.143351
3
439
Metrics
Total Citations3
Total Downloads439
Last 12 Months97
Last 6 weeks12
View online with eReader
PDF
Article
Free
August 1992
On computing determinants of matrices without divisions
- Erich Kaltofen
ISSAC '92: Papers from the international symposium on Symbolic and algebraic computationPages 342–349https://doi.org/10.1145/143242.143350
30
904
Metrics
Total Citations30
Total Downloads904
Last 12 Months95
Last 6 weeks21
View online with eReader
PDF
Article
Free
August 1992
Solving parametric algebraic systems
- Xiao-Shan Gao,
- Shang-Ching Chou
ISSAC '92: Papers from the international symposium on Symbolic and algebraic computationPages 335–341https://doi.org/10.1145/143242.143348
32
339
Metrics
Total Citations32
Total Downloads339
Last 12 Months16
Last 6 weeks1
View online with eReader
PDF
Article
Free
August 1992
Finite Gröbner bases in non-Noetherian skew polynomial rings
- V. Weispfenning
ISSAC '92: Papers from the international symposium on Symbolic and algebraic computationPages 329–334https://doi.org/10.1145/143242.143346
12
334
Metrics
Total Citations12
Total Downloads334
Last 12 Months54
Last 6 weeks5
View online with eReader
PDF
Article
Free
August 1992
Gröbner bases computation using syzygies
ISSAC '92: Papers from the international symposium on Symbolic and algebraic computationPages 320–328https://doi.org/10.1145/143242.143343
33
720
Metrics
Total Citations33
Total Downloads720
Last 12 Months46
Last 6 weeks7
View online with eReader
PDF
Article
Free
August 1992
The matrix editor for symbolic Jacobians in ALPAL
- Jeffrey F. Painter
ISSAC '92: Papers from the international symposium on Symbolic and algebraic computationPages 312–319https://doi.org/10.1145/143242.143342
1
227
Metrics
Total Citations1
Total Downloads227
Last 12 Months15
Last 6 weeks0
View online with eReader
PDF
Article
Free
August 1992
An approach for floating-point error analysis using computer algebra
ISSAC '92: Papers from the international symposium on Symbolic and algebraic computationPages 284–293https://doi.org/10.1145/143242.143332
4
419
Metrics
Total Citations4
Total Downloads419
Last 12 Months42
Last 6 weeks7
View online with eReader
PDF
Article
Free
August 1992
On stability analysis of linear stochastic and time-varying deterministic systems
- Cetin Cetinkaya
ISSAC '92: Papers from the international symposium on Symbolic and algebraic computationPages 278–283https://doi.org/10.1145/143242.143330
1
281
Metrics
Total Citations1
Total Downloads281
Last 12 Months20
Last 6 weeks2
View online with eReader
PDF
Article
Free
August 1992
Experimental comparison of algorithms for Sylow subgroups
- Greg Butler
ISSAC '92: Papers from the international symposium on Symbolic and algebraic computationPages 251–262https://doi.org/10.1145/143242.143324
0
274
Metrics
Total Citations0
Total Downloads274
Last 12 Months34
Last 6 weeks7
View online with eReader
PDF
Article
Free
August 1992
Honest plotting, global extrema, and interval arithmetic
- Richard Fateman
ISSAC '92: Papers from the international symposium on Symbolic and algebraic computationPages 216–223https://doi.org/10.1145/143242.143314
6
422
Metrics
Total Citations6
Total Downloads422
Last 12 Months60
Last 6 weeks9
View online with eReader
PDF
Article
Free
August 1992
Real algebraic closure of an ordered field: implementation in Axiom
- Renaud Rioboo
ISSAC '92: Papers from the international symposium on Symbolic and algebraic computationPages 206–215https://doi.org/10.1145/143242.143312
9
330
Metrics
Total Citations9
Total Downloads330
Last 12 Months40
Last 6 weeks9
View online with eReader
PDF
Article
Free
August 1992
Real algebraic number computation using interval arithmetic
- J. R. Johnson
ISSAC '92: Papers from the international symposium on Symbolic and algebraic computationPages 195–205https://doi.org/10.1145/143242.143311
7
544
Metrics
Total Citations7
Total Downloads544
Last 12 Months78
Last 6 weeks18
View online with eReader
PDF
Article
Free
August 1992
An efficient algorithm for infallible polynomial complex root isolation
- George E. Collins,
- Werner Krandick
ISSAC '92: Papers from the international symposium on Symbolic and algebraic computationPages 189–194https://doi.org/10.1145/143242.143308
15
544
Metrics
Total Citations15
Total Downloads544
Last 12 Months31
Last 6 weeks4
View online with eReader
PDF
Article
Free
August 1992
Simple solution formula construction in cylindrical algebraic decomposition based quantifier elimination
- Hoon Hong
ISSAC '92: Papers from the international symposium on Symbolic and algebraic computationPages 177–188https://doi.org/10.1145/143242.143306
39
3,111
Metrics
Total Citations39
Total Downloads3,111
Last 12 Months60
Last 6 weeks10
View online with eReader
PDF
Article
Free
August 1992
Parallel univariate p-adic lifting on shared-memory multiprocessors
- Paul S. Wang
ISSAC '92: Papers from the international symposium on Symbolic and algebraic computationPages 168–176https://doi.org/10.1145/143242.143304
2
244
Metrics
Total Citations2
Total Downloads244
Last 12 Months20
Last 6 weeks5
View online with eReader
PDF
Article
Free
August 1992
Multipolynomial resultants and linear algebra
- Dinesh Manocha,
- John F. Canny
ISSAC '92: Papers from the international symposium on Symbolic and algebraic computationPages 158–167https://doi.org/10.1145/143242.143300
7
512
Metrics
Total Citations7
Total Downloads512
Last 12 Months78
Last 6 weeks7
View online with eReader
PDF
Article
Free
August 1992
Homogeneous decomposition of polynomials
- Jürgen Weiß
ISSAC '92: Papers from the international symposium on Symbolic and algebraic computationPages 146–151https://doi.org/10.1145/143242.143296
0
309
Metrics
Total Citations0
Total Downloads309
Last 12 Months81
Last 6 weeks13
View online with eReader
PDF

1
2

Footer

Categories

Journals
Magazines
Books
Proceedings
SIGs
Conferences
Collections
People

About

About ACM Digital Library
ACM Digital Library Board
Subscription Information
Author Guidelines
Using ACM Digital Library
All Holdings within the ACM Digital Library
ACM Computing Classification System
Accessibility Statement

Join

Join ACM
Join SIGs
Subscribe to Publications
Institutions and Libraries

Connect

Contact us via email
ACM on Facebook
ACM DL on X
ACM on Linkedin
Send Feedback
Submit a Bug Report

The ACM Digital Library is published by the Association for Computing Machinery. Copyright © 2025 ACM, Inc.

Terms of Usage
Privacy Policy
Code of Ethics

Your Search Results Download Request

We are preparing your search results for download ...

We will inform you here when the file is ready.

Your Search Results Download Request

Your file of search results citations is now ready.

Your Search Results Download Request

Your search export query has expired. Please try again.