Narzędzia pochodne
Rekordy na poziomie narzędzi wyprowadzone z publicznego tekstu twierdzeń i dowodów. Te rekordy są metadanymi odkrywania i nie zastępują języka oficjalnych źródeł uniwersytetów.
1500 dopasowany rekord dowodowy na poziomie narzędzia
University of North Carolina at Charlotte
Macquarie University (Sydney, Australia)
Australian National University (ANU)
Indiana University Bloomington
Julius-Maximilians-Universität Würzburg
Massachusetts Institute of Technology (MIT)
University of California, Davis
University of Michigan-Ann Arbor
University of North Carolina at Chapel Hill
University of Wisconsin-Madison
Indiana University Bloomington
The Hong Kong University of Science and Technology
Aristotle University of Thessaloniki
Birkbeck, University of London
Czech University of Life Sciences in Prague
Eberhard Karls Universität Tübingen
Free University of Bozen-Bolzano
Gdańsk University of Technology
Humboldt-Universität zu Berlin
Johannes Gutenberg Universität Mainz
Justus-Liebig-University Giessen
Lomonosov Moscow State University
Nanjing University of Aeronautics and Astronautics
National Sun Yat-sen University
National Technical University of Ukraine "Igor Sikorsky Kyiv Polytechnic Institute"
Peter the Great St. Petersburg Polytechnic University
Pontificia Universidad Católica de Chile (UC)
Prince Mohammad Bin Fahd university
Swinburne University of Technology
Taras Shevchenko National University of Kyiv
The National University of Science and Technology MISIS
United Arab Emirates University
Universidad de la República (Udelar)
Universit de Bretagne Occidentale
Università degli Studi di Udine
Université Paris 1 Panthéon-Sorbonne
Universite Paris-Pantheon-Assas
University of Science and Technology of China
University of South Bohemia in České Budějovice
USI - Università della Svizzera italiana
VSB - Technical University of Ostrava
Warsaw University of Life Sciences SGGW (WULS-SGGW)
Pohang University of Science And Technology (POSTECH)
National University of Singapore (NUS)
National University of Singapore (NUS)
National University of Singapore (NUS)
National University of Singapore (NUS)
National University of Singapore (NUS)
National University of Singapore (NUS)
Goethe-University Frankfurt am Main
Goethe-University Frankfurt am Main
Goethe-University Frankfurt am Main
EPFL – École polytechnique fédérale de Lausanne
University of Maryland, Baltimore County
University of California, Los Angeles (UCLA)
The University of Tennessee, Knoxville
California Institute of Technology (Caltech)
California Institute of Technology (Caltech)
Karlsruhe Institute Of Technology Kit
Universidad Nacional Autónoma de México (UNAM)
Massachusetts Institute of Technology (MIT)
University of California, Los Angeles (UCLA)
University of Wisconsin-Madison
University of California, Los Angeles (UCLA)
California Polytechnic State University
Massachusetts Institute of Technology (MIT)
Massachusetts Institute of Technology (MIT)
KTH Royal Institute of Technology
University of California, Berkeley (UCB)
Ben-Gurion University of The Negev
Queen Mary University of London
University of California, Berkeley (UCB)
Technische Universität Dresden
Julius-Maximilians-Universität Würzburg
Indiana University Bloomington
Universidad de Buenos Aires (UBA)
University of Massachusetts Amherst
Chalmers University of Technology
City University of Hong Kong (CityUHK)
Government College University, Faisalabad
Hong Kong Metropolitan University
Imam Abdulrahman Bin Faisal University (IAU)
Indian Institute of Technology Delhi (IITD)
Indian Institute of Technology Kanpur (IITK)
Indian Institute of Technology Madras (IITM)
Instituto Tecnológico Autónomo de México (ITAM)
King Mongkut's University of Technology Thonburi
KTH Royal Institute of Technology
Middle East Technical University
National Taiwan University of Science and Technology (Taiwan Tech)
National Yang Ming Chiao Tung University (NYCU Taiwan)
Pohang University of Science And Technology (POSTECH)
Pontificia Universidad Católica de Valparaíso
Sungkyunkwan University (SKKU)
Tallinn University of Technology (TalTech)
Technion - Israel Institute of Technology
Technische Universität Bergakademie Freiberg
Ulsan National Institute of Science and Technology (UNIST)
University of British Columbia
University of Chemistry and Technology, Prague
University of Nebraska - Lincoln
University of Rome "Tor Vergata"
Worcester Polytechnic Institute
California Polytechnic State University
Indiana University Bloomington
Rutgers University–New Brunswick
Tallinn University of Technology (TalTech)
Technische Universität Berlin (TU Berlin)
University of Alabama at Birmingham
University of California, Berkeley (UCB)
University of California, Davis
University of Colorado Boulder
University of Modena and Reggio Emilia
University of Naples - Federico II
University of Southern California
University of Naples - Federico II
Missouri University of Science and Technology
Technion - Israel Institute of Technology
University of Missouri Saint Louis
University of Nebraska - Lincoln
California Institute of Technology (Caltech)
University of Tromsø The Arctic University of Norway
City University of Hong Kong (CityUHK)
King Mongkut's University of Technology Thonburi
Pohang University of Science And Technology (POSTECH)
The London School of Economics and Political Science (LSE)
Universidad San Francisco de Quito USFQ
University of California, Los Angeles (UCLA)
China University of Petroleum, Beijing
Huazhong University of Science and Technology
Technion - Israel Institute of Technology
Australian National University (ANU)
Georgia Institute of Technology
Government College University, Faisalabad
Imam Abdulrahman Bin Faisal University (IAU)
Indian Institute of Technology Delhi (IITD)
National Taiwan University of Science and Technology (Taiwan Tech)
Royal Holloway, University of London
Stony Brook University, State University of New York
The Chinese University of Hong Kong (CUHK)
The London School of Economics and Political Science (LSE)
Universitat Politècnica de Catalunya · BarcelonaTech (UPC)
Université catholique de Louvain (UCLouvain)
University of British Columbia
University of Massachusetts Amherst
University of Technology Sydney
Memorial University of Newfoundland
University of Missouri, Kansas City
Georgia Institute of Technology
The Hong Kong Polytechnic University
Université catholique de Louvain (UCLouvain)
University of Arkansas Fayetteville
University of California, Davis
University of Colorado Boulder
University of Illinois Chicago (UIC)
University of Nebraska - Lincoln
University of Southern Denmark (SDU)
University of Tromsø The Arctic University of Norway
University Of Western Australia
University of British Columbia
Georgia Institute of Technology
University of Arkansas Fayetteville
University of California, San Diego (UCSD)
University of Colorado Boulder
Memorial University of Newfoundland
The Chinese University of Hong Kong (CUHK)
The Chinese University of Hong Kong (CUHK)
Technical University of Denmark
University of Technology Sydney
City University of Hong Kong (CityUHK)
Georgia Institute of Technology
Technische Universität Bergakademie Freiberg
The University of Western Australia
South China University of Technology
Instituto Tecnológico Autónomo de México (ITAM)
City St George’s, University of London
EPFL – École polytechnique fédérale de Lausanne
Hamad Bin Khalifa University (HBKU)
University of California, Berkeley (UCB)
Imam Abdulrahman Bin Faisal University (IAU)
Indian Institute of Technology Kanpur (IITK)
Indian Institute of Technology Madras (IITM)
King Mongkut's University of Technology Thonburi
North Carolina State University
Pohang University of Science And Technology (POSTECH)
Stony Brook University, State University of New York
Toronto Metropolitan University (formerly Ryerson University)
Universidad Carlos III de Madrid (UC3M)
Universitat Pompeu Fabra (Barcelona)
University of California, Riverside
University of California, Santa Cruz
University of Massachusetts Amherst
University of Minnesota (System)
University of Colorado Boulder
Nanyang Technological University, Singapore (NTU Singapore)
National Taipei University of Technology
Czech Technical University in Prague
Government College University, Faisalabad
Indian Institute of Technology Delhi (IITD)
University of California, Santa Barbara (UCSB)
University of Illinois Urbana-Champaign
National and Kapodistrian University of Athens
Rutgers University–New Brunswick
University of California, Berkeley (UCB)
University of Minnesota (System)
University of California, Santa Barbara (UCSB)
Nanyang Technological University, Singapore (NTU Singapore)
University of Wisconsin-Madison
Case Western Reserve University
Indiana University Bloomington
Massachusetts Institute of Technology (MIT)
Michigan Technological University
New Jersey Institute of Technology (NJIT)
Pontificia Universidad Católica de Valparaíso
Rutgers University–New Brunswick
The American University in Cairo
The New School, New York City and Paris
The University of Tennessee, Knoxville
Universitat Politecnica Catalunya
Universitat Politècnica de Catalunya · BarcelonaTech (UPC)
University of Arkansas Fayetteville
University of California, Davis
University of California, Los Angeles (UCLA)
University of California, Riverside
University of California, San Diego (UCSD)
University of California, Santa Cruz
University of Illinois Urbana-Champaign
University of Maryland, Baltimore County
University of Michigan-Ann Arbor
University of Missouri Saint Louis
University of North Carolina at Charlotte
University of Southern California
University of Wisconsin-Madison
University of California, Los Angeles (UCLA)
University of Maryland, Baltimore County
University of California, Berkeley (UCB)
Toronto Metropolitan University (formerly Ryerson University)
The Hong Kong University of Science and Technology
University of Arkansas Fayetteville
University of Illinois Chicago (UIC)
Karlsruhe Institute Of Technology Kit
University of Illinois Chicago (UIC)
Indiana University Bloomington
Massachusetts Institute of Technology (MIT)
New Jersey Institute of Technology (NJIT)
The New School, New York City and Paris
Universitat Politecnica Catalunya
University of Arkansas Fayetteville
University of California, Los Angeles (UCLA)
University of California, Riverside
University of California, Santa Cruz
University of Illinois Urbana-Champaign
University of Michigan-Ann Arbor
University of North Carolina at Charlotte
University of Wisconsin-Madison
Toronto Metropolitan University (formerly Ryerson University)
Massachusetts Institute of Technology (MIT)
University of Wisconsin-Madison
Norwegian University of Science And Technology
Bangladesh University of Engineering and Technology
Technical University of Munich
University of Missouri Saint Louis
Friedrich-Alexander-Universität Erlangen-Nürnberg
Hong Kong Metropolitan University
The Hong Kong University of Science and Technology
The Hong Kong University of Science and Technology
The Hong Kong University of Science and Technology
Beijing Institute of Technology
University of Illinois Urbana-Champaign
University of Illinois Urbana-Champaign
City University of Hong Kong (CityUHK)
University of Nebraska - Lincoln
Universitat Politècnica de Catalunya · BarcelonaTech (UPC)
Bangladesh University of Engineering and Technology
Karlsruhe Institute Of Technology Kit
Sungkyunkwan University (SKKU)
University of Technology Sydney
Queen's University at Kingston
University of California, Los Angeles (UCLA)
The Chinese University of Hong Kong (CUHK)
The Hong Kong Polytechnic University
University of California, Los Angeles (UCLA)
The Chinese University of Hong Kong (CUHK)
Technical University of Munich
University of Missouri, Kansas City
The University of Tennessee, Knoxville
University of Nebraska - Lincoln
City St George’s, University of London
EPFL – École polytechnique fédérale de Lausanne
Rutgers University–New Brunswick
Technion - Israel Institute of Technology
The Hong Kong University of Science and Technology
Université catholique de Louvain (UCLouvain)
University of Alabama at Birmingham
University of California, Davis
University of Illinois Chicago (UIC)
University of Maryland, Baltimore
University of Missouri Saint Louis
University of Illinois Urbana-Champaign
Indiana University Bloomington
California Polytechnic State University
Indiana University Bloomington
University of California, Davis
University of Illinois Chicago (UIC)
University of Missouri Saint Louis
Washington University in St. Louis
University of North Carolina at Chapel Hill
California Institute of Technology (Caltech)
University of Wisconsin-Madison
Australian National University (ANU)
Case Western Reserve University
Chalmers University of Technology
Florida International University
Lappeenranta Lahti University Technology Lut
Lappeenranta-Lahti University of Technology LUT
Ludwig-Maximilians-Universität München
Macquarie University (Sydney, Australia)
Manchester Metropolitan University.
Massachusetts Institute of Technology (MIT)
Norwegian University of Science And Technology
Royal Holloway, University of London
Stevens Institute of Technology
Tallinn University of Technology (TalTech)
Technical University of Denmark
Technological University Dublin
The American University in Cairo
The Chinese University of Hong Kong (CUHK)
The University of New South Wales (UNSW Sydney)
The University of Newcastle, Australia (UON)
Tokyo Institute of Technology (Tokyo Tech)
Ulsan National Institute of Science and Technology (UNIST)
Universidad Carlos III de Madrid (UC3M)
Universitat Politècnica de Catalunya · BarcelonaTech (UPC)
Universitat Politecnica de Valencia
University of British Columbia
University of California, Berkeley (UCB)
University of California, Los Angeles (UCLA)
University of Illinois Chicago (UIC)
University of Maryland, Baltimore County
University of Minnesota (System)
University of Naples - Federico II
University of North Carolina at Charlotte
University of Technology Sydney
University of Texas at San Antonio
University of Tromsø The Arctic University of Norway
Virginia Polytechnic Institute and State University
University of Naples - Federico II
Delft University of Technology
City St George’s, University of London
Delft University of Technology
Julius-Maximilians-Universität Würzburg
KTH Royal Institute of Technology
Macquarie University (Sydney, Australia)
National Yang Ming Chiao Tung University (NYCU Taiwan)
Rutgers University–New Brunswick
The Chinese University of Hong Kong (CUHK)
The Hong Kong University of Science and Technology
The University of New South Wales (UNSW Sydney)
Universitat Politecnica Catalunya
University of California, Irvine
University of Illinois Urbana-Champaign
University of Maryland, Baltimore
University of Massachusetts Amherst
University of Southern California
University of Wisconsin-Madison
The Chinese University of Hong Kong (CUHK)
Czech Technical University in Prague
City University of Hong Kong (CityUHK)
Massachusetts Institute of Technology (MIT)
City University of Hong Kong (CityUHK)
Australian Catholic University
Technical University of Denmark
Eindhoven University of Technology
California Institute of Technology (Caltech)
Stevens Institute of Technology
University of Alabama at Birmingham
University of California, San Diego (UCSD)
Queen's University at Kingston
Universitat Politecnica Catalunya
Georgia Institute of Technology
University of Illinois Urbana-Champaign
University of Missouri Saint Louis
Macquarie University (Sydney, Australia)
Universidad Nacional de Colombia
University of California, Los Angeles (UCLA)
Instituto Tecnológico Autónomo de México (ITAM)
New Jersey Institute of Technology (NJIT)
North Carolina State University
Rutgers University–New Brunswick
Stony Brook University, State University of New York
Toronto Metropolitan University (formerly Ryerson University)
Universidad Carlos III de Madrid (UC3M)
Universitat Politècnica de Catalunya · BarcelonaTech (UPC)
Universitat Pompeu Fabra (Barcelona)
University of California, Davis
University of California, Riverside
University of California, San Diego (UCSD)
University of California, Santa Cruz
University of Colorado Boulder
University of Illinois Chicago (UIC)
University of Maryland, Baltimore County
University of Minnesota (System)
University of Missouri Saint Louis
Nanyang Technological University, Singapore (NTU Singapore)
Massachusetts Institute of Technology (MIT)
Albert-Ludwigs-Universitaet Freiburg
The Hong Kong University of Science and Technology
Albert-Ludwigs-Universitaet Freiburg
Georgia Institute of Technology
The University of Tennessee, Knoxville
Universidad San Francisco de Quito USFQ
University of Arkansas Fayetteville
University of California, Los Angeles (UCLA)
University of Missouri, Kansas City
University of Naples - Federico II
University of Arkansas Fayetteville
University of California, Los Angeles (UCLA)
Technion - Israel Institute of Technology
Massachusetts Institute of Technology (MIT)
The University of Tennessee, Knoxville
Indian Institute of Technology Madras (IITM)
Université catholique de Louvain (UCLouvain)
Universitat Politecnica de Valencia
The Hong Kong Polytechnic University
National Tsing Hua University - NTHU
University of North Carolina at Chapel Hill
Indiana University Bloomington
Massachusetts Institute of Technology (MIT)
Technical University of Denmark
National Tsing Hua University - NTHU
Warsaw University of Technology
University of Maryland, College Park
University of California, San Diego (UCSD)
University of California, San Diego (UCSD)
National Taiwan Normal University (NTNU)
University of Michigan-Ann Arbor
University of Michigan-Ann Arbor
University of Michigan-Ann Arbor
University of California, Irvine
University of California, Santa Barbara (UCSB)
University of Massachusetts Amherst
Ulsan National Institute of Science and Technology (UNIST)
Karl-Franzens-Universitaet Graz
The University of Tennessee, Knoxville
Nanyang Technological University, Singapore (NTU Singapore)
Huazhong University of Science and Technology
Ben-Gurion University of The Negev
Macquarie University (Sydney, Australia)
National Tsing Hua University - NTHU
University of Wisconsin-Madison
Université catholique de Louvain (UCLouvain)
The University of Tennessee, Knoxville
University of Colorado Boulder
California Institute of Technology (Caltech)
California Polytechnic State University
Georgia Institute of Technology
Massachusetts Institute of Technology (MIT)
North Carolina State University
Stevens Institute of Technology
Stony Brook University, State University of New York
Toronto Metropolitan University (formerly Ryerson University)
University of Alabama at Birmingham
University of California, Berkeley (UCB)
University of California, Davis
University of California, Los Angeles (UCLA)
University of California, San Diego (UCSD)
University of California, Santa Cruz
University of Illinois Urbana-Champaign
University of Minnesota (System)
University of Missouri Saint Louis
University of Missouri, Kansas City
University of Nebraska - Lincoln
University of North Carolina at Charlotte
University of Southern California
University of Wisconsin-Madison
Worcester Polytechnic Institute
University of California, Irvine
Southern University of Science and Technology (SUSTech)
Beihang University (former BUAA)
Harbin Institute of Technology
Beijing Institute of Technology
University of Chinese Academy of Sciences (UCAS)
University of Chinese Academy of Sciences (UCAS)
University of Chinese Academy of Sciences (UCAS)