scientific article

From MaRDI portal

Publication:4002864

Jump to:navigation, search

zbMath0781.03050MaRDI QIDQ4002864

Karl Aberer

Publication date: 23 January 1993

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

interval analysis nonstandard models constructive analysis symbolic algorithms piecewise rational functions combinatory differential fields combinatory model computer algebra language Scratchpad Engeler graph model of combinatory algebra infinite computable sequences of functions

Mathematics Subject Classification ID

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

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4002864&oldid=17696327"