Cover Image
Read Now

1
Published 2022
Springer Nature Singapore
Subjects: “...Mathematics of Computing...”
Cover Image
Read Now

2
by Heinz, Stefan
Published 2011
Springer Berlin Heidelberg
Subjects: “...Mathematical Applications in Chemistry...”
Cover Image
Read Now

3
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...”
Cover Image
Read Now

4
Published 2018
Springer International Publishing
Table of Contents: “...The Mathematics of the uncertain -- Using Mathematica to calculate shortest confidence intervals...”
Cover Image
Read Now

5
Published 2008
Springer Berlin Heidelberg
Table of Contents: “... Polynomial Systems -- Cryptology -- Some Mathematical Problems in Cryptanalysis -- A Reduction Attack...”
Cover Image
Read Now

6
Published 2016
Springer International Publishing
Table of Contents: “... -- Mathematical Analysis of a Continuous Crystallization Process -- Wave Velocity Estimation in Heterogeneous...”
Cover Image
Read Now

7
by Vince, John
Published 2017
Springer London
Subjects: “...Computer science / Mathematics...”
Cover Image
Read Now

8
Published 2018
Springer International Publishing
Table of Contents: “...Calculemus -- Digital Mathematical Libraries -- Mathematical Knowledge Management...”
Cover Image
Read Now

9
Published 2006
Springer Berlin Heidelberg
Table of Contents: “... in Mathematics -- Contributed Papers -- Structured Induction Proofs in Isabelle/Isar -- Interpretation of Locales...”
Cover Image
Read Now

10
Published 2007
Springer Berlin Heidelberg
Subjects: “...Computer science / Mathematics...”
Cover Image
Read Now

11
Published 2006
Springer Berlin Heidelberg
Table of Contents: “... -- An Exploration in the Space of Mathematical Knowledge -- Session II: Authoring -- Authoring Presentation...”
Cover Image
Read Now

12
Published 2005
Springer Berlin Heidelberg
Subjects: “...Computer science / Mathematics...”
Cover Image
Read Now

13
Published 2005
Springer Berlin Heidelberg
Table of Contents: “... and Obstruction -- Bridging Theorem Proving and Mathematical Knowledge Retrieval -- Formal Description of Natural...”
Cover Image
Read Now

14
Published 2011
Springer Berlin Heidelberg
“... International Conference on Mathematical Knowledge Management, MKM 2011, and a new track on Systems and Projects...”
Cover Image
Read Now

15
Published 2013
Springer Berlin Heidelberg
Subjects: “...Computer science / Mathematics...”
Cover Image
Read Now

16
Published 2009
Springer Berlin Heidelberg
Table of Contents: “... Grammar Approach to Mathematical Formula Recognition from PDF -- Formal Proof: Reconciling Correctness...”
Cover Image
Read Now

17
by Vince, John
Published 2014
Springer London
Table of Contents: “...Preface -- Mathematics -- Numbers -- Algebra -- Trigonometry -- Coordinate Systems -- Vector...”
Cover Image
Read Now

18
Published 2016
Springer International Publishing
“... Computer Mathematics, CICM 2016, held in Bialystok, Poland, in July 2016. The 10 full papers and 2 short...”
Cover Image
Read Now

19
Published 1996
Springer Netherlands
Subjects: “...Mathematical logic...”
Cover Image
Read Now

20
Published 2017
Springer International Publishing
Table of Contents: “... Mathematics Libraries track: math-aware technologies, standards, algorithms, and processes -- Mathematical...”