@inproceedings{10.1145/1837934.1837950,
    Address = {New York, NY, USA},
    Author = {Gerdt, Vladimir P. and Robertz, Daniel},
    BookTitle = {Proceedings of the 2010 International Symposium on Symbolic and Algebraic Computation},
    File = {Consistency of Finite Difference Approximations for Linear PDE Systems and Its Algorithmic Verification - 1837934.1837950 - a - j.pdf},
    ISBN = {9781450301503},
    Keywords = {consistency, involutive algorithm, finite difference schemes, Gr\"{o}bner basis, applications, partial differential equations},
    Location = {Munich, Germany},
    Pages = {53--59},
    Publisher = {Association for Computing Machinery},
    Series = {ISSAC '10},
    Title = {Consistency of Finite Difference Approximations for Linear PDE Systems and Its Algorithmic Verification},
    URL = {https://doi.org/10.1145/1837934.1837950},
    Year = {2010},
    bdsk-url-1 = {https://doi.org/10.1145/1837934.1837950},
    date-added = {2020-04-10 18:43:54 +0200},
    date-modified = {2020-04-10 18:43:54 +0200},
    numpages = {7},
    doi = {10.1145/1837934.1837950}
}

@inproceedings{10.1145/1837934.1837950, Address = {New York, NY, USA}, Author = {Gerdt, Vladimir P. and Robertz, Daniel}, BookTitle = {Proceedings of the 2010 International Symposium on Symbolic and Algebraic Computation}, File = {Consistency of Finite Difference Approximations for Linear PDE Systems and Its Algorithmic Verification - 1837934.1837950 - a - j.pdf}, ISBN = {9781450301503}, Keywords = {consistency, involutive algorithm, finite difference schemes, Gr\"{o}bner basis, applications, partial differential equations}, Location = {Munich, Germany}, Pages = {53--59}, Publisher = {Association for Computing Machinery}, Series = {ISSAC '10}, Title = {Consistency of Finite Difference Approximations for Linear PDE Systems and Its Algorithmic Verification}, URL = {https://doi.org/10.1145/1837934.1837950}, Year = {2010}, bdsk-url-1 = {https://doi.org/10.1145/1837934.1837950}, date-added = {2020-04-10 18:43:54 +0200}, date-modified = {2020-04-10 18:43:54 +0200}, numpages = {7}, doi = {10.1145/1837934.1837950} }