Publications in ai-romatre-pubs.bib - Year: 1996
1996
[3] P-adic arithmetic and parallel symbolic computation: An implementation for solving linear systems over rationals ( and ), In Computers and Artificial Intelligence, volume 15, . [bibtex] [url]
[2] Uniform representation of basic algebraic structures in computer algebra (, and ), In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), volume 1128, . [bibtex] [url]
[1] Exploiting SML for experimenting with algebraic algorithms: The example of p-adic lifting ( and ), In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), volume 1128, . [bibtex] [url]
Powered by bibtexbrowser