Login
Login
切换导航
Home
Articles
Journals
Books
News
About
Services
Submit
Home
Journal
Articles
Journals A-Z
Browse Subjects
Biomedical & Life Sci.
Business & Economics
Chemistry & Materials Sci.
Computer Sci. & Commun.
Earth & Environmental Sci.
Engineering
Medicine & Healthcare
Physics & Mathematics
Social Sci. & Humanities
Browse Subjects
Biomedical & Life Sciences
Business & Economics
Chemistry & Materials Science
Computer Science & Communications
Earth & Environmental Sciences
Engineering
Medicine & Healthcare
Physics & Mathematics
Social Sciences & Humanities
Publish with us
Paper Submission
Information for Authors
Peer-Review Resources
Open Special Issues
Open Access Statement
Frequently Asked Questions
Publish with us
Paper Submission
Information for Authors
Peer-Review Resources
Open Special Issues
Open Access Statement
Frequently Asked Questions
Follow SCIRP
Contact us
+1 323-425-8868
customer@scirp.org
+86 18163351462(WhatsApp)
1655362766
Paper Publishing WeChat
Complete Matching
Editorial Board
Show/Hide Options
Show/Hide Options
All
Title
Abstract
Keywords
DOI
Author
Journal
Affiliation
ISSN
Subject
A Mathematical Comparison of the Schwarzschild and Kerr Metrics
(Articles)
J.-F. Pommaret
Journal of Modern Physics
Vol.11 No.10
,October 26, 2020
DOI:
10.4236/jmp.2020.1110104
395
Downloads
1,153
Views
Citations
Minimum Resolution of the Minkowski, Schwarzschild and Kerr Differential Modules
(Articles)
J.-F. Pommaret
Journal of Modern Physics
Vol.13 No.4
,April 29, 2022
DOI:
10.4236/jmp.2022.134036
101
Downloads
488
Views
Citations
This article belongs to the Special Issue on
Field Theory
Generating Compatibility Conditions and General Relativity
(Articles)
J.-F. Pommaret
Journal of Modern Physics
Vol.10 No.3
,March 14, 2019
DOI:
10.4236/jmp.2019.103025
734
Downloads
1,408
Views
Citations
This article belongs to the Special Issue on
Astrophysics, Cosmology and Gravitation
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,125
Downloads
13,326
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
5,966
Downloads
9,437
Views
Citations
A Note on the Lie Algebra of the Invariants in the CBS Nonlinear Equation
(Articles)
Jose M. Cerveró
Journal of Modern Physics
Vol.9 No.6
,May 25, 2018
DOI:
10.4236/jmp.2018.96078
621
Downloads
1,186
Views
Citations
This article belongs to the Special Issue on
Symmetry and Relativity Research
Integrability of Hamiltonian Systems with Two Degrees of Freedom and Homogenous Potential of Degree Zero
(Articles)
Jaume Llibre
,
Claudia Valls
Journal of Applied Mathematics and Physics
Vol.6 No.11
,November 12, 2018
DOI:
10.4236/jamp.2018.611184
946
Downloads
1,933
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
146
Downloads
928
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,637
Downloads
16,330
Views
Citations
Formal Inferring the Law of Conservation of Energy from Assuming A-Priori-ness of Knowledge in a Formal Axiomatic Epistemology System Sigma
(Articles)
Vladimir O. Lobovikov
Journal of Applied Mathematics and Physics
Vol.9 No.5
,May 26, 2021
DOI:
10.4236/jamp.2021.95070
185
Downloads
629
Views
Citations
On Integrability of Fully Rheonomous Affine Constraints
(Articles)
Tatsuya Kai
Int'l J. of Modern Nonlinear Theory and Application
Vol.2 No.2
,June 18, 2013
DOI:
10.4236/ijmnta.2013.22016
4,239
Downloads
6,431
Views
Citations
An Integrating Algorithm and Theoretical Analysis for Fully Rheonomous Affine Constraints: Completely Integrable Case
(Articles)
Tatsuya Kai
Applied Mathematics
Vol.4 No.12
,December 25, 2013
DOI:
10.4236/am.2013.412235
4,083
Downloads
5,363
Views
Citations
Partial Integrability Conditions and an Integrating Algorithm for Fully Rheonomous Affine Constraints
(Articles)
Tatsuya Kai
Circuits and Systems
Vol.5 No.6
,June 13, 2014
DOI:
10.4236/cs.2014.56015
3,900
Downloads
4,759
Views
Citations
The Study on the Phase Structure of the Paul Trap System
(Articles)
Jaouad Kharbach
,
Mohamed Benkhali
,
Mohamed Benmalek
,
Ahmed Sali
,
Abdellah Rezzouk
,
Mohammed Ouazzani-Jamil
Applied Mathematics
Vol.8 No.4
,April 28, 2017
DOI:
10.4236/am.2017.84042
1,158
Downloads
1,956
Views
Citations
Hidden Properties of Mathematical Physics Equations. Double Solutions. The Realization of Integrable Structures. Emergence of Physical Structures and Observable Formations
(Articles)
L. I. Petrova
Journal of Applied Mathematics and Physics
Vol.8 No.7
,July 9, 2020
DOI:
10.4236/jamp.2020.87095
377
Downloads
999
Views
Citations
Discrete Quantum Transitions, Duality: Emergence of Physical Structures and Occurrence of Observed Formations (Hidden Properties of Mathematical Physics Equations)
(Articles)
Ludmila Petrova
Journal of Applied Mathematics and Physics
Vol.8 No.9
,September 23, 2020
DOI:
10.4236/jamp.2020.89144
261
Downloads
778
Views
Citations
This article belongs to the Special Issue on
Quantum Mathematics and Its Applications
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,144
Downloads
10,702
Views
Citations
Integrating Formal Methods in XP—A Conceptual Solution
(Articles)
Shagufta Shafiq
,
Nasir Mehmood Minhas
Journal of Software Engineering and Applications
Vol.7 No.4
,April 17, 2014
DOI:
10.4236/jsea.2014.74029
5,359
Downloads
7,829
Views
Citations
Formal Verification of Robertson-Type Uncertainty Relation
(Articles)
Takaaki Masuhara
,
Toru Kuriyama
,
Masakazu Yoshida
,
Jun Cheng
Journal of Quantum Information Science
Vol.5 No.2
,June 11, 2015
DOI:
10.4236/jqis.2015.52008
3,384
Downloads
4,366
Views
Citations
Gender Differences in Formal Thinking: Their Impact on Right-Wing Authoritarianism and Religious Fundamentalism
(Articles)
K. Robert Bridges
,
Richard J. Harnish
Psychology
Vol.6 No.13
,October 19, 2015
DOI:
10.4236/psych.2015.613164
4,115
Downloads
5,850
Views
Citations
<
1
2
3
...
>
Follow SCIRP
Contact us
+1 323-425-8868
customer@scirp.org
+86 18163351462(WhatsApp)
1655362766
Paper Publishing WeChat
Free SCIRP Newsletters
Home
Journals A-Z
Subject
Books
Sitemap
Contact Us
About SCIRP
Publication Fees
For Authors
Peer-Review Issues
Special Issues
News
Service
Manuscript Tracking System
Subscription
Translation & Proofreading
FAQ
Volume & Issue
Policies
Open Access
Publication Ethics
Preservation
Retraction
Privacy Policy
Copyright © 2006-2024 Scientific Research Publishing Inc. All Rights Reserved.
Top