AMiner
Categorie:Academic researchPrijzen: Gratis
Beschrijving
AI-gestuurd platform voor academisch onderzoek en technologische intelligentie, met zoeken naar papers, zoeken naar patenten, literatuurvolging en wetenschappersprofielen.
Gerelateerde tools
alphaxiv
Een open academische discussiegemeenschap op basis van het arXiv-platform waarmee gebruikers regel voor regel kunnen reageren, vragen kunnen stellen en in realtime kunnen interacteren door het linkdomein van het papier (arxiv.org door alphaxiv.org) rechtstreeks op de papierpagina te vervangen. En biedt AI-functies zoals Ask AI en door AI gegenereerde artikelblogs.
GratisBezoek →
Lean 4
Een interactieve stellingbewijzer en een functionele programmeertaal, die fungeert als kerninfrastructuur voor formeel AI-onderzoek en geautomatiseerd stellingbewijzen (bijv. AlphaProof, DeepSeek-Prover).
Gratis