Concepedia

Author

Mateusz Paprocki

Indian Institute of Technology BHU

Also Known As

Ivanov, Sergiu, Mateusz Paprocki, Paprocki, Mateusz

15

Publications

1.7K

Citations

4

H-Index

6

Concepts

All Affiliations

Indian Institute of Technology BHUIndian Institute of Technology KharagpurUniversity of California, DavisUniversity of New MexicoBanaras Hindu University
MP

About

Mateusz Paprocki is an author at Indian Institute of Technology BHU specializing in program analysis, automated reasoning, and formal methods.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

3

3

1.7K

2

Computer Science

3

3

1.7K

3

Automated Reasoning

3

3

1.7K

4

Formal Methods

3

3

1.7K

5

Program Analysis

3

3

1.7K

Mateusz Paprocki

×

3

Publications

1.7K

Citations

3

H-Index

YearCitations

SymPy: symbolic computing in Python

Aaron Meurer, Christopher P. Smith, Mateusz Paprocki,

PeerJ Computer Science

2017

1.6K

SymPy: Symbolic computing in Python

Aaron Meurer, Christopher P. Smith, Mateusz Paprocki,

2016

94

SymPy: Symbolic computing in Python

Aaron Meurer, Christopher P. Smith, Mateusz Paprocki,

2016

27

Page 1