Raymond Boute

Available identifiers

zbMath Open boute.raymond-tMaRDI QIDQ633282

List of research outcomes

Publication	Date of Publication	Type
A Precise and Reliable Multivariable Chain Rule	2021-11-05	Paper
Correction to 'Representational and denotational semantics of digital systems'	2018-09-14	Paper
Why mathematics needs engineering	2016-12-15	Paper
How to Calculate Proofs: Bridging the Cultural Divide	2014-04-15	Paper
The Brachistochrone Problem Solved Geometrically: A Very Elementary Approach	2013-04-08	Paper
Pointfree expression and calculation: From quantification to temporal logic	2011-03-31	Paper
Moving a Rectangle around a Corner: Geometrically	2005-02-28	Paper
https://portal.mardi4nfdi.de/entity/Q4817000	2004-09-14	Paper
Zeroless Positional Number Representation and String Ordering	2001-11-26	Paper
Representational and denotational semantics of digital systems	1989-01-01	Paper
System Semantics and formal circuit description	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4721962	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3673091	1984-01-01	Paper
Optimal and Near-Optimal Checking Experiments for Output Faults in Sequential Machines	1974-01-01	Paper
Property Encoding: Application in Binary Picture Encoding and Boundary Following	1972-01-01	Paper

Research outcomes over time

This page was built for person: Raymond Boute