Conference
Biform Theories in Chiron
Abstract
An axiomatic theory represents mathematical knowledge declaratively as a set of axioms. An algorithmic theory represents mathematical knowledge procedurally as a set of algorithms. A biform theory is simultaneously an axiomatic theory and an algorithmic theory. It represents mathematical knowledge both declaratively and procedurally. Since the algorithms of algorithmic theories manipulate the syntax of expressions, biform theories—as well as …
Authors
Farmer WM
Series
Lecture Notes in Computer Science
Volume
4573
Pagination
pp. 66-79
Publisher
Springer Nature
Publication Date
2007
DOI
10.1007/978-3-540-73086-6_6
Conference proceedings
Lecture Notes in Computer Science
ISSN
0302-9743