{"title":"MathPartner:人工智能云服务","authors":"Gennadi Malaschonok, Alexandr Seliverstov","doi":"arxiv-2408.04999","DOIUrl":null,"url":null,"abstract":"In a broad sense, artificial intelligence is a service to find a solution to\ncomplex intellectual problems. In this sense, the MathPartner service provides\nartificial intelligence that allows us to formulate questions and receive\nanswers to questions formulated in a mathematical language. For mathematicians\nand physicists today, such a language is \\LaTeX. The MathPartner service uses a\ndialect of \\LaTeX, which is called Mathpar. The service is a cloud-based\ncomputer algebra system and provides users with the opportunity to solve many\nmathematical problems. In this publication, we focus only on a small class of\nextremum problems, which are widely applied in economics, management,\nlogistics, and in many engineering fields. In particular, we consider the\nshortest path problem and discuss an algorithm that is based on the tropical\nmathematics. The ability to work with many types of classical and tropical\nalgebras, which are freely available to users, is an important distinguishing\nfeature of this intelligent tool for symbolic-numerical calculations. We also\nconsider the use of the simplex algorithm for solving optimization problems.","PeriodicalId":501033,"journal":{"name":"arXiv - CS - Symbolic Computation","volume":"32 1","pages":""},"PeriodicalIF":0.0000,"publicationDate":"2024-08-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"MathPartner: An Artificial Intelligence Cloud Service\",\"authors\":\"Gennadi Malaschonok, Alexandr Seliverstov\",\"doi\":\"arxiv-2408.04999\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"In a broad sense, artificial intelligence is a service to find a solution to\\ncomplex intellectual problems. In this sense, the MathPartner service provides\\nartificial intelligence that allows us to formulate questions and receive\\nanswers to questions formulated in a mathematical language. For mathematicians\\nand physicists today, such a language is \\\\LaTeX. The MathPartner service uses a\\ndialect of \\\\LaTeX, which is called Mathpar. The service is a cloud-based\\ncomputer algebra system and provides users with the opportunity to solve many\\nmathematical problems. In this publication, we focus only on a small class of\\nextremum problems, which are widely applied in economics, management,\\nlogistics, and in many engineering fields. In particular, we consider the\\nshortest path problem and discuss an algorithm that is based on the tropical\\nmathematics. The ability to work with many types of classical and tropical\\nalgebras, which are freely available to users, is an important distinguishing\\nfeature of this intelligent tool for symbolic-numerical calculations. We also\\nconsider the use of the simplex algorithm for solving optimization problems.\",\"PeriodicalId\":501033,\"journal\":{\"name\":\"arXiv - CS - Symbolic Computation\",\"volume\":\"32 1\",\"pages\":\"\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2024-08-09\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"arXiv - CS - Symbolic Computation\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/arxiv-2408.04999\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"arXiv - CS - Symbolic Computation","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/arxiv-2408.04999","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
MathPartner: An Artificial Intelligence Cloud Service
In a broad sense, artificial intelligence is a service to find a solution to
complex intellectual problems. In this sense, the MathPartner service provides
artificial intelligence that allows us to formulate questions and receive
answers to questions formulated in a mathematical language. For mathematicians
and physicists today, such a language is \LaTeX. The MathPartner service uses a
dialect of \LaTeX, which is called Mathpar. The service is a cloud-based
computer algebra system and provides users with the opportunity to solve many
mathematical problems. In this publication, we focus only on a small class of
extremum problems, which are widely applied in economics, management,
logistics, and in many engineering fields. In particular, we consider the
shortest path problem and discuss an algorithm that is based on the tropical
mathematics. The ability to work with many types of classical and tropical
algebras, which are freely available to users, is an important distinguishing
feature of this intelligent tool for symbolic-numerical calculations. We also
consider the use of the simplex algorithm for solving optimization problems.