Skip to content

Symbolic Computation Software Composability.

Sebastian Freundt, Peter Horn, Alexander Konovalov, Steve Linton, Dan Roozemond

Year2008
ProceedingsAISC/MKM/Calculemus

Browse the full AISC paper archive.