Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Ian Green
Searching for a Solution to Program Verification=Equation Solving in CCS
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
A Python Program for Solving Schrödinger’s Equation in Undergraduate Physical Chemistry
Journal of Chemical Education
Chemistry
Education
Numerical Matrix Method for Solving Stationary One-Dimensional Schrödinger Equation. Amsse Program
Computational Methods in Science and Technology
A Practical Method for Solving Hill’s Equation
Quarterly of Applied Mathematics
Applied Mathematics
An Extended Corresponding States Equation of State (EoS) for CCS Industry
Chemical Engineering Science
Applied Mathematics
Chemistry
Chemical Engineering
Manufacturing Engineering
Industrial
A Metric for Testing Program Verification Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Tabled Prolog Program for Solving Sokoban
Fundamenta Informaticae
Information Systems
Algebra
Number Theory
Mathematics
Computational Theory
Theoretical Computer Science
Trial Equation Method for Solving the Improved Boussinesq Equation
Advances in Pure Mathematics
Convergence for a Vortex Method for Solving Euler’s Equation
Mathematics of Computation
Computational Mathematics
Applied Mathematics
Number Theory
Algebra
A Tabled Prolog Program for Solving Sokoban
