**Commenced**in January 2007

**Frequency:**Monthly

**Edition:**International

**Paper Count:**129

# Search results for: theorem prover

##### 129 Validation of the Formal Model of Web Services Applications for Digital Reference Service of Library Information System

**Authors:**
Zainab Magaji Musa,
Nordin M. A. Rahman,
Julaily Aida Jusoh

**Abstract:**

**Keywords:**
validation,
verification,
formal,
theorem prover

##### 128 Chinese Remainder Theorem and Decidability

**Authors:**
Zahra Sheikhaleslami

**Abstract:**

**Keywords:**
Chinese remainder theorem,
decidability,
general Chinese remainder theorem,
quantifier-elimination

##### 127 A Study on Weddernburn – Artin Theorem for Rings

**Authors:**
Fahad Suleiman,
Sammani Abdullahi

**Abstract:**

**Keywords:**
Commutativity,
Wedderburn theorem,
Semisimple ring,
R module

##### 126 Application of Chinese Remainder Theorem to Find The Messages Sent in Broadcast

**Authors:**
Ayubi Wirara,
Ardya Suryadinata

**Abstract:**

**Keywords:**
RSA algorithm,
broadcast message,
Chinese Remainder Theorem,
Coppersmith’s theorem

##### 125 Formal Verification for Ethereum Smart Contract Using Coq

**Authors:**
Xia Yang,
Zheng Yang,
Haiyong Sun,
Yan Fang,
Jingyu Liu,
Jia Song

**Abstract:**

**Keywords:**
smart contract,
formal verification,
Ethereum,
Coq

##### 124 Weyl Type Theorem and the Fuglede Property

**Authors:**
M. H. M. Rashid

**Abstract:**

**Keywords:**
Fuglede Property,
Weyl’s theorem,
generalized derivation,
Aluthge transform

##### 123 Formal Specification of Web Services Applications for Digital Reference Services of Library Information System

**Authors:**
Magaji Zainab Musa,
Nordin M. A. Rahman,
Julaily Aida Jusoh

**Abstract:**

**Keywords:**
formal,
specifications,
web services,
digital reference services

##### 122 Cryptographic Attack on Lucas Based Cryptosystems Using Chinese Remainder Theorem

**Authors:**
Tze Jin Wong,
Lee Feng Koo,
Pang Hung Yiu

**Abstract:**

_{4,6}) cryptosystem under the Lenstra’s attack as compared to the other two Lucas based cryptosystems such as LUC and LUC

_{3}cryptosystems. All the Lucas based cryptosystems were exposed mathematically to the Lenstra’s attack using Chinese Remainder Theorem and Dickson polynomial. Result shows that the possibility for successful Lenstra’s attack is less against LUC

_{4,6}cryptosystem than LUC

_{3}and LUC cryptosystems. Current study concludes that LUC

_{4,6}cryptosystem is more secure than LUC and LUC

_{3}cryptosystems in sustaining against Lenstra’s attack.

**Keywords:**
Lucas sequence,
Dickson polynomial,
faulty signature,
corresponding signature,
congruence

##### 121 Existence Solutions for Three Point Boundary Value Problem for Differential Equations

**Authors:**
Mohamed Houas,
Maamar Benbachir

**Abstract:**

**Keywords:**
caputo derivative,
boundary value problem,
fixed point theorem,
local conditions

##### 120 Existence of Positive Solutions for Second-Order Difference Equation with Discrete Boundary Value Problem

**Authors:**
Thanin Sitthiwirattham,
Jiraporn Reunsumrit

**Abstract:**

**Keywords:**
positive solution,
boundary value problem,
fixed point theorem,
cone

##### 119 From the Recursive Definition of Refutability to the Invalidity of Gödel’s 1931 Incompleteness

**Authors:**
Paola Cattabriga

**Abstract:**

**Keywords:**
Gödel numbering,
incompleteness,
provability predicate,
refutability predicate

##### 118 Improving Detection of Illegitimate Scores and Assessment in Most Advantageous Tenders

**Authors:**
Hao-Hsi Tseng,
Hsin-Yun Lee

**Abstract:**

**Keywords:**
Arrow’s impossibility theorem,
cumulative normal distribution function,
most advantageous tender,
scoring method

##### 117 Analysis of Senior Secondary II Students Performance/Approaches Exhibited in Solving Circle Geometry

**Authors:**
Mukhtari Hussaini Muhammad,
Abba Adamu

**Abstract:**

**Keywords:**
circle theorem,
control group,
experimental group,
traditional method

##### 116 Nadler's Fixed Point Theorem on Partial Metric Spaces and its Application to a Homotopy Result

**Authors:**
Hemant Kumar Pathak

**Abstract:**

**Keywords:**
fixed point,
partial metric space,
homotopy,
physical sciences

##### 115 A Study of Evolutional Control Systems

**Authors:**
Ti-Jun Xiao,
Zhe Xu

**Abstract:**

**Keywords:**
evolutional control system,
controllability,
boundary control,
existence and uniqueness

##### 114 [Keynote Talk]: Existence of Random Fixed Point Theorem for Contractive Mappings

**Authors:**
D. S. Palimkar

**Abstract:**

**Keywords:**
Polish space,
random common fixed point theorem,
weakly contractive mapping,
altering function

##### 113 Energy Conservation and H-Theorem for the Enskog-Vlasov Equation

**Authors:**
Eugene Benilov,
Mikhail Benilov

**Abstract:**

**Keywords:**
Enskog collision integral,
hard spheres,
kinetic equation,
phase transition

##### 112 A New Fixed Point Theorem for Almost θ-Contraction

**Authors:**
Hichem Ramoul

**Abstract:**

**Keywords:**
almost contraction,
almost θ-contraction,
fixed point,
generalized metric space

##### 111 Existence of Positive Solutions to a Dirichlet Second Order Boundary Value Problem

**Authors:**
Muhammad Sufian Jusoh,
Mesliza Mohamed

**Abstract:**

**Keywords:**
Krasnosel'skii fixed point theorem,
positive solutions,
Dirichlet boundary value problem,
Dirichlet second order boundary problem

##### 110 Simplified Equations for Rigidity and Lateral Deflection for Reinforced Concrete Cantilever Shear Walls

**Authors:**
Anas M. Fares

**Abstract:**

**Keywords:**
cantilever shear walls,
flexural deformation,
lateral deflection,
lateral loads,
reinforced concrete shear walls,
rigidity,
shear deformation,
virtual work theorem

##### 109 Mathematical and Numerical Analysis of a Reaction Diffusion System of Lambda-Omega Type

**Authors:**
Hassan Al Salman,
Ahmed Al Ghafli

**Abstract:**

**Keywords:**
reaction diffusion system,
finite element approximation,
fixed point theorem,
an optimal error bound

##### 108 Existence of positive periodic solutions for certain delay differential equations

**Authors:**
Farid Nouioua,
Abdelouaheb Ardjouni

**Abstract:**

**Keywords:**
delay differential equations,
positive periodic solutions,
integral equations,
Krasnoselskii fixed point theorem

##### 107 Using Indigenous Games to Demystify Probability Theorem in Ghanaian Classrooms: Mathematical Analysis of Ampe

**Authors:**
Peter Akayuure,
Michael Johnson Nabie

**Abstract:**

**Keywords:**
Ampe,
mathematical analysis,
probability theorem,
Ghanaian girl game

##### 106 A Proof of the N. Davydov Theorem for Douglis Algebra Valued Functions

**Authors:**
Jean-Marie Vilaire,
Ricardo Abreu-Blaya,
Juan Bory-Reyes

**Abstract:**

**Keywords:**
Beltrami equation,
Douglis algebra-valued function,
Hypercomplex Cauchy type integral,
Sokhotski-Plemelj formulae

##### 105 Total Controllability of the Second Order Nonlinear Differential Equation with Delay and Non-Instantaneous Impulses

**Authors:**
Muslim Malik,
Avadhesh Kumar

**Abstract:**

**Keywords:**
Banach fixed point theorem,
non-instantaneous impulses,
strongly continuous cosine family,
total controllability

##### 104 Numerical Method for Heat Transfer Problem in a Block Having an Interface

**Authors:**
Beghdadi Lotfi,
Bouziane Abdelhafid

**Abstract:**

**Keywords:**
Stokes theorem,
unstructured grid,
heat transfer,
complex geometry

##### 103 The Construction of the Semigroup Which Is Chernoff Equivalent to Statistical Mixture of Quantizations for the Case of the Harmonic Oscillator

**Authors:**
Leonid Borisov,
Yuri Orlov

**Abstract:**

**Keywords:**
Chernoff theorem,
Feynman formulas,
finitely multiple approximation,
harmonic oscillator,
Wigner function

##### 102 Closed-Form Sharma-Mittal Entropy Rate for Gaussian Processes

**Authors:**
Septimia Sarbu

**Abstract:**

**Keywords:**
generalized entropies,
Sharma-Mittal entropy rate,
Gaussian processes,
eigenvalues of the covariance matrix,
squeeze theorem

##### 101 Sliding Mode Position Control for Permanent Magnet Synchronous Motors Based on Passivity Approach

**Authors:**
Jenn-Yih Chen,
Bean-Yin Lee,
Yuan-Chuan Hsu,
Jui-Cheng Lin,
Kuang-Chyi Lee

**Abstract:**

**Keywords:**
adaptive law,
passivity theorem,
permanent magnet synchronous motor,
sliding mode control

##### 100 A Proof for Goldbach's Conjecture

**Authors:**
Hashem Sazegar

**Abstract:**

**Keywords:**
Bertrand-Chebyshev theorem,
Landau’s problems,
twin prime,
Legendre’s conjecture,
Oppermann’s conjecture