Results 21 to 30 of about 998,736 (272)
, 1991 This paper addresses the question of how we can understand reasoning in general and mathematical proofs in particular. It argues the need for a high-level understanding of proofs to complement the low-level understanding provided by Logic.
Bundy, Alan
core +1 more source
Towards an Intelligent Tutor for Mathematical Proofs [PDF]
, 2012 Computer-supported learning is an increasingly important form of study since it allows for independent learning and individualized instruction. In this paper, we discuss a novel approach to developing an intelligent tutoring system for teaching textbook ...
Abigail S. Gertner +73 more
core +2 more sources
Advanced Engineering Materials, EarlyView.This article presents a solver‐agnostic domain‐specific language (DSL) for computational structural mechanics that strengthens interoperability in virtual product development. Using a hierarchical data model, the DSL enables seamless exchange between diverse simulation tools and numerical methods.
Martin Rädel +3 more
wiley +1 more source
Multiplicative-Additive Focusing for Parsing as Deduction
, 2015 Spurious ambiguity is the phenomenon whereby distinct derivations in grammar may assign the same structural reading, resulting in redundancy in the parse search space and inefficiency in parsing.
Morrill, Glyn, Valentín, Oriol
core +2 more sources
3D Printed Ultra‐Fast Plastic Scintillators Based on Perovskite‐Photocurable Polymer Composite
Advanced Functional Materials, Volume 35, Issue 12, March 18, 2025.The demand for radiation detection is increasing in a number of fields, including high‐energy physics, medical imaging, and homeland security. This study serves to demonstrate the potential for the fabrication of fast perovskite‐based scintillators with complex shapes via stereolithographic additive manufacturing, representing a new path toward the ...
Antonella Giuri +16 more
wiley +1 more source
A Case for Proof Making for Prospective Middle School Teachers [PDF]
, 2004 In this article, we discuss how we, as mathematics teacher educators, might help our prospective middle school teachers develop a disposition toward mathematics that involves making sound arguments and, more generally, making proofs about mathematical ...
Cavey, L. +2 more
core +1 more source
Desperately Seeking Mathematical Proof [PDF]
The Mathematical Intelligencer, 2009 Remarks on mathematical proof and the practice of mathematics.
openaire +3 more sources
Advanced Functional Materials, EarlyView.This study presents novel anti‐counterfeiting tags with multilevel security features that utilize additional disguise features. They combine luminescent nanosized Ln‐MOFs with conductive polymers to multifunctional mixed‐matrix membranes and powder composites. The materials exhibit visible/NIR emission and matrix‐based conductivity even as black bodies.
Moritz Maxeiner +9 more
wiley +1 more source
Mathematical Method and Proof [PDF]
Synthese, 2006 On a traditional view, the primary role of a mathematical proof is to warrant the truth of the resulting theorem. This view fails to explain why it is very often the case that a new proof of a theorem is deemed important. Three case studies from elementary arithmetic show, informally, that there are many criteria by which ordinary proofs are valued.
openaire +1 more source
Synchrotron Radiation for Quantum Technology
Advanced Functional Materials, EarlyView.Materials and interfaces underpin quantum technologies, with synchrotron and FEL methods key to understanding and optimizing them. Advances span superconducting and semiconducting qubits, 2D materials, and topological systems, where strain, defects, and interfaces govern performance.
Oliver Rader +10 more
wiley +1 more source