scientific article
From MaRDI portal
Publication:3998374
zbMath1109.00301MaRDI QIDQ3998374
Publication date: 17 September 1992
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Collected or selected works; reprintings or translations of classics (01A75) Methodology of mathematics (00A35)
Related Items
Link concepts and partitioning in model formulation, On methods for safe introduction of operations, Optimization by non-deterministic, lazy rewriting, Learning by understanding analogies, Forms of Proof and Proving in the Classroom, Argumentation and Proof in the Mathematics Classroom, Problem solving with well posedness analysis. I., Computer supported mathematics with \(\Omega\)MEGA, MUSCADET: An automatic theorem proving system using knowledge and metaknowledge in mathematics, Up the Hill and Down Again, Mathematical problem-solving in scientific practice, A system simulating representation change phenomena while problem solving, Construction of bound entangled edge states with special ranks, New relations and identities for generalized hypergeometric coefficients, Variations of a combinatorial problem on finite sets, Paraconsistency and plausible argumentation in generative grammar: A case study, Thermal bandaids: a generalization of the molecular zipper model, Visual thinking and simplicity of proof, DEMOSTRACIONES DEL PONS ASINORUM. APORTES DE LA HISTORIA A LA ENSEÑANZA DE LA MATEMÁTICA, Abductive inference in defeasible reasoning: a model for research programmes, The natural reference wavenumber for parabolic approximations in ocean acoustics, Curvature Invariant and Generalized Canonical Operator Models – I