scientific article; zbMATH DE number 52566

MaRDI QIDQ4002864zbMATH OpenFDO

Authors Karl Aberer

Publication date 23 January 1993

zbMATH Keywords

combinatory differential fieldscombinatory modelcomputer algebra language Scratchpadconstructive analysisEngeler graph model of combinatory algebrainfinite computable sequences of functionsinterval analysisnonstandard modelspiecewise rational functionssymbolic algorithms

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Constructive and recursive analysis (03F60) Symbolic computation and algebraic computation (68W30)

Recommendations

• Combinatory differential fields
• scientific article; zbMATH DE number 2066334
• scientific article; zbMATH DE number 1531889
• On model complete differential fields
• Differential function fields and moduli of algebraic varieties
• Differential equations in constructive analysis and in the recursive realizability topos
• The model theory of differential fields with finitely many commuting derivations
• scientific article; zbMATH DE number 1824071
• scientific article; zbMATH DE number 523982
• scientific article; zbMATH DE number 3857247

Cited in

(3)

• On constructive number fields and computability of solutions of PDEs
• Differential equations in constructive analysis and in the recursive realizability topos
• Combinatory differential fields

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 Q4002864)