×

zbMATH — the first resource for mathematics

Green, Ian

Compute Distance To:
Author ID: green.ian Recent zbMATH articles by "Green, Ian"
Published as: Green, Ian; Green, I.
Documents Indexed: 11 Publications since 1997

Publications by Year

Citations contained in zbMATH Open

7 Publications have been cited 11 times in 9 Documents Cited by Year
On automating diagrammatic proofs of arithmetic arguments. Zbl 0941.03008
Jamnik, Mateja; Bundy, Alan; Green, Ian
4
1999
Poisson ratio effects and critical values in spherical and cylindrical hertzian contacts. Zbl 1195.74126
Green, I.
2
2005
Making a productive use of failure to generate witnesses for coinduction from divergent proof attempts. Zbl 1001.68128
Dennis, L. A.; Bundy, A.; Green, I.
1
2000
On automating diagrammatic proofs of arithmetic arguments. Zbl 1009.68110
Jamnik, Mateja; Bundy, Alan; Green, Ian
1
2002
Planning proofs of equations in CCS. Zbl 1034.68646
Monroy, Raúl; Bundy, Alan; Green, Ian
1
2000
A comparison of decision procedures in Presburger arithmetic. Zbl 1014.03504
Janičić, Predrag; Green, Ian; Bundy, Alan
1
1997
A framework for the flexible integration of a class of decision procedures into theorem provers. Zbl 0941.68122
Janičić, Predrag; Bundy, Alan; Green, Ian
1
1999
Poisson ratio effects and critical values in spherical and cylindrical hertzian contacts. Zbl 1195.74126
Green, I.
2
2005
On automating diagrammatic proofs of arithmetic arguments. Zbl 1009.68110
Jamnik, Mateja; Bundy, Alan; Green, Ian
1
2002
Making a productive use of failure to generate witnesses for coinduction from divergent proof attempts. Zbl 1001.68128
Dennis, L. A.; Bundy, A.; Green, I.
1
2000
Planning proofs of equations in CCS. Zbl 1034.68646
Monroy, Raúl; Bundy, Alan; Green, Ian
1
2000
On automating diagrammatic proofs of arithmetic arguments. Zbl 0941.03008
Jamnik, Mateja; Bundy, Alan; Green, Ian
4
1999
A framework for the flexible integration of a class of decision procedures into theorem provers. Zbl 0941.68122
Janičić, Predrag; Bundy, Alan; Green, Ian
1
1999
A comparison of decision procedures in Presburger arithmetic. Zbl 1014.03504
Janičić, Predrag; Green, Ian; Bundy, Alan
1
1997

Citations by Year