1 citations · 1 across the 5 of their papers we have counts for
5 papers
Programs as the Language of Science
Garry Pantelis
Currently it is widely accepted that the language of science is mathematics. This book explores an alternative idea where the future of science is based on the language of algorith…
A Formal System: Rigorous Constructions of Computer Models
Garry Pantelis
This book explores an alternative to the current dominant paradigm where a discrete computer model is constructed as an attempt to approximate some continuum theory. We focus on a…
Program Verification of Numerical Computation - Part 2
Garry Pantelis
These notes present some extensions of a formal method introduced in an earlier paper. The formal method is designed as a tool for program verification of numerical computation and…
Program Verification of Numerical Computation
Garry Pantelis
These notes outline a formal method for program verification of numerical computation. It forms the basis of the software package VPC in its initial phase of development. Much of t…
Nonlinear PDEs and Scale Dependence
Garry Pantelis
The properties of nonlinear PDEs that generate filtered solutions are explored with particular attention given to the constraints on the residual term. The analysis is carried out…