Evgeny Makarov

According to our database, Evgeny Makarov authored at least 5 papers between 1997 and 2018.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2018

Characterisation and comparison of spatial patterns in urban systems: A case study of U.S. cities.

Hoai Nguyen Huynh, Evgeny Makarov, Erika Fille T. Legara, Christopher P. Monterola, Lock Yue Chew

J. Comput. Sci., 2018

2013

The Picard Algorithm for Ordinary Differential Equations in Coq.

Evgeny Makarov, Bas Spitters

Proceedings of the Interactive Theorem Proving - 4th International Conference, 2013

2011

Provably Total Functions of Arithmetic with Basic Terms

Evgeny Makarov

Proceedings of the Proceedings Second Workshop on Developments in Implicit Computational Complexity, 2011

Generating displacement from normal map for use in 3D games.

Kirill Dmitriev, Evgeny Makarov

Proceedings of the International Conference on Computer Graphics and Interactive Techniques, 2011

1997

A Proof Procedure for Hereditary Harrop Formulas with Free Equality.

Evgeny Makarov

Proceedings of the Logical Foundations of Computer Science, 4th International Symposium, 1997