Titlebook: Intelligent Computer Mathematics; International Confer Manfred Kerber,Jacques Carette,Volker Sorge Conference proceedings 2015 Springer Int

我沒有辱罵

書目名稱Intelligent Computer Mathematics影響因子(影響力)




書目名稱Intelligent Computer Mathematics影響因子(影響力)學(xué)科排名




書目名稱Intelligent Computer Mathematics網(wǎng)絡(luò)公開度




書目名稱Intelligent Computer Mathematics網(wǎng)絡(luò)公開度學(xué)科排名




書目名稱Intelligent Computer Mathematics被引頻次




書目名稱Intelligent Computer Mathematics被引頻次學(xué)科排名




書目名稱Intelligent Computer Mathematics年度引用




書目名稱Intelligent Computer Mathematics年度引用學(xué)科排名




書目名稱Intelligent Computer Mathematics讀者反饋




書目名稱Intelligent Computer Mathematics讀者反饋學(xué)科排名

Bureaucracy

DUCE

Math Search for the Masses: Multimodal Search Interfaces and Appearance-Based Retrievalath search interface and the . search engine. Source code for both systems are publicly available. “The Masses” refers to our emphasis on creating systems for mathematical non-experts, who may be looking to define unfamiliar notation, or browse documents based on the visual appearance of formulae rather than their mathematical semantics.

埋伏

Mining the Archive of Formal ProofsThe Archive of Formal Proofs is a vast collection of computer-checked proofs developed using the proof assistant Isabelle. We perform an in-depth analysis of the archive, looking at various properties of the proof developments, including size, dependencies, and proof style. This gives some insights into the nature of formal proofs.

Confirm

Ranking/Unranking of Lambda Terms with Compressed de Bruijn IndicesWe introduce a compressed de Bruijn representation of lambda terms and define its bijections to standard representations. Our compressed terms facilitate derivation of size-proportionate ranking and unranking algorithms of lambda terms and their inferred simple types. We specify our algorithms as a literate Prolog program.

寬容

Nonthreatening

978-3-319-20614-1Springer International Publishing Switzerland 2015

chalice

Affirm

Jasmin Christian Blanchette,Maximilian Haslbeck,Daniel Matichuk,Tobias Nipkow

agglomerate

Steven Obua,Jacques Fleuriot,Phil Scott,David Aspinall