Rajen Dey

According to our database, Rajen Dey authored at least 1 paper in 2022.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2022

Comparative Verification of the Digital Library of Mathematical Functions and Computer Algebra Systems.

André Greiner-Petter, Howard S. Cohl, Abdou Youssef, Moritz Schubotz, Avi Trost, Rajen Dey, Akiko Aizawa, Bela Gipp

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2022