EasyChair Smart SlideDocs/Log in
Conference: ISSAC'23 (International Symposium on Symbolic and Algebraic Computation)

This page shows all presentations from this conference published in EasyChair Smart Slide.

An Effective Description of the Roots of Multivariates Mod P^K and the Related Igusa'S Local Zeta Function

An Effective Description of the Roots of Multivariates Mod P^K and the Related Igusa'S Local Zeta Function

Sayak Chakrabarti and Nitin Saxena

Deciding First-Order Formulas Involving Univariate Mixed Trigonometric-Polynomials

Deciding First-Order Formulas Involving Univariate Mixed Trigonometric-Polynomials

Rizeng Chen and Bican Xia

Presentations in this collection: 2
Copyright © 2002 – 2024 EasyChair