Formal Derivation from Assumption - Articles - Scientific Research Publishing

Formally Deriving the Third Newton’s Law from a Pair of Nontrivial Assumptions in a Formal Axiomatic Theory “Sigma-V” (Articles)

Vladimir O. Lobovikov

Journal of Applied Mathematics and Physics Vol.10 No.5，May 18, 2022

DOI: 10.4236/jamp.2022.105109 129 Downloads 643 Views Citations
Formal Derivation of the Combinatorics Problems with PAR Method (Articles)

Lingyu SUN, Yatian SUN

Journal of Software Engineering and Applications Vol.2 No.3，October 23, 2009

DOI: 10.4236/jsea.2009.23026 7,255 Downloads 10,801 Views Citations
Formally Inferring Galileo Galilei Principle of Relativity of Motion in an Axiomatic System “Sigma+V” from a Triple of Nontrivial Assumptions (Articles)

Vladimir Olegovich Lobovikov

Journal of Applied Mathematics and Physics Vol.10 No.8，August 19, 2022

DOI: 10.4236/jamp.2022.108167 163 Downloads 673 Views Citations
The Commutativity of a *-Ring with Generalized Left *-α-Derivation (Articles)

Ahmet Oğuz Balcı, Neşet Aydin, Selin Türkmen

Advances in Pure Mathematics Vol.8 No.2，February 26, 2018

DOI: 10.4236/apm.2018.82009 911 Downloads 1,914 Views Citations
Reply to “A Simple Derivation of the Lorentz Transformation” (Articles)

Olivier Serret

Journal of Modern Physics Vol.8 No.13，December 20, 2017

DOI: 10.4236/jmp.2017.813132 1,189 Downloads 3,261 Views Citations
This article belongs to the Special Issue on Gravitation, Astrophysics and Cosmology
Nonlinear Jordan Triple Derivations of Triangular Algebras (Articles)

Hongxia Li

Advances in Linear Algebra & Matrix Theory Vol.4 No.4，December 19, 2014

DOI: 10.4236/alamt.2014.44018 3,422 Downloads 4,619 Views Citations
Research on the Product Derivation Method under the Interaction Design Thinking (Articles)

Rong Zhang, Guangwei Liang

World Journal of Engineering and Technology Vol.4 No.3D，October 20, 2016

DOI: 10.4236/wjet.2016.43D020 1,403 Downloads 2,640 Views Citations
Canonical Forms in Arabic: Bilingual Lexicographic Implementations (Articles)

Reem Maghrabi

Open Journal of Modern Linguistics Vol.12 No.1，February 11, 2022

DOI: 10.4236/ojml.2022.121006 230 Downloads 857 Views Citations
Formal Methods for Commercial Applications Issues vs. Solutions (Articles)

Saiqa Bibi, Saira Mazhar, Nasir Mehmood Minhas, Irfan Ahmed

Journal of Software Engineering and Applications Vol.7 No.8，July 22, 2014

DOI: 10.4236/jsea.2014.78062 8,313 Downloads 10,932 Views Citations
An Integration of UML Sequence Diagram with Formal Specification Methods—A Formal Solution Based on Z (Articles)

Nasir Mehmood Minhas, Asad Masood Qazi, Sidra Shahzadi, Shumaila Ghafoor

Journal of Software Engineering and Applications Vol.8 No.8，August 19, 2015

DOI: 10.4236/jsea.2015.88037 6,325 Downloads 8,661 Views Citations
Assessment of Random Recruitment Assumption in Respondent-Driven Sampling in Egocentric Network Data* (Articles)

Hongjie Liu, Jianhua Li, Toan Ha, Jian Li

Social Networking Vol.1 No.2，October 16, 2012

DOI: 10.4236/sn.2012.12002 4,843 Downloads 10,068 Views Citations
Tightly-Secure Authenticated Key Exchange without NAXOS’ Approach Based on Decision Linear Problem (Articles)

Mojahed Mohamed, Xiaofen Wang, Xiaosong Zhang

Open Access Library Journal Vol.3 No.10，October 11, 2016

DOI: 10.4236/oalib.1103033 810 Downloads 1,712 Views Citations
Using Excel to Explore the Effects of Assumption Violations on One-Way Analysis of Variance (ANOVA) Statistical Procedures (Articles)

William Laverty, Ivan Kelly

Open Journal of Statistics Vol.9 No.4，August 13, 2019

DOI: 10.4236/ojs.2019.94031 1,536 Downloads 3,760 Views Citations
This article belongs to the Special Issue on Computational Statistics and Data Analysis
COVID Impact to Equity Margin Loans—A Practical Approach to Measure Risk with the Client Behavior Assumptions (Articles)

Renlong Miao

Journal of Financial Risk Management Vol.11 No.1，March 15, 2022

DOI: 10.4236/jfrm.2022.111007 334 Downloads 1,503 Views Citations
Research on Cheng Yichuan’s “Reading View” and “Classic View” (Articles)

Lei Yi

Open Access Library Journal Vol.9 No.4，April 14, 2022

DOI: 10.4236/oalib.1108583 137 Downloads 648 Views Citations
A Novel Method with Martingale Theory for Phase Noise Analysis in Coherent Optical Communication (Articles)

Chengle Sui, Qiangmin Wang, Shilin Xiao, Pingqing Li

Optics and Photonics Journal Vol.3 No.2B，July 19, 2013

DOI: 10.4236/opj.2013.32B041 3,627 Downloads 5,148 Views Citations
Local Gateway Assisted Handover Key Derivation in Enterprise Femtocell Network (Articles)

Peng Wang, Xiaojuan Zhang

Int'l J. of Communications, Network and System Sciences Vol.8 No.4，April 2, 2015

DOI: 10.4236/ijcns.2015.84009 3,038 Downloads 3,789 Views Citations
Tremendous Development of Functional Inequalities and Cauchy-Jensen Functional Equations with 3k-Variables on Banach Space and Stability Derivation on Fuzzy-Algebras (Articles)

Ly Van An

Open Access Library Journal Vol.11 No.2，February 28, 2024

DOI: 10.4236/oalib.1111241 50 Downloads 296 Views Citations
Implication of Land Regularization in Accessing Credits from Financial Institutions in Tanzania (Articles)

Jane J. Mbilinyi, Abiud L. Kaswamila, Emiliana A. Assenga

Current Urban Studies Vol.10 No.4，November 9, 2022

DOI: 10.4236/cus.2022.104032 240 Downloads 1,311 Views Citations
A Comparative Analysis of Tools for Verification of Security Protocols (Articles)

Nitish Dalal, Jenny Shah, Khushboo Hisaria, Devesh Jinwala

Int'l J. of Communications, Network and System Sciences Vol.3 No.10，October 27, 2010

DOI: 10.4236/ijcns.2010.310104 7,892 Downloads 16,373 Views Citations

<12 3 ...>

	customer@scirp.org
	+86 18163351462(WhatsApp)
	1655362766

	Paper Publishing WeChat

All	Title	Abstract	Keywords
DOI	Author	Journal	Affiliation
ISSN	Subject

	customer@scirp.org
	+86 18163351462(WhatsApp)
	1655362766

	Paper Publishing WeChat

Browse Subjects

Publish with us

Home

About SCIRP

Service

Policies