scientific article; zbMATH DE number 177653

zbMATH Open0776.03033MaRDI QIDQ4037533FDOQ4037533

Authors: Francine Diener 

Publication date: 18 May 1993

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

van der Pol equationapproximations of duckscycle ducksLienard transformationslow-rapid model

Mathematics Subject Classification ID

Nonstandard models in mathematics (03H05)

Cited In (4)

• Non-standard analysis and singular perturbations of ordinary differential equations
• Title not available (Why is that?)
• Investigation of relaxation oscillations with the use of constructive nonstandard analysis. II
• Title not available (Why is that?)

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)