Login / Signup
Yvette Zonn
Publication Activity (10 Years)
Years Active: 2019-2023
Publications (10 Years): 3
Top Topics
Theorem Prover
Program Committee
Selected Papers
Annual Conference
Top Venues
ACM Commun. Comput. Algebra
</>
Publications
</>
Sergei A. Abramov
,
Alexander B. Batkhin
,
Anna A. Ryabenko
,
Leonid A. Sevastianov
,
Yvette Zonn
,
Min Wu
The Fifth Conference "Computer Algebra" in Moscow.
ACM Commun. Comput. Algebra
57 (2) (2023)
Sergei A. Abramov
,
Anna A. Ryabenko
,
Leonid A. Sevastianov
,
Yvette Zonn
,
Min Wu
The fourth conference "computer algebra" in Moscow.
ACM Commun. Comput. Algebra
55 (2) (2021)
Sergei A. Abramov
,
Anna A. Ryabenko
,
Leonid A. Sevastianov
,
Min Wu
,
Yvette Zonn
The conference "computer algebra" in Moscow.
ACM Commun. Comput. Algebra
53 (2) (2019)