Search Result "mathematical proof"
Patenting Logic, Mathematics or Logarithms? The Case of Computer-Assisted Proofs
Journal: Recent Patents on Computer Science
Volume: 4 Issue: 1 Year: 2011 Page: 66-70
Author(s): Jordi Vallverdu
Mathematical Preliminaries
Ebook: Field, Force, Energy and Momentum in Classical Electrodynamics (Revised Edition)
Volume: 1 Year: 2017
Author(s): Masud Mansuripur
Doi: 10.2174/9781681085562117010006
The Mathematics of the Grand Unified Theory
Ebook: Scientific Natural Philosophy
Volume: 1 Year: 2011
Author(s): E. E. Escultura
Doi: 10.2174/978160805178611101010010
Philosophical Foundations of Mathematics and Physics
Ebook: Scientific Natural Philosophy
Volume: 1 Year: 2011
Author(s): E. E. Escultura
Doi: 10.2174/978160805178611101010003
Why so Few Drug Targets: A Mathematical Explanation?
Journal: Current Computer-Aided Drug Design
Volume: 7 Issue: 3 Year: 2011 Page: 206-213
Author(s): Kyaw Tun, Marta Menghini, Lina DAndrea, Pawan Dhar, Hiroshi Tanaka, Alessandro Giuliani
Mathematical Models and Numerical Schemes for the Simulation of Human Phonation
Journal: Current Bioinformatics
Volume: 6 Issue: 3 Year: 2011 Page: 323-343
Author(s): Fariborz Alipour, Christoph Brucker, Douglas D. Cook, Andreas Gommel, Manfred Kaltenbacher, Willy Mattheus, Luc Mongeau, Eric Nauman, Rudiger Schwarze, Isao Tokuda, Stefan Zorner
Liutex â A New Mathematical Definition of Vortex and Vorticity Decomposition for Turbulence Research
Ebook: Current Developments in Mathematical Sciences
Volume: 2 Year: 2020
Author(s): Chaoqun Liu,Yisheng Gao,Yifei Yu
Doi: 10.2174/9789811437601120020003
Mathematics and Examples of the Modern Syllogistic Method of Propositional Logic
Ebook: Frontiers in Information Systems
Volume: 2 Year: 2018
Author(s): Ali Muhammad Rushdi,Muhammad Ali Rushdi
Doi: 10.2174/9781681087139118020011
A Mathematical Description of Artificial Neural Networks
Ebook: Artificial Intelligence: Models, Algorithms and Applications
Volume: 1 Year: 2021
Author(s): Hans Birger Drange
Doi: 10.2174/9781681088266121010010
Mathematical Models for Digital Imaging and their Applications in Digital Image Forensics
Ebook: Frontiers in Information Systems
Volume: 2 Year: 2018
Author(s): Hemant K. Verma,Vinay Verma,Nitin Khanna
Doi: 10.2174/9781681087139118020009