Showing 1 - 18
of 18
for search: '',
query time: 0.13s
In Prospector
Request items from other Prospector libraries to be delivered to your local library for pickup.Narrow Search
Institution
Format
Subject
Mathematics Data processing
6
Computer software
3
Numerical analysis Data processing
2
Automatic theorem proving
2
Computer science Mathematics
2
Information storage and retrieval systems Mathematics
more ...
2
Mathematics
1
Computer science
1
Discrete mathematics
1
Mathematical analysis
1
Mathematical models
1
Mathematics Computer programs
1
Mathematics Experiments
1
Mathematics Study and teaching
1
Online data processing
1
Soft computing
1
Time-sharing computer systems
see all ...
less ...
Author
14
SpringerLink (Online service)
6
International Congress of Mathematical Software
3
Mathematical Software Symposium
2
Davenport, James Harold, 1953-
2
Gerhard, Jürgen, 1967-
2
Kotsireas, Ilias
more ...
2
Maple Conference
2
Rice, John Rischard
1
ACM Symposium on Interactive Systems for Experimental Mathematics
1
ACM Symposium on Interactive Systems for Experimental Mathematics Washington, D.C.)
1
Aldon, Gilles
1
Asian Symposium on Computer Mathematics
1
Asian Symposium on Computer Mathematics Singapore)
1
Asperti, Andrea
1
Association for Computing Machinery
1
Bigatti, Anna M. 1965-
1
Borwein, Jonathan M.
1
Buchberger, Bruno
1
Carette, Jacques (Computer scientist)
1
Cartier, Pierre,
1
Corless, Robert M.
1
Davenport, James H.
1
Farmer, William Michael
1
Forum for Interdisciplinary Mathematics. International Conference
1
Forum for Interdisciplinary Mathematics. International Conference 2020 : Online)
1
Fukuda, Komei
1
Greuel, G.-M.
1
Hong, Hoon,
1
Iglesias, Andrés
1
International Conference on Technology in Mathematics Teaching
see all ...
less ...
Language
Literary Form
Call Number
Year of Publication