C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Scott Viteri
Publication Activity (10 Years)
Years Active: 2020-2022
Publications (10 Years): 2
Top Topics
Computer Algebra
Theorem Prover
Mathematical Knowledge
Industrial Strength
Top Venues
CoRR
IJCAR
</>
Publications
</>
Haniel Barbosa
,
Andrew Reynolds
,
Gereon Kremer
,
Hanna Lachnitt
,
Aina Niemetz
,
Andres Nötzli
,
Alex Ozdemir
,
Mathias Preiner
,
Arjun Viswanathan
,
Scott Viteri
,
Yoni Zohar
,
Cesare Tinelli
,
Clark W. Barrett
Flexible Proof Production in an Industrial-Strength SMT Solver.
IJCAR
(2022)
Scott Viteri
,
Simon DeDeo
Explosive Proofs of Mathematical Truths.
CoRR
(2020)