Search alternatives:
"mathematician" » "mathematicians", "mathematical"

1
Published 2022
Springer Nature Singapore
Subjects: ...Mathematics of Computing...

2
Published 2018
Springer International Publishing
Table of Contents: ...The Mathematics of the uncertain -- Using Mathematica to calculate shortest confidence intervals...

3
by Heinz, Stefan
Published 2011
Springer Berlin Heidelberg
Subjects: ...Mathematical Applications in Chemistry...

4
by Ganesalingam, Mohan
Published 2013
Springer Berlin Heidelberg
Table of Contents: ....2.2 Aspect as Properties -- 5.3 Type Distinctions in Mathematics -- 5.3.1 Methodology -- 5.3.2...

5
Published 2008
Springer Berlin Heidelberg
Table of Contents: ... Polynomial Systems -- Cryptology -- Some Mathematical Problems in Cryptanalysis -- A Reduction Attack...

6
Published 2016
Springer International Publishing
Table of Contents: ... -- Mathematical Analysis of a Continuous Crystallization Process -- Wave Velocity Estimation in Heterogeneous...

7
by Friedman, Avner
Published 1992
Springer New York
Table of Contents: ...6 Stochastic analysis of a slotted communication channel -- 6.1 Slotted channel -- 6.2 Mathematical...

8
Published 1992
Springer Berlin Heidelberg
Subjects: ...Discrete Mathematics...

9
Published 2008
Springer Berlin Heidelberg
Table of Contents: ... Reasoning in Isabelle/Isar -- A Mathematical Type for Physical Variables -- Unit Knowledge Management...

10
Published 1998
Springer New York
Subjects: ...Mathematical Applications in Chemistry...

11
Published 2006
Springer Berlin Heidelberg
Table of Contents: ... -- An Exploration in the Space of Mathematical Knowledge -- Session II: Authoring -- Authoring Presentation...

12
by Vince, John
Published 2017
Springer London
Subjects: ...Computer science / Mathematics...

13
Published 2018
Springer International Publishing
Table of Contents: ...Calculemus -- Digital Mathematical Libraries -- Mathematical Knowledge Management...

14
Published 2006
Springer Berlin Heidelberg
Table of Contents: ... in Mathematics -- Contributed Papers -- Structured Induction Proofs in Isabelle/Isar -- Interpretation of Locales...

15
Published 2007
Springer Berlin Heidelberg
Subjects: ...Computer science / Mathematics...

16
Published 2005
Springer Berlin Heidelberg
Subjects: ...Computer science / Mathematics...

17
Published 2005
Springer Berlin Heidelberg
Table of Contents: ... and Obstruction -- Bridging Theorem Proving and Mathematical Knowledge Retrieval -- Formal Description of Natural...

18
Published 2011
Springer Berlin Heidelberg
... International Conference on Mathematical Knowledge Management, MKM 2011, and a new track on Systems and Projects...

19
Published 2013
Springer Berlin Heidelberg
Subjects: ...Computer science / Mathematics...

20
Published 2009
Springer Berlin Heidelberg
Table of Contents: ... Grammar Approach to Mathematical Formula Recognition from PDF -- Formal Proof: Reconciling Correctness...