scientific article; zbMATH DE number 177653

MaRDI QIDQ4037533zbMATH OpenFDO

Authors Francine Diener

Publication date 18 May 1993

zbMATH Keywords

van der Pol equationapproximations of duckscycle ducksLienard transformationslow-rapid model

Mathematics Subject Classification ID

Nonstandard models in mathematics (03H05)

Recommendations

• scientific article; zbMATH DE number 25881
• The problem of formalization of some nonstandard semantics
• scientific article; zbMATH DE number 3928998
• Elements of stream calculus (an extensive exercise in coinduction)
• The syntax of nonstandard analysis
• Streams and strings in formal proofs.
• scientific article; zbMATH DE number 1778912
• scientific article; zbMATH DE number 1481753
• Formal analysis. An introduction
• Nested refinements: a logic for duck typing

Cited in

(4)

• scientific article; zbMATH DE number 444616 (Why is no real title available?)
• scientific article; zbMATH DE number 167459 (Why is no real title available?)
• Investigation of relaxation oscillations with the use of constructive nonstandard analysis. II
• Non-standard analysis and singular perturbations of ordinary differential equations

This page was built for publication:

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