Concepedia

Sergey B Kirpichev

SB

2

Publications

1.7K

Citations

2

H-Index

2017

Active since

Affiliations

Los Alamos National Laboratory(Current)

Sergey B Kirpichev is an author at Los Alamos National Laboratory specializing in computer science, formal methods, and program analysis.

Top concepts

Publications per year

2017–2017

2

Publications

2

SymPy: symbolic computing in Python

Aaron Meurer, Christopher P. Smith, Mateusz Paprocki et al. · PeerJ Computer Science · 2017 · 1.6K citations · Full text

, , +11

mpmath: a Python library for arbitrary-precision floating-point arithmetic

Fredrik Johansson, Vinzent Steinberg, Sergey B Kirpichev et al. · Zenodo (CERN European Organization for Nuclear Research) · 2017 · 119 citations · Full text

Rows per page

1–2 of 2