AUTOMATED THEOREM PROVERS
Experts
- Sergei A. Abramov
- Eugenio Roanes-Lozano
- Victor F. Edneral
- V. A. Rostovtsev
- David R. Stoutemyer
- Pascal Lafourcade
- Yassine Lakhnech
- Xiao-Shan Gao
- Shang-Ching Chou
- Lawrence C. Paulson
- Christoph Benzmüller
- Jeremy R. Johnson
- Jing-Zhong Zhang
- Carsten Schneider
- Alla A. Bogolubskaya
- Xavier Urbain
- Olga Caprotti
- Martin Gagné
- Armin Biere
- Bruno Buchberger
- Gert-Martin Greuel
- Hans Schönemann
- Jürgen Giesl
- Michael J. Wester
- Johannes Blümlein
- Jingde Cheng
- Dionysis Zindros
- Pierre Courtieu
- Cliff B. Jones
- Gerhard Pfister
- Iddo Tzameret
- Vitaly Rostovtsev
- Baltasar Trancón y Widemann
- Siau-Cheng Khoo
- Ton Chanh Le
- Guy N. Rothblum
- Evelyne Contejean
- Agata Ciabattoni
- Dmitry S. Kulyabov
Venues
- CoRR
- ACM Commun. Comput. Algebra
- J. Symb. Comput.
- SIGSAM Bull.
- CASC
- Program. Comput. Softw.
- IACR Cryptol. ePrint Arch.
- ISSAC
- J. Autom. Reason.
- EUROCAL
- CADE
- Am. Math. Mon.
- DISCO
- Math. Comput. Simul.
- RTA
- LPAR
- Synth.
- Electron. Colloquium Comput. Complex.
- Ann. Math. Artif. Intell.
- Comput. Phys. Commun.
- Math. Comput. Sci.
- Ann. Pure Appl. Log.
- Theor. Comput. Sci.
- Notre Dame J. Formal Log.
- FroCoS
- Comput. Sci. J. Moldova
- Bull. EATCS
- Software Engineering
- AISC
- CSL
- Fundam. Informaticae
- IJCAR
- Calculemus/MKM
- Automated Deduction in Geometry
- International Conference on Computational Science
- CPP
- Comput. Sci. Eng.
- POPL
- SIGACT News
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend