Marcin Acewicz

Publication Activity (10 Years)

Years Active: 2017-2018
Publications (10 Years): 3

Top Topics

Polynomial Equations

Numerical Solution

Temporal Relations

Top Venues

Formaliz. Math.

Publications

Marcin Acewicz, Karol Pak
Basic Diophantine Relations. Formaliz. Math. 26 (2) (2018)
Marcin Acewicz, Karol Pak
Formalization of Pell's Equations in the Mizar System. FedCSIS (2017)
Marcin Acewicz, Karol Pak
Pell's Equation. Formaliz. Math. 25 (3) (2017)