|
СБ |
Mathematical Software - ICMS 2020: Proc./7th International Conference, Braunschweig, Germany, July 2020 |
2020 |
|
Lecture Notes in Computer Science |
- Bigatti A.M.
- Carette J.
- Davenport J. H.
- Joswig M.
|
|
20919 |
18.08.2020 |
|
СБ |
Mathematical Software - ICMS 2018: Proc./6th International Conference, South Bend,IN,USA, July 2018 |
2018 |
|
|
- Davenport J. H.
- Kauers M.
- Labahn G.
- Urban J.
|
|
|
26.09.2018 |
|
СБ |
Intelligent Computer Mathematics: Proc./International Conference, CICM 2014, Coimbra, Portugal, July 2014 |
2014 |
|
Lecture Notes in Artificial Intelligence |
- Watt S. M.
- Davenport J. H.
- Sexton A. P.
- Sojka P.
|
|
|
30.08.2014 |
|
СБ |
Intelligent Computer Mathematics: Proc./18th Symposium, Calculemus 2011 and 10th International Conference, MKM 2011, Bertinoro, Italy, July 2011 |
2011 |
|
Lecture Notes in Artificial Intelligence |
- Davenport J. H.
- Farmer W. M.
- Rabe F.
- Urban J.
|
|
|
27.09.2011 |
|
СБ |
Methematical Knowledge Management: Proc./Second Intern. Conf., MKM 2003, Bertinoro, Italy, February 2003 |
2003 |
|
Lecture Notes in Computer Science |
- Asperti A.
- Buchberger B.
- Davenport J. H.
|
|
|
01.03.2003 |
