標(biāo)題: Titlebook: Mathematical Knowledge Management; 5th International Co Jonathan M. Borwein,William M. Farmer Conference proceedings 2006 Springer-Verlag B [打印本頁(yè)] 作者: EFFCT 時(shí)間: 2025-3-21 20:06
書目名稱Mathematical Knowledge Management影響因子(影響力)
作者: Aerate 時(shí)間: 2025-3-21 22:55
Andrew Aberdeinork for understanding neurocognitive development. Included in the coverage:.Assessment of very young children in Africa in the context of HIV..Psychosocial aspects of malnutrition among African children..Assess978-1-4899-9345-8978-1-4614-6834-9Series ISSN 2625-2856 Series E-ISSN 2625-2864 作者: Palpate 時(shí)間: 2025-3-22 00:43
Simon Colton,Pedro Torres,Paul Cairns,Volker Sorgeork for understanding neurocognitive development. Included in the coverage:.Assessment of very young children in Africa in the context of HIV..Psychosocial aspects of malnutrition among African children..Assess978-1-4899-9345-8978-1-4614-6834-9Series ISSN 2625-2856 Series E-ISSN 2625-2864 作者: 植物群 時(shí)間: 2025-3-22 08:28 作者: 拱形大橋 時(shí)間: 2025-3-22 09:53 作者: infinite 時(shí)間: 2025-3-22 15:37 作者: 歡騰 時(shí)間: 2025-3-22 19:35
Makarius Wenzelcts of client presentation. This expert coverage goes beyond well-known constructs of "collectivism" and "family orientation" toward establishing an evidence base crucial to understanding, assessing, and treating Asian and Asian American clients, including: .?.Linguistic factors and language assessm作者: 極力證明 時(shí)間: 2025-3-22 23:13 作者: cogent 時(shí)間: 2025-3-23 05:02 作者: Watemelon 時(shí)間: 2025-3-23 08:53 作者: Offbeat 時(shí)間: 2025-3-23 12:23
Matthias Baaz,Stefan Hetzl,Alexander Leitsch,Clemens Richter,Hendrik Spohrgroup of young patients with unilateral hippocampal sclerosis and normal intelligence who had either mild TLE or were seizure free..Right hippocampal lesions were associated with reduced potential for learning spatial material. Our data support the idea that hippocampal sclerosis per se is sufficien作者: Keratin 時(shí)間: 2025-3-23 15:57
Serge Autexier,Dominik Dietrichcomes from the study of axonal segregation within the visual system (see 15 for review). Similarly, it has been recently proposed that the appearance of functional postsynaptic AMPA receptors. or the shortening of NMDA receptor mediated EPSPs. are also modulated by neuronal synaptic activity. Thus, 作者: 郊外 時(shí)間: 2025-3-23 19:51 作者: myriad 時(shí)間: 2025-3-24 01:03
Toshihiro Kanahori,Alan Sexton,Volker Sorge,Masakazu Suzukicomes from the study of axonal segregation within the visual system (see 15 for review). Similarly, it has been recently proposed that the appearance of functional postsynaptic AMPA receptors. or the shortening of NMDA receptor mediated EPSPs. are also modulated by neuronal synaptic activity. Thus, 作者: Infiltrate 時(shí)間: 2025-3-24 04:15
Amar Raja,Matthew Rayner,Alan Sexton,Volker Sorgecomes from the study of axonal segregation within the visual system (see 15 for review). Similarly, it has been recently proposed that the appearance of functional postsynaptic AMPA receptors. or the shortening of NMDA receptor mediated EPSPs. are also modulated by neuronal synaptic activity. Thus, 作者: MAG 時(shí)間: 2025-3-24 09:59
Rimantas Rudzkis,Vaidas Balys,Michiel Hazewinkelgroup of young patients with unilateral hippocampal sclerosis and normal intelligence who had either mild TLE or were seizure free..Right hippocampal lesions were associated with reduced potential for learning spatial material. Our data support the idea that hippocampal sclerosis per se is sufficien作者: hypotension 時(shí)間: 2025-3-24 11:17
Eberhard R. Hilf,Michael Kohlhase,Heinrich Stamerjohannsgroup of young patients with unilateral hippocampal sclerosis and normal intelligence who had either mild TLE or were seizure free..Right hippocampal lesions were associated with reduced potential for learning spatial material. Our data support the idea that hippocampal sclerosis per se is sufficien作者: amnesia 時(shí)間: 2025-3-24 18:33 作者: Arroyo 時(shí)間: 2025-3-24 19:35
Luca Padovani,Stefano Zacchiroligroup of young patients with unilateral hippocampal sclerosis and normal intelligence who had either mild TLE or were seizure free..Right hippocampal lesions were associated with reduced potential for learning spatial material. Our data support the idea that hippocampal sclerosis per se is sufficien作者: photopsia 時(shí)間: 2025-3-25 01:49
William Naylor,Julian Padgetbook takes a lifespan approach to prevention and intervention, modeling a universal framework for understanding neurocognitive development. Included in the coverage:.Assessment of very young children in Africa in the context of HIV..Psychosocial aspects of malnutrition among African children..Assess作者: decode 時(shí)間: 2025-3-25 06:37 作者: Accolade 時(shí)間: 2025-3-25 09:07
https://doi.org/10.1007/11812289LaTeX; complexity; e-learning; formal logic; formal mathematics; interactive algebra; knowledge management作者: escalate 時(shí)間: 2025-3-25 11:50 作者: 颶風(fēng) 時(shí)間: 2025-3-25 16:20
Mathematical Knowledge Management978-3-540-37106-9Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: Hectic 時(shí)間: 2025-3-25 20:38
0302-9743 Overview: 978-3-540-37104-5978-3-540-37106-9Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: output 時(shí)間: 2025-3-26 01:07 作者: Misgiving 時(shí)間: 2025-3-26 04:35
A Formal Correspondence Between OMDoc with Alternative Proofs and the ,-Calculus of the .-calculus seen as a proof format. We provide explanations in pseudo-natural language of proofs in both formats, and a formal correspondence between the two by means of two mutually inverse encodings of one format in the other one.作者: 含水層 時(shí)間: 2025-3-26 10:38
Verifying and Invalidating Textbook Proofs Using Scunakable representations of natural deduction proofs. We show how the new mathematical assistant system Scunak can be used to verify a textbook proof by translating the . version into a proof term in a dependent type theory. We also show how Scunak can give interesting output upon failure.作者: Flustered 時(shí)間: 2025-3-26 14:26 作者: 愛(ài)國(guó)者 時(shí)間: 2025-3-26 17:19
Structured Induction Proofs in Isabelle/Isarn-standard variants of induction as well, such as co-induction and nominal induction. This demonstrates that Isar provides a viable platform for building domain-specific tools that support fully-formal mathematical proof composition.作者: 征服 時(shí)間: 2025-3-26 23:42
A Proof-Theoretic Approach to Tactics the proof steps they represent. We extend a system presented in [1,2] to represent tactics at the same level as theorems and move freely from tactics to proof steps and provide an example of its usefulness.作者: fatty-streak 時(shí)間: 2025-3-27 04:52
Proof Transformation by CERESuality rules). This extension makes it much easier to formalize mathematical proofs and increases the performance of the cut-elimination method. The system CERES already proved efficient in handling very large proofs.作者: intoxicate 時(shí)間: 2025-3-27 05:53 作者: 不利 時(shí)間: 2025-3-27 11:28 作者: Assault 時(shí)間: 2025-3-27 14:32
Managing Automatically Formed Mathematical Theorieshe management tools – has led us to make interesting discoveries in algebraic domains. We demonstrate this with some illustrative results from HR’s theories about an algebra of one axiom. The results fueled further developments, and led us to discover and prove a fundamental theorem about this domain.作者: paltry 時(shí)間: 2025-3-27 19:18 作者: 中子 時(shí)間: 2025-3-27 22:01
Interpretation of Locales in Isabelle: Theories and Proof Contextson geared towards reuse. All three kinds of contexts are structured, to different extents. We analyse the “topology” of Isabelle’s landscape of specification contexts, by means of development graphs, in order to establish what kinds of reuse are possible.作者: 鳴叫 時(shí)間: 2025-3-28 04:38 作者: JADED 時(shí)間: 2025-3-28 08:20 作者: Incommensurate 時(shí)間: 2025-3-28 11:10 作者: FLAX 時(shí)間: 2025-3-28 17:02 作者: 難聽的聲音 時(shí)間: 2025-3-28 18:54 作者: FLAX 時(shí)間: 2025-3-29 02:22
Capturing the Content of Physics: Systems, Observables, and Experimentsements. The representational infrastructure for systems and experiments allow to capture the distinctive practice of physics: natural laws are supported by evidence from experiments which are described, disseminated and reproduced by others.作者: 體貼 時(shí)間: 2025-3-29 03:34 作者: osteopath 時(shí)間: 2025-3-29 08:58
The Omega Number: Irreducible Complexity in Pure Mathr than they are. In other words, you need a mathematical theory with . bits of axioms in order to be able to determine . bits of Ω. This pathological property of Ω is difficult to reconcile with traditional philosophies of mathematics and with traditional views of the nature of mathematical proof an作者: 細(xì)查 時(shí)間: 2025-3-29 12:08
Roles of Math Search in Mathematicsdes finding information, math search can help advance and manage mathematical knowledge. This paper will present the short-term goals and state of the art of math-aware fine-grain search. Afterwards, it will focus on how math search can help advance and manage mathematical knowledge, and discuss wha作者: infarct 時(shí)間: 2025-3-29 19:35 作者: Gum-Disease 時(shí)間: 2025-3-29 20:22 作者: Commonplace 時(shí)間: 2025-3-30 01:45
A Dynamic Poincaré Principleven at different levels of abstraction and writing a proof is typically a compromise between two extremes. On the one hand it should be in full detail so that it can be checked without using any intelligence, on the other hand it should be concise and informative. Making everything fully explicit is作者: Calculus 時(shí)間: 2025-3-30 04:06
A Proof-Theoretic Approach to Tacticsofs quickly and easily. The language used for tactics is usually a full-scale programming language, separate from the language used to represent proofs. Consequently, there is also a separation between the use of theorems in proofs and the use of tactics. Our goal is to represent tactics in a way th作者: integrated 時(shí)間: 2025-3-30 08:55
A Formal Correspondence Between OMDoc with Alternative Proofs and the ,-Calculus of the .-calculus seen as a proof format. We provide explanations in pseudo-natural language of proofs in both formats, and a formal correspondence between the two by means of two mutually inverse encodings of one format in the other one.作者: 集聚成團(tuán) 時(shí)間: 2025-3-30 13:28 作者: maladorit 時(shí)間: 2025-3-30 18:25 作者: 總 時(shí)間: 2025-3-30 21:07 作者: largesse 時(shí)間: 2025-3-31 01:09 作者: Popcorn 時(shí)間: 2025-3-31 05:42
Towards a Parser for Mathematical Formula Recognitionrucial. A robust system for this task needs to combine low level character recognition with higher level structural analysis of mathematical formulas. We present progress towards this goal by extending a database-driven optical character recognition system for mathematics with two high level analysi作者: Projection 時(shí)間: 2025-3-31 12:44
Stochastic Modelling of Scientific Terms Distribution in Publicationsg data in a supervised manner to identify appropriate keywords is considered. We introduce the transparent concept of identification cloud as a means to represent the semantics of scientific terms. This concept is mathematically defined by models of scientific terms stochastic distributions over pub作者: 其他 時(shí)間: 2025-3-31 13:37
Capturing the Content of Physics: Systems, Observables, and Experimentssical ., and .. The formalization of the description of physics observables follows the structural essence of the operational theory of physics measurements. The representational infrastructure for systems and experiments allow to capture the distinctive practice of physics: natural laws are support作者: DALLY 時(shí)間: 2025-3-31 18:42 作者: 可互換 時(shí)間: 2025-3-31 22:35 作者: 形容詞詞尾 時(shí)間: 2025-4-1 05:05 作者: Concerto 時(shí)間: 2025-4-1 06:25
From Untyped to Polymorphically Typed Objects in Mathematical Web Services. The Aldor language has a sophisticated category-based type system that was specifically developed for the purpose of modelling mathematical structures, while the system itself supports the creation of small-footprint applications suitable for deployment as web services. In this paper we present ou
