scientific article; zbMATH DE number 3099224
From MaRDI portal
Publication:5839903
zbMath0061.00616MaRDI QIDQ5839903
Publication date: 1945
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Methodology of mathematics (00A35) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematics in general (00-01)
Related Items
A heuristic prover for real inequalities, Towards finding longer proofs, Computational approaches to analogical reasoning: A comparative analysis, Theory and applications of generalized dynamic programming: An overview, Lakatos-style collaborative mathematics through dialectical, structured and abstract argumentation, Does Int \((\mathbb Z)\) have the stacked bases property?, Entropic extensivity and large deviations in the presence of strong correlations, Bridging the Gap Between Argumentation Theory and the Philosophy of Mathematics, Mathematical Arguments and Distributed Knowledge, TICLE: Using multimedia multimodal guidance to enhance learning, Modeling of Biological Systems: From Algebra to Calculus and Computer Simulations, On computing the measurable amounts of the two jugs problem, Unnamed Item, Extended beam search for non-exhaustive state space analysis, Studying strategies and types of players: experiments, logics and cognitive models, Knowledge-based proof planning, An introduction to mechanized reasoning, Pi on earth, or mathematics in the real world, A theory of abstraction, Strategic reasoning: building cognitive models from logical formulas, Hierarchies of probabilistic and team FIN-learning, Mathematics and argumentation, Random sampling approach to state estimation in switching environments, An explanatory, transformation geometry proof of a classic treasure-hunt problem and its generalization, Richard von Mises and the ``problem of two races: a statistical satire in 1934, Inverse problems, Quantum algorithms for algebraic problems, An interesting theorem related to a hexagon with opposite sides that are parallel, The recreational mathematics activities of ordinary nineteenth century Americans: A case study of two mathematics puzzle columns and their contributors, Metaheuristics—the metaphor exposed, Simulation Analysis of the Complex Production System with Interoperation Buffer Stores, Automating Signature Evolution in Logical Theories, Programs as proofs: A synopsis, Production, Innovation, and Disequilibrium, PLANS AND PLANNING IN MATHEMATICAL PROOFS
