MATHEMATICAL PROOFS
Experts
- Aggelos Kiayias
- Tobias Nipkow
- Iddo Tzameret
- Murali Sitaraman
- Joan Krone
- Dionysis Zindros
- Christoph Benzmüller
- Gilles Barthe
- Yingxu Wang
- Toniann Pitassi
- Alan Bundy
- Zimu Lu
- Pierre-Yves Strub
- Jason O. Hallstrom
- Weikang Shi
- Tom Gur
- Ron D. Rothblum
- Ke Wang
- Mingjie Zhan
- Helmut Horacek
- Cezary Kaliszyk
- Manfred Kerber
- Lawrence C. Paulson
- Jens Groth
- Albert Atserias
- Sam Buss
- Tsuyoshi Ito
- Noga Ron-Zewi
- Kenneth L. McMillan
- Joachim Neu
- Brigitte Pientka
- David Tse
- Ran Raz
- Peter Gazi
- Scott Aaronson
- Heike Wehrheim
- Thomas A. Henzinger
- Freek Wiedijk
- Benjamin Grégoire
Venues
- CoRR
- IACR Cryptol. ePrint Arch.
- Am. Math. Mon.
- Discret. Math.
- J. Comb. Theory, Ser. A
- Electron. Colloquium Comput. Complex.
- CADE
- Synth.
- Electron. J. Comb.
- Theor. Comput. Sci.
- Ann. Pure Appl. Log.
- STOC
- J. Symb. Log.
- Electron. Notes Theor. Comput. Sci.
- TPHOLs
- Notre Dame J. Formal Log.
- ITP
- Math. Log. Q.
- FOCS
- IEEE Trans. Inf. Theory
- Eur. J. Comb.
- CPP
- J. Autom. Reason.
- IJCAI
- TYPES
- Stud Logica
- CSL
- CogSci
- J. Graph Theory
- J. Comb. Theory, Ser. B
- LPAR
- Proc. ACM Program. Lang.
- Inf. Comput.
- Financial Cryptography Workshops
- J. Log. Comput.
- Rev. Symb. Log.
- LICS
- Ann. Math. Artif. Intell.
- IEEE ICCI
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend