Q4002864
type: Item
instance of: scholarly article
zbMATH Open document ID: 0781.03050
author: Karl Aberer
publication date: 1993-01-23T00:00:00Z
Mathematics Subject Classification ID: 03F60
Mathematics Subject Classification ID: 68W30
Mathematics Subject Classification ID: 03B40
Mathematics Subject Classification ID: 12Y05
zbMATH DE Number: 52566
zbMATH Keywords: constructive analysis
zbMATH Keywords: combinatory differential fields
zbMATH Keywords: piecewise rational functions
zbMATH Keywords: infinite computable sequences of functions
zbMATH Keywords: nonstandard models
zbMATH Keywords: Engeler graph model of combinatory algebra
zbMATH Keywords: combinatory model
zbMATH Keywords: symbolic algorithms
zbMATH Keywords: interval analysis
zbMATH Keywords: computer algebra language Scratchpad
MaRDI profile type: Publication
Recommended article: Combinatory differential fields
Recommended article: Q4462772
Recommended article: Q4513931
Recommended article: On model complete differential fields
Recommended article: Differential function fields and moduli of algebraic varieties
Recommended article: Differential equations in constructive analysis and in the recursive realizability topos
Recommended article: The model theory of differential fields with finitely many commuting derivations
Recommended article: Q3153354
Recommended article: Q4284464
Recommended article: Q3325831
description: scientific article