Search results for “Theorem provers” companies
Free sign up to view the full data
Key Players
Order by:
Innovation Intensity
With the analysis among 33 patents, we discovered top 16 key players by total patent application. Microsoft Technology Licensing LLC, Hangzhou Hyperchain Technologies Co., Ltd., Hewlett-Packard Development Co. are dominant in this area. They take 45.45% of the total patent filing.
Microsoft Technology Licensing LLC
Washington, United States
Patent: 9
Hangzhou Hyperchain Technologies Co., Ltd.
Zhejiang Sheng, China
Patent: 3
Hewlett-Packard Development Co.
Beijing Shi, China
Patent: 3
International Business Machines Corp.
New York, United States
Patent: 2
National Instruments Corp.
Texas, United States
Patent: 2
Compaq Computer Corp.
California, United States
Patent: 2
Hitachi Ltd.
Tokyo-to, Japan
Patent: 1
NEC Corp.
Tokyo-to, Japan
Patent: 1
Synopsys, Inc.
California, United States
Patent: 1
Rockwell Collins, Inc.
Iowa, United States
Patent: 1
Startups & Unicorns
Order by:
Innovation Intensity
With the analysis among 4 patents, we discovered top 2 start-ups by total patent application.
Hangzhou Hyperchain Technologies Co., Ltd.
Zhejiang Sheng, China
Patent: 3
STARTUP
Hangzhou Yunxiang Network Technology Co. Ltd.
Zhejiang Sheng, China
Patent: 1
Fast-Growing
Order by:
Innovation in recent 5 years
With the analysis among related 51 patents applied in the last 5 years. We discover 22 most active companies in this area. The fast-growing Zhejiang University, Nanjing University of Aeronautics & Astronautics, Foundation of Soongsil University-Industry Cooperation take 31.37% of patent filing during this period.
Zhejiang University
Zhejiang Sheng, China
Patent: 6
Nanjing University of Aeronautics & Astronautics
Jiangsu Sheng, China
Patent: 6
Foundation of Soongsil University-Industry Cooperation
South Korea
Patent: 4
Jiangxi University of Science & Technology
Jiangxi Sheng, China
Patent: 3
Capital Normal University
Beijing Shi, China
Patent: 3
Hangzhou Hyperchain Technologies Co., Ltd.
Zhejiang Sheng, China
Patent: 3
Southwest Jiaotong University
Sichuan Sheng, China
Patent: 2
Hangzhou Dianzi University
Zhejiang Sheng, China
Patent: 2
Hunan Fanlian Xin'An Information Technology Co., Ltd
Hunan Sheng, China
Patent: 1
Xidian University
Shaanxi Sheng, China
Patent: 1
New Entrants
Order by:
Innovation in recent 5 years
With the analysis among related 51 patents in last 5 years, we discover 19 new entrants. Zhejiang University, Foundation of Soongsil University-Industry Cooperation, Jiangxi University of Science & Technology are the most active new entrants in this area.
Zhejiang University
Zhejiang Sheng, China
Patent: 6
Foundation of Soongsil University-Industry Cooperation
South Korea
Patent: 4
Jiangxi University of Science & Technology
Jiangxi Sheng, China
Patent: 3
Capital Normal University
Beijing Shi, China
Patent: 3
Hangzhou Hyperchain Technologies Co., Ltd.
Zhejiang Sheng, China
Patent: 3
Southwest Jiaotong University
Sichuan Sheng, China
Patent: 2
Hangzhou Dianzi University
Zhejiang Sheng, China
Patent: 2
Hunan Fanlian Xin'An Information Technology Co., Ltd
Hunan Sheng, China
Patent: 1
Huaqiao University
Fujian Sheng, China
Patent: 1
Rockwell Collins, Inc.
Iowa, United States
Patent: 1
Research Institutions
Order by:
Innovation Intensity
With the analysis among 41 patents, we discovered top 15 universities and scientific research institutions by total patent application. Nanjing University of Aeronautics & Astronautics, Zhejiang University, Capital Normal University are dominant in this area. They take 41.46% of the total patent filing.
Nanjing University of Aeronautics & Astronautics
Jiangsu Sheng, China
Patent: 7
Zhejiang University
Zhejiang Sheng, China
Patent: 6
Capital Normal University
Beijing Shi, China
Patent: 3
Jiangxi University of Science & Technology
Jiangxi Sheng, China
Patent: 3
Xidian University
Shaanxi Sheng, China
Patent: 2
Hangzhou Dianzi University
Zhejiang Sheng, China
Patent: 2
Southwest Jiaotong University
Sichuan Sheng, China
Patent: 2
Central South University
Hunan Sheng, China
Patent: 1
University of Electronic Science & Technology of China
Sichuan Sheng, China
Patent: 1
Northwestern Polytechnical University
Shaanxi Sheng, China
Patent: 1
Keywords Quick Entry
Popular
Physics
Chemistry
Engineering
Materials science
Computer science
Biology
Medicine
MetalElectrodeVoltageSemiconductorPolymerElectricityCoatingFiberDisplay deviceRaw materialElectric motorUltimate tensile strengthNozzleCarbonBuilding constructionAlkylService lifeElectronOxideOxygenSolventControl unitFlangeControl systemDrugLight sourcePistonDiseaseElectric powerHigh pressure
View more
Page generation time: