1 citations · 1 across the 5 of their papers we have counts for
Showing cs.LOShow all
3 papers · 1 filter
cs.LO2018
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…
cs.LO2015
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…
cs.LO2014
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…