Raymond Boute

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
A precise and reliable multivariable chain rule SIAM Review	2021-11-05	Paper
Correction to 'Representational and denotational semantics of digital systems' IEEE Transactions on Computers	2018-09-14	Paper
Why mathematics needs engineering Journal of Logical and Algebraic Methods in Programming	2016-12-15	Paper
How to calculate proofs: bridging the cultural divide Notices of the American Mathematical Society	2014-04-15	Paper
The brachistochrone problem solved geometrically: a very elementary approach Mathematics Magazine	2013-04-08	Paper
Pointfree expression and calculation: From quantification to temporal logic Formal Methods in System Design	2011-03-31	Paper
Moving a Rectangle around a Corner: Geometrically The American Mathematical Monthly	2005-02-28	Paper
scientific article; zbMATH DE number 2100546 (Why is no real title available?)	2004-09-14	Paper
Zeroless Positional Number Representation and String Ordering American Mathematical Monthly	2001-11-26	Paper
Representational and denotational semantics of digital systems IEEE Transactions on Computers	1989-01-01	Paper
System Semantics and formal circuit description IEEE Transactions on Circuits and Systems	1986-01-01	Paper
scientific article; zbMATH DE number 3993456 (Why is no real title available?)	1986-01-01	Paper
scientific article; zbMATH DE number 3827191 (Why is no real title available?)	1984-01-01	Paper
Optimal and Near-Optimal Checking Experiments for Output Faults in Sequential Machines IEEE Transactions on Computers	1974-01-01	Paper
Property Encoding: Application in Binary Picture Encoding and Boundary Following IEEE Transactions on Computers	1972-01-01	Paper

Research outcomes over time

This page was built for person: Raymond Boute