Showing 1 - 14
of 14
for search: '',
query time: 0.08s
In Prospector
Request items from other Prospector libraries to be delivered to your local library for pickup.Narrow Search
Remove Filters
Author: SpringerLink (Online service)
Genre: Conference papers and proceedings
Subject: Mathematics Data processing
Institution
Collection
Format
Subject
Mathematics Data processing
6
Computer software
2
Automatic theorem proving
2
Computer science Mathematics
2
Information storage and retrieval systems Mathematics
2
Mathematics
more ...
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
Soft computing
see all ...
less ...
Author
SpringerLink (Online service)
6
International Congress of Mathematical Software
2
Davenport, James Harold, 1953-
2
Gerhard, Jürgen, 1967-
2
Kotsireas, Ilias
2
Maple Conference
more ...
1
Aldon, Gilles
1
Asian Symposium on Computer Mathematics
1
Asian Symposium on Computer Mathematics Singapore)
1
Asperti, Andrea
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
1
International Conference on Technology in Mathematics Teaching Lyon, France)
1
International Congress of Mathematical Software Berlin, Germany)
1
International Congress of Mathematical Software Castro Urdiales, Spain)
1
International Congress of Mathematical Software Kōbe-shi, Japan)
1
International Congress of Mathematical Software Online)
see all ...
less ...
Language
Literary Form
Call Number
Year of Publication