COMPUTER ALGEBRA
Experts
- George Voutsadakis
- Sergei A. Abramov
- Eugenio Roanes-Lozano
- Jacques Calmet
- Dmitry S. Kulyabov
- Lawrence C. Paulson
- Anna V. Korolkova
- Josef Urban
- Johann Schumann
- David R. Stoutemyer
- Ilias S. Kotsireas
- Sam Sanders
- Davide Sangiorgi
- André Greiner-Petter
- Carsten Schneider
- Andrei Voronkov
- Frédéric Blanqui
- Christoph Benzmüller
- Daniel Hirschkoff
- Heinz Kredel
- Mark E. Stickel
- Nobuko Yoshida
- Vijay Ganesh
- Moritz Schubotz
- Michael J. Wester
- V. A. Rostovtsev
- Stepan L. Kuznetsov
- Ursula Martin
- Jeffry L. Hirst
- Cezary Kaliszyk
- Victor F. Edneral
- Alexander N. Prokopenya
- Manfred Kerber
- Richard J. Fateman
- James H. Davenport
- Roberto M. Amadio
- Vladimir P. Gerdt
- Ugo Montanari
- Volker Sorge
Venues
- CoRR
- J. Symb. Log.
- CADE
- J. Symb. Comput.
- ACM Commun. Comput. Algebra
- SIGSAM Bull.
- Am. Math. Mon.
- Theor. Comput. Sci.
- Program. Comput. Softw.
- CASC
- ISSAC
- Notre Dame J. Formal Log.
- Electron. Notes Theor. Comput. Sci.
- Stud Logica
- Synth.
- Bull. Symb. Log.
- J. Autom. Reason.
- Math. Log. Q.
- Log. J. IGPL
- J. Log. Comput.
- SIGACT News
- Appl. Math. Comput.
- Ann. Pure Appl. Log.
- Fundam. Informaticae
- LICS
- DISCO
- CONCUR
- TABLEAUX
- Math. Comput. Sci.
- CSL
- IJCAI
- Log. Methods Comput. Sci.
- Inf. Comput.
- EUROCAL
- J. Philos. Log.
- TPHOLs
- J. Log. Algebraic Methods Program.
- LPAR
- Math. Struct. Comput. Sci.
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend