loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Eighth International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC'06)
Timisoara, Romania
September 26-September 29
ISBN: 0-7695-2740-X
ASCII Text
x 
 
Limsoon Wong, "Adventures of a Logician-Engineer: A Journey through Logic, Engineering, Medicine, Biology, and Statistics," Symbolic and Numeric Algorithms for Scientific Computing, International Symposium on, pp. 10, Eighth International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC'06), 2006.
 
 
BibTex
x
 
@article{ 10.1109/SYNASC.2006.14,
author = {Limsoon Wong},
title = {Adventures of a Logician-Engineer: A Journey through Logic, Engineering, Medicine, Biology, and Statistics},
journal ={Symbolic and Numeric Algorithms for Scientific Computing, International Symposium on},
volume = {0},
year = {2006},
isbn = {0-7695-2740-X},
pages = {10},
doi = {http://doi.ieeecomputersociety.org/10.1109/SYNASC.2006.14},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Symbolic and Numeric Algorithms for Scientific Computing, International Symposium on
TI - Adventures of a Logician-Engineer: A Journey through Logic, Engineering, Medicine, Biology, and Statistics
SN - 0-7695-2740-X
SP
EP
A1 - Limsoon Wong,
PY - 2006
KW - null
VL - 0
JA - Symbolic and Numeric Algorithms for Scientific Computing, International Symposium on
ER -
 
Limsoon Wong, National University of Singapore, Singapore
Whenever a programmer writes a loop, or a mathematician does a proof by induction, an invariant is involved. The discovery and understanding of invariants often underlies problem solving in many domains. I will discuss here my search for powerful invariants over the past decade.
Citation:
Limsoon Wong, "Adventures of a Logician-Engineer: A Journey through Logic, Engineering, Medicine, Biology, and Statistics," synasc, pp.10, Eighth International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC'06), 2006
Usage of this product signifies your acceptance of the Terms of Use.