Journal of Applied LogicVolume 4, Issue 4, December 2006, Pages 359-365EditorialTowards computer aided mathematicsAuthor links open overlay panelChristoph BenzmüllerShow moreShareCitehttps://doi.org/10.1016/j.jal.2005.10.001Get rights and contentUnder an Elsevier user licenseopen archivePrevious article in issueNext article in issueRecommended articlesCited by (0)Copyright © 2005 Elsevier B.V. All rights reserved.