相关论文: Idempotent and tropical mathematics and problems o…

This volume contains the proceedings of an International Workshop on Idempotent and Tropical Mathematics and Problems of Mathematical Physics, held at the Independent University of Moscow, Russia, on August 25-30, 2007.

A brief introduction to tropical and idempotent mathematics (with an emphasys on idempotent functional analysis) is presented. Applications to classical mechanics and geometry are especially examined.

The present issue of the series <<Modern Problems in Mathematical Physics>> represents the Proceedings of the Students Training Contest Olympiad in Mathematical and Theoretical Physics and includes the statements and the solutions of the…

A very brief introduction to tropical and idempotent mathematics is presented. Applications to classical mechanics and geometry are especially examined.

Proceedings of the second edition of the international Workshop "Dynamics and Thermodynamics of Blackholes and Naked Singularities" (Department of Mathematics of the Politecnico of Milano from May 10-12, 2007.

This volume constitutes the proceedings of the 7th International Workshop on Physics and Computation (PC 2016). The workshop was held on the 14th of July 2016 in Manchester, UK, as a satellite workshop to UCNC 2016, the 15th International…

This paper is a very brief introduction to idempotent mathematics and related topics.

This volume contains the proceedings of the Workshop on Partiality and Recursion in Interactive Theorem Provers (PAR 2010) which took place on July 15 in Edinburgh, UK. This workshop was held as a satellite workshop of the International…

This volume contains the proceedings of the International Workshop on Developments in Implicit Computational complExity (DICE 2010), which took place on March 27-28 2010 in Paphos, Cyprus, as a satellite event of the Joint European…

A very brief introduction to tropical and idempotent mathematics is presented. Tropical mathematics can be treated as a result of a dequantization of the traditional mathematics as the Planck constant tends to zero taking imaginary values.…

This paper is a brief introduction to idempotent and tropical mathematics. Tropical mathematics can be treated as a result of the so-called Maslov dequantization of the traditional mathematics over numerical fields as the Planck constant…

This volume of the Electronic Proceedings in Theoretical Computer Science (EPTCS) contains extended abstracts of talks to be presented at the Seventh International Conference on Computability and Complexity in Analysis (CCA 2010) that will…

This volume contains the formal proceedings of the 4th International Workshop on Rewriting Techniques for Program Transformations and Evaluation (WPTE 2017), held on 8th September 2017 in Oxford, United Kingdom, and affiliated with the…

The textbook contains the problems in mechanics and special relativity for physics departments of universities. Many original problems were proposed by active scientists from the institutes of the Siberian Branch of Russian Academy of…

The second international workshop on Computational Models for Cell Processes (ComProc 2009) took place on November 3, 2009 at the Eindhoven University of Technology, in conjunction with Formal Methods 2009. The workshop was jointly…

These are lecture notes for a mini-course given at the St. Petersburg School in Probability and Statistical Physics in June 2012. Topics include integrable models of random growth, determinantal point processes, Schur processes and Markov…

The 6th International Workshop on Theorem proving components for Educational software (ThEdu'17) was held in Gothenburg, Sweden, on 6 Aug 2017. It was associated to the conference CADE26. Topics of interest include: methods of automated…

Tropical and idempotent analysis with their relations to the Hamilton-Jacobi and matrix Bellman equations are discussed. Some dequantization procedures are important in tropical and idempotent mathematics. In particular, the…

This volume contains a selection of the papers presented at the 2nd International Workshop on Linearity (LINEARITY'2012), which took place 1 April 2012 in Tallinn, Estonia. The workshop was a one-day satellite event of ETAPS 2012, the 15th…

This note is an expansion of three lectures given at the workshop "Topology, Complex Analysis and Arithmetic of Hyperbolic Spaces" held at Kyoto University in December of 2006 and will appear in the proceedings for this workshop.