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.
1486 dopasowany rekord dowodowy na poziomie narzędzia
University of North Carolina at Charlotte
Macquarie University (Sydney, Australia)
Indiana University Bloomington
Julius-Maximilians-Universität Würzburg
University of North Carolina at Chapel Hill
Indiana University Bloomington
Aristotle University of Thessaloniki
Czech University of Life Sciences in Prague
Free University of Bozen-Bolzano
Gdańsk University of Technology
Humboldt-Universität zu Berlin
Johannes Gutenberg Universität Mainz
Justus-Liebig-University Giessen
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
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)
Goethe-University Frankfurt am Main
Goethe-University Frankfurt am Main
Goethe-University Frankfurt am Main
University of Maryland, Baltimore County
The University of Tennessee, Knoxville
University of California, Irvine
Universidad Nacional Autónoma de México (UNAM)
California Polytechnic State University
Ben-Gurion University of The Negev
Eberhard Karls Universität Tübingen
Technische Universität Dresden
Julius-Maximilians-Universität Würzburg
Indiana University Bloomington
University of Massachusetts Amherst
Chalmers University of Technology
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
Middle East Technical University
National Taiwan University of Science and Technology (Taiwan Tech)
National Yang Ming Chiao Tung University (NYCU Taiwan)
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 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 Colorado Boulder
University of Modena and Reggio Emilia
University of Naples - Federico II
University of Southern California
Washington University in St. Louis
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
University of Tromsø The Arctic University of Norway
King Mongkut's University of Technology Thonburi
Universidad San Francisco de Quito USFQ
Washington University in St. Louis
China University of Petroleum, Beijing
Huazhong University of Science and Technology
Technion - Israel Institute of Technology
Washington University in St. Louis
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
Universitat Politècnica de Catalunya · BarcelonaTech (UPC)
Université catholique de Louvain (UCLouvain)
University of Massachusetts Amherst
Memorial University of Newfoundland
University of Missouri, Kansas City
Georgia Institute of Technology
Université catholique de Louvain (UCLouvain)
University of Arkansas Fayetteville
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
Washington University in St. Louis
Università degli Studi di Pavia
Georgia Institute of Technology
University of Arkansas Fayetteville
University of Colorado Boulder
Memorial University of Newfoundland
Georgia Institute of Technology
Technische Universität Bergakademie Freiberg
South China University of Technology
Instituto Tecnológico Autónomo de México (ITAM)
City St George’s, University of London
Hamad Bin Khalifa University (HBKU)
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
Stony Brook University, State University of New York
Toronto Metropolitan University (formerly Ryerson University)
Universidad Carlos III de Madrid (UC3M)
Università degli Studi di Pavia
Universitat Pompeu Fabra (Barcelona)
University of California, Riverside
University of California, Santa Cruz
University of Massachusetts Amherst
University of Minnesota (System)
Washington University in St. Louis
University of Colorado Boulder
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)
Washington University in St. Louis
National and Kapodistrian University of Athens
Rutgers University–New Brunswick
University of Minnesota (System)
University of California, Santa Barbara (UCSB)
Case Western Reserve University
Indiana University Bloomington
Michigan Technological University
New Jersey Institute of Technology (NJIT)
Pontificia Universidad Católica de Valparaíso
Rutgers University–New Brunswick
Stony Brook University, State University of New York
The American University in Cairo
The New School, New York City and Paris
The University of Tennessee, Knoxville
Universitat Politècnica de Catalunya · BarcelonaTech (UPC)
University of Arkansas Fayetteville
University of California, Riverside
University of California, Santa Cruz
University of Maryland, Baltimore County
University of Missouri Saint Louis
University of North Carolina at Charlotte
University of Southern California
University of Maryland, Baltimore County
Toronto Metropolitan University (formerly Ryerson University)
University of Arkansas Fayetteville
University of Illinois Chicago (UIC)
University of Illinois Chicago (UIC)
Indiana University Bloomington
New Jersey Institute of Technology (NJIT)
The New School, New York City and Paris
Universitat Politècnica de Catalunya · BarcelonaTech (UPC)
University of Arkansas Fayetteville
University of California, Riverside
University of California, Santa Cruz
University of North Carolina at Charlotte
Toronto Metropolitan University (formerly Ryerson University)
Norwegian University of Science And Technology
Bangladesh University of Engineering and Technology
University of Missouri Saint Louis
Friedrich-Alexander-Universität Erlangen-Nürnberg
Hong Kong Metropolitan University
Beijing Institute of Technology
University of Nebraska - Lincoln
Universitat Politècnica de Catalunya · BarcelonaTech (UPC)
Bangladesh University of Engineering and Technology
Sungkyunkwan University (SKKU)
Queen's University at Kingston
University of Missouri, Kansas City
The University of Tennessee, Knoxville
University of Nebraska - Lincoln
City St George’s, University of London
Rutgers University–New Brunswick
Technion - Israel Institute of Technology
Université catholique de Louvain (UCLouvain)
University of Alabama at Birmingham
University of Illinois Chicago (UIC)
University of Maryland, Baltimore
University of Missouri Saint Louis
Indiana University Bloomington
California Polytechnic State University
Indiana University Bloomington
University of Illinois Chicago (UIC)
University of Missouri Saint Louis
Washington University in St. Louis
University of North Carolina at Chapel Hill
Case Western Reserve University
Chalmers University of Technology
Florida International University
Lappeenranta-Lahti University of Technology LUT
Macquarie University (Sydney, Australia)
Manchester Metropolitan University.
Norwegian University of Science And Technology
Royal Holloway, University of London
Stevens Institute of Technology
Tallinn University of Technology (TalTech)
Technological University Dublin
The American University in Cairo
The University of Newcastle, Australia (UON)
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 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 Texas at San Antonio
University of Tromsø The Arctic University of Norway
Virginia Polytechnic Institute and State University
University of Naples - Federico II
City St George’s, University of London
Julius-Maximilians-Universität Würzburg
Macquarie University (Sydney, Australia)
National Yang Ming Chiao Tung University (NYCU Taiwan)
Rutgers University–New Brunswick
Universitat Politècnica de Catalunya · BarcelonaTech (UPC)
University of California, Irvine
University of Maryland, Baltimore
University of Massachusetts Amherst
University of Southern California
Czech Technical University in Prague
Australian Catholic University
Eindhoven University of Technology
Birkbeck, University of London
Stevens Institute of Technology
University of Alabama at Birmingham
Queen's University at Kingston
Universitat Politècnica de Catalunya · BarcelonaTech (UPC)
Georgia Institute of Technology
University of Missouri Saint Louis
Macquarie University (Sydney, Australia)
Universidad Nacional de Colombia
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)
Università degli Studi di Pavia
Universitat Politècnica de Catalunya · BarcelonaTech (UPC)
Universitat Pompeu Fabra (Barcelona)
University of California, Riverside
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
Albert-Ludwigs-Universitaet Freiburg
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 Missouri, Kansas City
University of Naples - Federico II
University of Arkansas Fayetteville
Technion - Israel Institute of Technology
The University of Tennessee, Knoxville
Indian Institute of Technology Madras (IITM)
Université catholique de Louvain (UCLouvain)
Universitat Politecnica de Valencia
National Tsing Hua University - NTHU
University of North Carolina at Chapel Hill
Indiana University Bloomington
National Tsing Hua University - NTHU
Warsaw University of Technology
University of Maryland, College Park
National Taiwan Normal University (NTNU)
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
Huazhong University of Science and Technology
Ben-Gurion University of The Negev
Macquarie University (Sydney, Australia)
National Tsing Hua University - NTHU
Université catholique de Louvain (UCLouvain)
The University of Tennessee, Knoxville
University of Colorado Boulder
California Polytechnic State University
Georgia Institute of Technology
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, Santa Cruz
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
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)
Massachusetts Institute of Technology (MIT)
Massachusetts Institute of Technology (MIT)
Massachusetts Institute of Technology (MIT)
Massachusetts Institute of Technology (MIT)
Massachusetts Institute of Technology (MIT)
Massachusetts Institute of Technology (MIT)
Massachusetts Institute of Technology (MIT)
Massachusetts Institute of Technology (MIT)
Massachusetts Institute of Technology (MIT)
Massachusetts Institute of Technology (MIT)
Massachusetts Institute of Technology (MIT)
Massachusetts Institute of Technology (MIT)
Massachusetts Institute of Technology (MIT)
ETH Zurich (Swiss Federal Institute of Technology Zurich)
ETH Zurich (Swiss Federal Institute of Technology Zurich)
ETH Zurich (Swiss Federal Institute of Technology Zurich)
ETH Zurich (Swiss Federal Institute of Technology Zurich)
ETH Zurich (Swiss Federal Institute of Technology Zurich)
ETH Zurich (Swiss Federal Institute of Technology Zurich)
ETH Zurich (Swiss Federal Institute of Technology Zurich)
ETH Zurich (Swiss Federal Institute of Technology Zurich)
ETH Zurich (Swiss Federal Institute of Technology Zurich)
ETH Zurich (Swiss Federal Institute of Technology Zurich)
ETH Zurich (Swiss Federal Institute of Technology Zurich)
ETH Zurich (Swiss Federal Institute of Technology Zurich)
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)
National University of Singapore (NUS)
National University of Singapore (NUS)
National University of Singapore (NUS)
University College London (UCL)
University College London (UCL)
California Institute of Technology (Caltech)
California Institute of Technology (Caltech)
California Institute of Technology (Caltech)
California Institute of Technology (Caltech)
California Institute of Technology (Caltech)
California Institute of Technology (Caltech)
California Institute of Technology (Caltech)
California Institute of Technology (Caltech)
California Institute of Technology (Caltech)
Nanyang Technological University, Singapore (NTU Singapore)
Nanyang Technological University, Singapore (NTU Singapore)
Nanyang Technological University, Singapore (NTU Singapore)
Nanyang Technological University, Singapore (NTU Singapore)
University of California, Berkeley (UCB)
University of California, Berkeley (UCB)
University of California, Berkeley (UCB)
University of California, Berkeley (UCB)
University of California, Berkeley (UCB)
University of California, Berkeley (UCB)
University of California, Berkeley (UCB)
University of California, Berkeley (UCB)
The University of New South Wales (UNSW Sydney)
The University of New South Wales (UNSW Sydney)
University of New South Wales (UNSW Sydney)
University of New South Wales (UNSW Sydney)
EPFL – École polytechnique fédérale de Lausanne
EPFL – École polytechnique fédérale de Lausanne
EPFL – École polytechnique fédérale de Lausanne
EPFL – École polytechnique fédérale de Lausanne
Technical University of Munich
Technical University of Munich
Technical University of Munich
Australian National University (ANU)
Australian National University (ANU)
Australian National University (ANU)
The Chinese University of Hong Kong
The Chinese University of Hong Kong
The Chinese University of Hong Kong
The Chinese University of Hong Kong
The Chinese University of Hong Kong
The Chinese University of Hong Kong
University of British Columbia
University of British Columbia
University of British Columbia
University of British Columbia
The Hong Kong University of Science and Technology
The Hong Kong University of Science and Technology
The Hong Kong University of Science and Technology
The Hong Kong University of Science and Technology
The Hong Kong University of Science and Technology
The Hong Kong University of Science and Technology
The Hong Kong University of Science and Technology
University of Michigan-Ann Arbor
University of Michigan-Ann Arbor
University of Michigan-Ann Arbor
University of Michigan-Ann Arbor
University of Michigan-Ann Arbor
University of Michigan-Ann Arbor
University of California, Los Angeles (UCLA)
University of California, Los Angeles (UCLA)
University of California, Los Angeles (UCLA)
University of California, Los Angeles (UCLA)
University of California, Los Angeles (UCLA)
University of California, Los Angeles (UCLA)
Delft University of Technology
The University of Western Australia
The University of Western Australia
KTH Royal Institute of Technology
KTH Royal Institute of Technology
KTH Royal Institute of Technology
Universidad de Buenos Aires (UBA)
Tokyo Institute of Technology (Tokyo Tech)
University of Technology Sydney
University of Technology Sydney
University of Technology Sydney
University of Technology Sydney
KIT, Karlsruhe Institute of Technology
KIT, Karlsruhe Institute of Technology
KIT, Karlsruhe Institute of Technology
Lomonosov Moscow State University
Pohang University of Science And Technology (POSTECH)
Pohang University of Science And Technology (POSTECH)
Pohang University of Science And Technology (POSTECH)
Pohang University of Science And Technology (POSTECH)
Pontificia Universidad Católica de Chile (UC)
Queen Mary University of London
Technical University of Denmark
Technical University of Denmark
Technical University of Denmark
Technical University of Denmark
University of California, Davis
University of California, Davis
University of California, Davis
University of California, Davis
University of California, Davis
University of California, Davis
University of California, Davis
University of California, Davis
University of Wisconsin-Madison
University of Wisconsin-Madison
University of Wisconsin-Madison
University of Wisconsin-Madison
University of Wisconsin-Madison
University of Wisconsin-Madison
University of Wisconsin-Madison
University of Wisconsin-Madison
University of Wisconsin-Madison
University of Wisconsin-Madison
