Infinite structures in scratchpad II
From MaRDI portal
Publication:5393320
DOI10.1007/3-540-51517-8_103zbMath1209.68667OpenAlexW1485824719MaRDI QIDQ5393320
Stephen M. Watt, William H. Burge
Publication date: 16 April 2011
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/3-540-51517-8_103
Related Items (5)
On the complexity and parallel implementation of Hensel's lemma and Weierstrass preparation ⋮ Pseudo differential operators and integrable systems in AXIOM ⋮ Generating power of lazy semantics ⋮ PSEUDO: applications of streams and lazy evaluation to integrable models ⋮ Lazy and Forgetful Polynomial Arithmetic and Applications
Uses Software
This page was built for publication: Infinite structures in scratchpad II
