Matches in SemOpenAlex for { <https://semopenalex.org/work/W2574174920> ?p ?o ?g. }
Showing items 1 to 67 of
67
with 100 items per page.
- W2574174920 abstract "This article discusses the applications of logic structure in Mizar Language, and discusses mathematical principles and methods, such as con- cepts and definitions, judgments and propositions, reasoning and proof, etc. These principles and methods are strictly followed by mathematical ax- iomatic methods, so does Mizar language system. On the 65th birthday of Professor Andrzej Trybulec, all the teachers and students in our Institute of Mathematics and Physics in Qingdao Univer- sity of Science and Technology express our sincere wish to his health and happiness. We want to show our admiration to professor Andrzej Trybulec for his outstanding work in the field of formalized mathematics especially in the field of Mizar, and we also want to thank him for his instructions to us for many years. Xiquan Liang met Professor Andrzej Trybulec and Professor Yatsuka Nakamura (Shinshu University, Nagano) in 1997 when he was studying and working in the Tokyo Institute of Technology and Shinshu University. From then on, he began to learn Mizar Language and under the guidance of Professor Yatsuka, published his first Mizar article named Solving Roots of Polynomial Equations of Degree 2 and 3 with Real Coefficients (4). During learning and using the Mizar Language, we generally realized the impor- tance of formalized mathematics, and then took the further research of the theories of formalized mathematics. It is an important field to use programmed language to prove mathematical problems. The essential of formalized mathematics is to formalize the intelligent course of reasoning and deduction. Proving theorems by computer is one of the primary directions involving artificial intelligence. It is a great breakthrough of modern mathematics to prove theorems by machine auto- matically instead of by person themselves. Xiquan Liang came back to China and worked in Qingdao University of Science and Technology in August, 2000. At the same time, he organized a scientific research group including professors, young teachers and postgraduates to continue the study in this field. On the base of discussing plenty of Mizar articles, we combined Mizar Language with concrete research directions, such as, mathematics morphology, ma- trix theory, fluxionary calculus theory, etc. The academic atmosphere was strong in our group, and we discussed with each other when we met problems, trying to" @default.
- W2574174920 created "2017-01-26" @default.
- W2574174920 creator A5057011942 @default.
- W2574174920 creator A5069230836 @default.
- W2574174920 creator A5079016989 @default.
- W2574174920 date "2007-01-01" @default.
- W2574174920 modified "2023-09-24" @default.
- W2574174920 title "Some Logical Aspects of Mathematical Reasoning" @default.
- W2574174920 hasPublicationYear "2007" @default.
- W2574174920 type Work @default.
- W2574174920 sameAs 2574174920 @default.
- W2574174920 citedByCount "0" @default.
- W2574174920 crossrefType "journal-article" @default.
- W2574174920 hasAuthorship W2574174920A5057011942 @default.
- W2574174920 hasAuthorship W2574174920A5069230836 @default.
- W2574174920 hasAuthorship W2574174920A5079016989 @default.
- W2574174920 hasConcept C145420912 @default.
- W2574174920 hasConcept C15744967 @default.
- W2574174920 hasConcept C172347087 @default.
- W2574174920 hasConcept C199343813 @default.
- W2574174920 hasConcept C202444582 @default.
- W2574174920 hasConcept C2776678506 @default.
- W2574174920 hasConcept C2777686260 @default.
- W2574174920 hasConcept C33923547 @default.
- W2574174920 hasConcept C41008148 @default.
- W2574174920 hasConcept C542102704 @default.
- W2574174920 hasConcept C71924100 @default.
- W2574174920 hasConcept C9652623 @default.
- W2574174920 hasConceptScore W2574174920C145420912 @default.
- W2574174920 hasConceptScore W2574174920C15744967 @default.
- W2574174920 hasConceptScore W2574174920C172347087 @default.
- W2574174920 hasConceptScore W2574174920C199343813 @default.
- W2574174920 hasConceptScore W2574174920C202444582 @default.
- W2574174920 hasConceptScore W2574174920C2776678506 @default.
- W2574174920 hasConceptScore W2574174920C2777686260 @default.
- W2574174920 hasConceptScore W2574174920C33923547 @default.
- W2574174920 hasConceptScore W2574174920C41008148 @default.
- W2574174920 hasConceptScore W2574174920C542102704 @default.
- W2574174920 hasConceptScore W2574174920C71924100 @default.
- W2574174920 hasConceptScore W2574174920C9652623 @default.
- W2574174920 hasLocation W25741749201 @default.
- W2574174920 hasOpenAccess W2574174920 @default.
- W2574174920 hasPrimaryLocation W25741749201 @default.
- W2574174920 hasRelatedWork W1526316085 @default.
- W2574174920 hasRelatedWork W1529616432 @default.
- W2574174920 hasRelatedWork W1566028218 @default.
- W2574174920 hasRelatedWork W1854796760 @default.
- W2574174920 hasRelatedWork W1988004808 @default.
- W2574174920 hasRelatedWork W2050966881 @default.
- W2574174920 hasRelatedWork W2063260132 @default.
- W2574174920 hasRelatedWork W2112250621 @default.
- W2574174920 hasRelatedWork W2163734666 @default.
- W2574174920 hasRelatedWork W2171810803 @default.
- W2574174920 hasRelatedWork W2297557264 @default.
- W2574174920 hasRelatedWork W2406384269 @default.
- W2574174920 hasRelatedWork W2502661841 @default.
- W2574174920 hasRelatedWork W2966546881 @default.
- W2574174920 hasRelatedWork W2990800232 @default.
- W2574174920 hasRelatedWork W3137835047 @default.
- W2574174920 hasRelatedWork W3146290234 @default.
- W2574174920 hasRelatedWork W3199140885 @default.
- W2574174920 hasRelatedWork W67468808 @default.
- W2574174920 hasRelatedWork W77789158 @default.
- W2574174920 isParatext "false" @default.
- W2574174920 isRetracted "false" @default.
- W2574174920 magId "2574174920" @default.
- W2574174920 workType "article" @default.