Merge pull request sympy#20472 from oscarbenjamin/pr_authors_17

maint: add authors to the AUTHORS file

.mailmap

@@ -512,3 +512,4 @@ Sudeep Sidhu <sudeepmanilsidhu@gmail.com> sidhu1012 <sudeepmanilsidhu@gmail.com>
 Devesh Sawant <devesh47cool@gmail.com> dsaw <devesh47cool@gmail.com>
 Coder-RG <rgoel1999@gmail.com> Rishabh Goel <rgoel1999@gmail.com>
 Lorenzo Contento <lorenzo.contento@gmail.com> lcontento <lcontento@users.noreply.github.com>
+Naveen Sai <naveensaisreenivas@gmail.com> naveensaigit <naveensaisreenivas@gmail.com>

AUTHORS

@@ -4,7 +4,7 @@ those who explicitly didn't want to be mentioned. People with a * next
 to their names are not found in the metadata of the git history. This
 file is generated automatically by running `./bin/authors_update.py`.
 
-There are a total of 998 authors.
+There are a total of 1002 authors.
 
 Ondřej Čertík <ondrej@certik.cz>
 Fabian Pedregosa <fabian@fseoane.net>
@@ -1004,3 +1004,7 @@ Coder-RG <rgoel1999@gmail.com>
 Ansh Mishra <anshmishra471@gmail.com>
 Alex Malins <github@alexmalins.com>
 Lorenzo Contento <lorenzo.contento@gmail.com>
+Naveen Sai <naveensaisreenivas@gmail.com>
+Shital Mule <shitalmule04@gmail.com>
+Amanda Dsouza <meezamanda@yahoo.com>
+Nijso Beishuizen <nijso@koolmees.numerically-related.com>