Journals
Books
Articles by keyword rational numbers
Attempt to systematically construct objects to represent basic mathematical concepts in combinatorial logic

R.V. Dushkin¹

¹OOO "A-Ya ekspert" (Moscow, Russia)

²National Research Nuclear University MEPhI (Moscow, Russia) ¹drv@aia.expert

Implementation of floating-point arithmetic with adjustable mantissa length in the HomeLisp system

B.L. Faifel¹

¹Yuri Gagarin State Technical University of Saratov (Saratov, Russia)

¹catstail@ya.ru