Rajen Dey

Publication Activity (10 Years)

Years Active: 2022-2022
Publications (10 Years): 2

Top Topics

Particle Swarm Optimisation

Natural Language

Computer Algebra

Top Venues

Publications

André Greiner-Petter, Howard S. Cohl, Abdou Youssef, Moritz Schubotz, Avi Trost, Rajen Dey, Akiko Aizawa, Bela Gipp
Comparative Verification of the Digital Library of Mathematical Functions and Computer Algebra Systems. CoRR (2022)
André Greiner-Petter, Howard S. Cohl, Abdou Youssef, Moritz Schubotz, Avi Trost, Rajen Dey, Akiko Aizawa, Bela Gipp
Comparative Verification of the Digital Library of Mathematical Functions and Computer Algebra Systems. TACAS (1) (2022)