COMPUTER ALGEBRA SYSTEMS
Experts
- Sergei A. Abramov
- Eugenio Roanes-Lozano
- Jacques Calmet
- André Greiner-Petter
- David R. Stoutemyer
- Moritz Schubotz
- V. A. Rostovtsev
- Ilias S. Kotsireas
- Richard J. Fateman
- Manfred Kerber
- Anna V. Korolkova
- Victor F. Edneral
- Howard S. Cohl
- Dmitry S. Kulyabov
- Vijay Ganesh
- Carsten Schneider
- Jeremy R. Johnson
- Heinz Kredel
- Manuel Kauers
- Bruce W. Char
- Michael J. Wester
- James H. Davenport
- Alla A. Bogolubskaya
- Armin Biere
- Rolf Drechsler
- Volker Sorge
- Lawrence C. Paulson
- Curtis Bright
- Daniel Große
- Alexander N. Prokopenya
- Steve Linton
- Gert-Martin Greuel
- Bela Gipp
- Johannes Blümlein
- Robert M. Corless
- Alexander P. Kryukov
- Priyank Kalla
- Karsten Homann
- Alireza Mahzoon
Venues
- CoRR
- J. Symb. Comput.
- ACM Commun. Comput. Algebra
- SIGSAM Bull.
- CASC
- Program. Comput. Softw.
- ISSAC
- CADE
- DISCO
- EUROCAL
- AISC
- Math. Comput. Simul.
- Math. Comput. Sci.
- Comput. Phys. Commun.
- ICMS
- SYMSAC
- J. Autom. Reason.
- Am. Math. Mon.
- TPHOLs
- AAAI
- IJCAI
- CICM Workshops
- Appl. Math. Comput.
- IJCAR
- International Conference on Computational Science
- Ann. Math. Artif. Intell.
- European Conference on Computer Algebra (2)
- LPAR
- SIGCSE
- Calculemus/MKM
- SIGACT News
- Complex.
- Comput. Sci. J. Moldova
- FMCAD
- Notre Dame J. Formal Log.
- IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
- Theor. Comput. Sci.
- TABLEAUX
- PASCO
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend