2086 search results - page 3 / 418 » Mathematical Theory Exploration |
ISIPTA
1999
IEEE
13 years 11 months ago
1999
IEEE
JAPLL
2006
13 years 7 months ago
2006
For twenty years the Nuprl ("new pearl") system has been used to develop software systems and formal theories of computational mathematics. It has also been used to expl...
FM
2001
Springer
13 years 12 months ago
2001
Springer
The Irish School of Constructive Mathematics (M♣ c ), which extends the VDM, exploits an algebraic notation based upon monoids and their morphisms for the purposes of abstract mo...
LOGCOM
2008
13 years 7 months ago
2008
We investigate mathematical modelling with theories of data types. We provide a formal setting for the formulation of such theories (TPL) and use it to introduce the notion of a c...
BRAIN
2010
Springer
13 years 8 months ago
2010
Springer
Cognitive informatics studies the natural intelligence and the brain from a theoretical and a computational approach, which rigorously explains the ms of the brain by a fundamental...