Commutative Algebra in the Mizar System

Segments of Natural Numbers and Finite Sequences

Grzegorz Bancerek, Krzysztof Hryniewiecki · 1990 · 421 citations

Natural Sciences, Computer Science, Mathematics +5

AXIOM: the scientific computation system

Choice Reviews Online · 1993 · 240 citations

Computing, Computer Science, Mathematics +16

Vectors in Real Linear Space

Wojciech A. Trybulec · 1990 · 207 citations

Natural Sciences, Mathematics, Algebra +4

THE MATHEMATICS OF METAMATHEMATICS

G. T. Kneebone · Journal of the London Mathematical Society · 1966 · 196 citations

Natural Sciences, Mathematics, Algebra +1

A Mathematical Model of CPU

Yatsuka Nakamura, Andrzej Trybulec · 1992 · 78 citations

Engineering, Computer Engineering, Computer Science +15