@inproceedings{520ed9a758354fbfbb0260d18243b7fb,
title = "Orthogonal tropical linear prevarieties",
abstract = "We study the operation A of tropical orthogonalization, applied to a subset A of a vector space (R U) n, and iterations of this operation. Main results include a criterion and an algorithm, deciding whether a tropical linear prevariety is a tropical linear variety formulated in terms of a duality between A and A. We give an example of a countable family of tropical hyperplanes such that their intersection is not a tropical prevariety. ",
keywords = "Orthogonalization, Tropical linear prevarieties, Tropical linear varieties",
author = "Nicolai Vorobjov and Dima Grigoriev",
year = "2018",
doi = "10.1007/978-3-319-99639-4_13",
language = "English",
isbn = "9783319996387",
volume = "11077",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer",
pages = "187--196",
editor = "Wolfram Koepf and Seiler, {Werner M.} and Gerdt, {Vladimir P.} and Vorozhtsov, {Evgenii V.}",
booktitle = "Computer Algebra in Scientific Computing - 20th International Workshop, CASC 2018, Proceedings",
}