5510 search results - page 179 / 1102 » Mathematics |
192
Voted
MKM
2007
Springer
16 years 1 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....
164
click to vote
ISCAS
2006
IEEE
16 years 1 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...
176
click to vote
IJVR
2008
15 years 7 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]...
136
Voted
JAR
2002
15 years 6 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...
205
click to vote
MICS
2008
15 years 6 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...