Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 conf/mkm/ReisML11
%A Reis, Gabriel Dos
%A Matthews, David C. J.
%A Li, Yue
%B Calculemus/MKM
%D 2011
%E Davenport, James H.
%E Farmer, William M.
%E Urban, Josef
%E Rabe, Florian
%I Springer
%K
%P 15-29
%T Retargeting OpenAxiom to Poly/ML: Towards an Integrated Proof Assistants and Computer Algebra System Framework.
%U http://dblp.uni-trier.de/db/conf/mkm/mkm2011.html#ReisML11
%V 6824
%@ 978-3-642-22672-4
@inproceedings{conf/mkm/ReisML11,
added-at = {2023-12-12T23:51:22.000+0100},
author = {Reis, Gabriel Dos and Matthews, David C. J. and Li, Yue},
biburl = {https://www.bibsonomy.org/bibtex/284c74ac6c381bb8f4f66197559b9f0a9/admin},
booktitle = {Calculemus/MKM},
crossref = {conf/mkm/2011},
editor = {Davenport, James H. and Farmer, William M. and Urban, Josef and Rabe, Florian},
ee = {https://doi.org/10.1007/978-3-642-22673-1_2},
interhash = {5b405f10b599fa02f63ef81c07e358f9},
intrahash = {84c74ac6c381bb8f4f66197559b9f0a9},
isbn = {978-3-642-22672-4},
keywords = {},
pages = {15-29},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {2023-12-12T23:51:22.000+0100},
title = {Retargeting OpenAxiom to Poly/ML: Towards an Integrated Proof Assistants and Computer Algebra System Framework.},
url = {http://dblp.uni-trier.de/db/conf/mkm/mkm2011.html#ReisML11},
volume = 6824,
year = 2011
}