×

ROBBINS

swMATH ID: 11649
Software Authors: Zeilberger, Doron
Description: ROBBINS, a Maple package accompanying my paper ”Proof of the alternating sign matrix conjecture” It empirically verifies every non-trivial statement in the (structured) proof.
Homepage: http://www.math.rutgers.edu/~zeilberg/programs.html
Dependencies: Maple
Keywords: alternating sign matrix conjecture; conjecture by Mills; Robbins; and Rumsey
Related Software: SageMath; OEIS; Sage-Combinat; DODGSON; rabbit; CoCalc; SF; WalkCarefully; QuarterPlane; OneDimWalks; HalfLine; LinearSystemSolver; Guess.m; Walks; HYP; GuessRat; GoodDyson; qTSPP; bs3np; CLD
Referenced in: 108 Publications

Standard Articles

1 Publication describing the Software, including 1 Publication in zbMATH Year
Proof of the alternating sign matrix conjecture. Zbl 0858.05023
Zeilberger, Doron
1996
all top 5

Referenced by 99 Authors

17 Fischer, Ilse
8 Striker, Jessica
7 Pronko, Andrei G.
6 Colomo, Filippo
5 Behrend, Roger E.
5 Brualdi, Richard Anthony
4 Di Francesco, Philippe
4 Sportiello, Andrea
3 Aigner, Florian
3 Ayyer, Arvind
3 Cantini, Luigi
3 Hietala, Linnea
3 Konvalinka, Matjaž
3 Nadeau, Philippe
3 Romik, Dan
3 Rosengren, Hjalmar
3 Xin, Guoce
2 Abeles, Francine F.
2 Beil, Sabine
2 Biane, Philippe
2 Bleher, Pavel M.
2 Bousquet-Mélou, Mireille
2 Egorychev, Georgiǐ Petrovich
2 Engbers, John
2 Hamel, Angèle M.
2 Hammett, Adam
2 Höngesberg, Hans
2 King, Ronald C.
2 Moll, Victor Hugo
2 Riegler, Lukas
2 Schroeder, Michael William
2 Solhjem, Sara
2 Zeilberger, Doron
2 Zinn-Justin, Paul
1 Aggarwal, Amol
1 Agratini, Octavian
1 Aval, Jean-Christophe
1 Bergeron, François
1 Beyerstedt, Erin J.
1 Brak, Richard
1 Bressoud, David M.
1 Buciumas, Valentin
1 Cai, Jin-Yi
1 Cheballah, Hayat
1 Ciucu, Mihai
1 Cori, Robert
1 Dahl, Geir
1 de Gier, Jan
1 Debin, Bryan
1 Dilks, Kevin
1 Duchon, Philippe
1 Eisenkölbl, Theresia
1 Fokin, Vladimir V.
1 Fu, Houshan
1 Fu, Zhiguo
1 Galleas, Wellington
1 Garsia, Adriano M.
1 Gorin, Vadim
1 Goulden, Ian P.
1 Gouyou-Beauchamps, Dominique
1 Guitter, Emmanuel
1 Habsieger, Laurent
1 Hagendorf, Christian
1 Heuer, Dylan
1 Jackson, David M.
1 Jennings, Kevin
1 Kalantari, Bahman
1 Kapitonov, V. S.
1 Karklinsky, Matan
1 Kiernan, Kathleen P.
1 Kim, Hwa Kyung
1 Lalonde, Pierre
1 Lapa, Matthew F.
1 Leven, Emily Sergel
1 Liechty, Karl
1 Lu, Jia
1 Lubetzky, Eyal
1 Martinelli, Fabio
1 Meyer, Seth A.
1 Minin, Mikhail D.
1 Mitra, Saibal
1 Morrow, Chelsey
1 Noteboom, Ben
1 O’Brien, Cian
1 Okada, Soichi
1 Panova, Greta
1 Pechenik, Oliver
1 Quinlan, Rachel
1 Ruelle, Philippe
1 Saikia, Manjil P.
1 Scrimshaw, Travis
1 Shao, Shuai
1 Sly, Allan
1 Sun, Xinyu
1 Tewari, Vasu V.
1 Vorland, Corey
1 Weigandt, Anna E.
1 Yao, Olivia Xiang Mei
1 Zhou, Yue

Referencing Publications by Year