Results 11 to 20 of about 998,736 (272)
Evidence, Proofs, and Derivations [PDF]
, 2019 The traditional view of evidence in mathematics is that evidence is just proof and proof is just derivation. There are good reasons for thinking that this view should be rejected: it misrepresents both historical and current mathematical practice ...
Aberdein, Andrew
core +2 more sources
Premise Selection for Mathematics by Corpus Analysis and Kernel Methods [PDF]
, 2012 Smart premise selection is essential when using automated reasoning as a tool for large-theory formal proof development. A good method for premise selection in complex mathematical libraries is the application of machine learning to large corpora of ...
A Grabowski +21 more
core +4 more sources
Unpacking the logic of mathematical statements [PDF]
, 1995 This study focuses on undergraduate students' ability to unpack informally written mathematical statements into the language of predicate calculus. Data were collected between 1989 and 1993 from 61students in six small sections of a “bridge" course ...
Selden, Annie
core +1 more source
Developing Students Ability To Write Mathematical Proof By Polya Method [PDF]
, 2011 Both writing and reading a proof is equally not easy. Some mathematicians attested that students found difficulties in mathematical proving. Mathematics and mathematics education experts like Jones (1997, 2001), Weber (2001), and Smith (2006) found that ...
Kodirun, Kodirun
core
A Q‐Learning Algorithm to Solve the Two‐Player Zero‐Sum Game Problem for Nonlinear Systems
International Journal of Adaptive Control and Signal Processing, Volume 39, Issue 3, Page 566-581, March 2025.A Q‐learning algorithm to solve the two‐player zero‐sum game problem for nonlinear systems. ABSTRACT This paper deals with the two‐player zero‐sum game problem, which is a bounded L2$$ {L}_2 $$‐gain robust control problem. Finding an analytical solution to the complex Hamilton‐Jacobi‐Issacs (HJI) equation is a challenging task.
Afreen Islam +2 more
wiley +1 more source
Twisted duality of the CAR-Algebra [PDF]
, 2002 We give a complete proof of the twisted duality property M(q)'= Z M(q^\perp) Z* of the (self-dual) CAR-Algebra in any Fock representation. The proof is based on the natural Halmos decomposition of the (reference) Hilbert space when two suitable closed ...
Araki H. +17 more
core +3 more sources
Current Tracking Adaptive Control of Brushless DC Motors
International Journal of Adaptive Control and Signal Processing, EarlyView.In this paper, the current tracking for Brushless Direct Current motors is approached considering uncertainty in the parameters of the motor's model. An adaptive control scheme to compensate electrical parameters uncertainty is proposed without requiring any knowledge of the mechanical parameters.
Fernanda Ramos‐García +3 more
wiley +1 more source
On Gauss's first proof of the fundamental theorem of algebra
, 2017 Carl Friedrich Gauss is often given credit for providing the first correct proof of the fundamental theorem of algebra in his 1799 doctoral dissertation. However, Gauss's proof contained a significant gap.
Basu, Soham, Velleman, Daniel J.
core +1 more source
Advanced Biology, EarlyView.FAHD‐1 and PYC‐1 catalyze opposing mitochondrial reactions that regulate oxaloacetate homeostasis in Caenorhabditis elegans. Using single and double knockouts, this study reveals that both enzymes shape locomotion, reproduction, respiration, and lifespan.
Riccardo Giaquinta +3 more
wiley +1 more source
X‐Ray Tomography Analysis of Damage Mechanisms in Metal Matrix Syntactic Foams During Compression
Advanced Engineering Materials, EarlyView.In situ synchrotron X‐ray tomography is used to investigate the internal damage mechanisms of AlSi12 metal matrix syntactic foam with ceramic hollow spheres during compressive loading. It is concluded that a homogeneous distribution of the second‐phase filler material results in a sequential collapse in a localized region; this leads to controlled and ...
Indrajeet Tambe +8 more
wiley +1 more source