Elena Kartashova

According to our database, Elena Kartashova authored at least 3 papers between 2005 and 2017.

Collaborative distances:

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

2017

LexInfo as a Model for Creating Ontology-Based Dictionary of Russian Grammatical Forms.

Ksenia Balysheva, Elena Kartashova, Konstantin Kondratiev, Aleksey Mikheev

Proceedings of the LDK 2017 Workshops: 1st Workshop on the OntoLex Model (OntoLex-2017), 2017

2007

Quantifier Elimination for Approximate Factorization of Linear Partial Differential Operators.

Elena Kartashova, Scott McCallum

Proceedings of the Towards Mechanized Mathematical Assistants, 14th Symposium, 2007

2005

BK-factorization and Darboux-Laplace transformations.

Elena Kartashova

Proceedings of The 2005 International Conference on Scientific Computing, 2005