3
Publications
1.7K
Citations
3
H-Index
2016
Active since
Mateusz Paprocki is an author at Indian Institute of Technology BHU specializing in program analysis, automated reasoning, and formal methods.
Top concepts
EngineeringFormal MethodsComputer ScienceProgram AnalysisAutomated ReasoningRepresentation Theory
Publications per year
2016–2017
3
3
SymPy: symbolic computing in Python
Aaron Meurer, Christopher P. Smith, Mateusz Paprocki et al. · PeerJ Computer Science · 2017 · 1.6K citations · Full text
Symbolic Manipulation, Popular Symbolic Library, Engineering +11
SymPy: Symbolic computing in Python
Aaron Meurer, Christopher P. Smith, Mateusz Paprocki et al. · 2016 · 94 citations · Full text
Symbolic Manipulation, Engineering, Standard Symbolic Library +10
SymPy: Symbolic computing in Python
Aaron Meurer, Christopher P. Smith, Mateusz Paprocki et al. · 2016 · 27 citations · Full text
Symbolic Manipulation, Engineering, Standard Symbolic Library +10
Rows per page
1–3 of 3