5510 search results - page 179 / 1102 » Mathematics |
144
click to vote
MKM
2007
Springer
15 years 10 months ago
2007
Springer
An axiomatic theory represents mathematical knowledge declaratively as a set of axioms. An algorithmic theory represents mathematical knowledge procedurally as a set of algorithms....
117
click to vote
ISCAS
2006
IEEE
15 years 10 months ago
2006
IEEE
In this paper a 173-bit type II ONB ECC processor Section II introduces the mathematical backgrounds for for inductive RFID applications is described. Compared with curve operation...
133
click to vote
IJVR
2008
15 years 4 months ago
2008
When culture is integrated into the mathematics classroom, it improves students' academic achievement [3], helps move classrooms towards an equitable learning environment [30]...
99
Voted
JAR
2002
15 years 3 months ago
2002
Abstract. This paper reports on the Mizar formalization of the theory of continuous lattices as presented in A Compendium of Continuous Lattices, [25]. By the Mizar formalization w...
159
click to vote
MICS
2008
15 years 3 months ago
2008
Mizar is a proof assistant used for formalization and mechanical verification of mathematics. The main use of Mizar is in the development of the Mizar Mathematical Library (MML), i...