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.
Original language  English 

Title of host publication  Computer Algebra in Scientific Computing  20th International Workshop, CASC 2018, Proceedings 
Editors  Wolfram Koepf, Werner M. Seiler, Vladimir P. Gerdt, Evgenii V. Vorozhtsov 
Publisher  Springer 
Pages  187196 
Number of pages  10 
Volume  11077 
ISBN (Electronic)  9783319996394 
ISBN (Print)  9783319996387 
DOIs  
Publication status  Published  2018 
Publication series
Name  Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 

Volume  11077 LNCS 
ISSN (Print)  03029743 
ISSN (Electronic)  16113349 
Keywords
 Orthogonalization
 Tropical linear prevarieties
 Tropical linear varieties
ASJC Scopus subject areas
 Theoretical Computer Science
 Computer Science(all)
Fingerprint
Dive into the research topics of 'Orthogonal tropical linear prevarieties'. Together they form a unique fingerprint.Profiles

Nicolai Vorobjov
Person: Research & Teaching