@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",

}