Infinite structures in Scratchpad II

DOI10.1007/3-540-51517-8_103MaRDI QIDQ5393320zbMATH OpenOpenAlexFDO

Authors William H. Burge, Stephen M. Watt

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

zbMATH Keywords

\texttt{Scratchpad II}

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30)

Recommendations

• scientific article; zbMATH DE number 3970093
• SMT solving for functional programming over infinite structures
• scientific article; zbMATH DE number 4009812
• scientific article; zbMATH DE number 4055029
• Multidimensional infinite data in the language Lucid

Cited in

(5)

• Pseudo differential operators and integrable systems in AXIOM
• Generating power of lazy semantics
• Lazy and Forgetful Polynomial Arithmetic and Applications
• PSEUDO: applications of streams and lazy evaluation to integrable models
• On the complexity and parallel implementation of Hensel's lemma and Weierstrass preparation

Describes a project that uses

Uses Software

• IBM Scratchpad

This page was built for publication: Infinite structures in Scratchpad II

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5393320)