# Garry Pantelis

According to our database

Collaborative distances:

^{1}, Garry Pantelis authored at least 6 papers between 2004 and 2018.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2018

Programs as the Language of Science.

CoRR, 2018

2015

A Formal System: Rigorous Constructions of Computer Models.

CoRR, 2015

2014

Program Verification of Numerical Computation - Part 2.

CoRR, 2014

Program Verification of Numerical Computation.

CoRR, 2014

2009

Scale dependent equations of motion of an ideal fluid.

Appl. Math. Lett., 2009

2004

Modelling nonlinear systemsby scale considerations.

Mathematical and Computer Modelling, 2004