Adventures of a Logician-Engineer: A Journey through Logic, Engineering, Medicine, Biology, and Statistics

Timisoara, Romania September 26-September 29

DOI Bookmark:

http://doi.ieeecomputersociety.org/10.1109/SYNASC.2006.14

Eighth International Symposium on Sym ...

	This Article
	PURCHASE ARTICLE: $0 PDF HTML IEEE Xplore Subscribers
	Share
	Email this Article to a friend
	Bibliographic References
	ASCII Text BibTex RefWorks Procite/RefMan/Endnote
	Add to:
	Digg Furl Spurl Blink Simpy Google Del.icio.us Y!MyWeb
	Search
	Similar Articles Articles by Limsoon Wong

	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

Peer Review Notice | Give Us Feedback

Usage of this product signifies your acceptance of the Terms of Use.