Results 31 to 40 of about 349,803 (277)
Computer theorem proving in math [PDF]
, 2004 We give an overview of issues surrounding computer-verified theorem proving in the standard pure-mathematical context. This is based on my talk at the PQR conference (Brussels, June 2003)
Carlos Simpson +1 more
core +4 more sources
Pengembangan Perangkat Pembelajaran Geometri Ruang dengan Model Proving Theorem
Kreano: Jurnal Matematika Kreatif-Inovatif, 2016 Kemampuan berpikir kritis dan kreatif mahasiswa masih lemah. Hal ini ditemukan pada mahasiswa yang mengambil mata kuliah Geometri Ruang yaitu dalam membuktikan soal-soal pembuktian (problem to proof).
Bambang Eko Susilo +2 more
doaj +1 more source
Formal Availability Analysis using Theorem Proving
, 2016 Availability analysis is used to assess the possible failures and their restoration process for a given system. This analysis involves the calculation of instantaneous and steady-state availabilities of the individual system components and the usage of ...
CE Ebeling +15 more
core +1 more source
Proof of Lagrange Mean Value Theorem and its Application in Text Design
Chemical Engineering Transactions, 2016 At present, there are a lot of papers on Lagrange mean value theorem proving method, the paper On the application of the theorem is not in a few, but text designs from the perspective of curriculum explore proving a theorem and its application to the ...
J.H. Li
doaj +1 more source
IEEE Access, 2020 This paper reports a formal symbolic process virtual machine (FSPVM) denoted as FSPVM-E for verifying the reliability and security of Ethereum-based services at the source code level of smart contracts.
Zheng Yang, Hang Lei, Weizhong Qian
doaj +1 more source
Mathematics Open, 2023 Is there a class of convergent series? I give a positive answer by introducing and proving a theorem. I also provide eight examples and numerical evidence.
Changhua Wan
doaj +1 more source
A Local limit theorem for directed polymers in random media: the continuous and the discrete case [PDF]
, 2005 In this article, we consider two models of directed polymers in random environment: a discrete model and a continuous model. We consider these models in dimension greater or equal to 3 and we suppose that the normalized partition function is bounded in L^
Vargas, Vincent
core +6 more sources
Simplification Method for Contradiction Separation Clause in First-order Logic AutomatedTheorem Prover CSE [PDF]
Jisuanji kexueFirst-order logic automated theorem proving has the capacity to resolve a multitude of practical problems after formalization,and thus holds considerable practical value.As an advancement in automated theorem proving,contradiction separation deduction ...
WU Xin, CHEN Shuwei, JIANG Shipan
doaj +1 more source
A Robust Adaptive One‐Sample‐Ahead Preview Super‐Twisting Sliding Mode Controller
International Journal of Adaptive Control and Signal Processing, EarlyView.Block Diagram of the Robust Adaptive One‐Sample‐Ahead Preview Super‐Twisting Sliding Mode Controller. ABSTRACT This article introduces a discrete‐time robust adaptive one‐sample‐ahead preview super‐twisting sliding mode controller. A stability analysis of the controller by Lyapunov criteria is developed to demonstrate its robustness in handling both ...
Guilherme Vieira Hollweg +5 more
wiley +1 more source
Some remarks on a fixed point theorem of Krasnoselskii
Electronic Journal of Qualitative Theory of Differential Equations, 2003 Using a particular locally convex space and Schaefer's theorem, a generalization of Krasnoselskii's fixed point Theorem is proved. This result is further applied to certain nonlinear integral equation proving the existence of a solution on $\mathbb{R}_{+}
C. Avramescu
doaj +1 more source