Results 91 to 100 of about 92,076 (301)
A Perspective on Interactive Theorem Provers in Physics
Advanced Science, EarlyView.Into an interactive theorem provers (ITPs), one can write mathematical definitions, theorems and proofs, and the correctness of those results is automatically checked. This perspective goes over the best usage of ITPs within physics and motivates the open‐source community run project PhysLean, the aim of which is to be a library for digitalized physics
Joseph Tooby‐Smith
wiley +1 more source
Dual-Target CAR-Ts with On- and Off-Tumour Activity May Override Immune Suppression in Solid Cancers: A Mathematical Proof of Concept. [PDF]
Cancers (Basel), 2021 León-Triana O +3 more
europepmc +1 more source
On Wittgenstein's notion of the objectivity of mathematical proofs
, 2013 This work analyses and defends Wittgenstein's definition of mathematical objectivity, looking particularly at his account of mathematical proofs, of what makes them normative, and what role mathematical and linguistic practices play in their ...
Trevino-Tarango, Martha Alicia
core
Physical Origin of Temperature Induced Activation Energy Switching in Electrically Conductive Cement
Advanced Science, EarlyView.The temperature‐induced Arrhenius activation energy switching phenomenon of electrical conduction in electrically conductive cement originates from structural degradation within the biphasic ionic‐electronic conduction architecture and shows percolation‐governed characteristics: pore network opening dominates the low‐percolation regime with downward ...
Jiacheng Zhang +7 more
wiley +1 more source
Tools and techniques for formalising structural proof theory
, 2010 Whilst results from Structural Proof Theory can be couched in many formalisms, it is the sequent calculus which is the most amenable of the formalisms to metamathematical treatment.
Chapman, Peter
core
Shadow‐Calibrated Stereo Vision for Colorimetric Sweat Analysis
Advanced Science, EarlyView.By establishing a mathematical model that reconstructs 3D structures through geometric features of object shadows under controlled illumination, and combining it with Convolutional Neural Network‐based 2D image analysis for volumetric calibration, this work enables highly accurate 3D morphological reconstruction.
Ting Xiao +7 more
wiley +1 more source
Indonesian Journal of Educational Research and ReviewProof and argumentation are integral components in mathematics education, as argumentation serves as a crucial foundation in constructing mathematical proofs.
Putri Haryani Syahar +3 more
doaj +1 more source
Essays on Mathematical Geography
, 1986 A collection of essays intended to show the range of power in applying pure mathematics to human systems. There are two types of essay: those which employ tranditional mathematical proof, and those which do not.
Arlinghaus, Sandra Lach
core
Cooperating Reasoning Processes: More than Just the Sum of their Parts [PDF]
, 2007 Using the achievements of my research group over the last 30+ years, I provide evidence to support the following hypothesis: By complementing each other, cooperating reasoning process can achieve much more than they could if they only acted individually.
Bundy, Alan
core
A proof-centric approach to mathematical assistants [PDF]
, 2006 We present an approach to mathematical assistants which uses readable, executable proof scripts as the central language for interaction. We examine an implementation that combines the Isar language, the Isabelle theorem prover and the IsaPlanner proof ...
Jacques Fleuriot +4 more
core +1 more source