Automated coercion for axiom
Nicolas James Doye · 1999
Article Automated coercion for axiom Share on Author: Nicolas J. Doye NISS & Department of Mathematical Sciences, University of Bath, Claverton Down, Bath, Somerset, BA2 7AY, England NISS & Department of Mathematical Sciences, University of Bath, Claverton Down, Bath, Somerset, BA2 7AY, EnglandView Profile Authors Info & Claims ISSAC '99: Proceedings of the 1999 international symposium on Symbolic and algebraic computationJuly 1999 Pages 229–235https://doi.org/10.1145/309831.309944Online:01 July 1999Publication History 3citation153DownloadsMetricsTotal Citations3Total Downloads153Last 12 Months1Last 6 weeks0 Get Citation AlertsNew Citation Alert added!This alert has been successfully added and will be sent to:You will be notified whenever a record that you have chosen has been cited.To manage your alert preferences, click on the button below.Manage my AlertsNew Citation Alert!Please log in to your account Save to BinderSave to BinderCreate a New BinderNameCancelCreateExport CitationPublisher SiteGet Access