Search Results - "mathematician"
Suggested Topics within your search.
Suggested Topics within your search.
- Mathematics 25
- History of mathematics 10
- Research & information: general 10
- Mathematics & science 9
- Education 8
- Mathematics Education 8
- Study and teaching 8
- Information technology industries 7
- Teachers 7
- Teaching and Teacher Education 7
- Training of 7
- Algebra 6
- Computer modelling & simulation 5
- Computer science 5
- History 5
- History of engineering & technology 5
- Comparative education 4
- History of education 4
- International and Comparative Education 4
- International education 4
- Literature: history & criticism 4
- Political science & theory 4
- Production engineering 4
- Teaching of a specific subject 4
- Technical design 4
- Technology: general issues 4
- Applied mathematics 3
- Biology, life sciences 3
- Computer vision 3
- Diaries, letters & journals 3
-
61
-
62
-
63
-
64
-
65
Numerical Linear Algebra and the Applications
Published 2021DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
66
-
67
-
68
-
69
-
70
Lewis Fry Richardson: His Intellectual Legacy and Influence in the Social Sciences
Published 2020DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
71
-
72
-
73
-
74
-
75
The Legacy of Felix Klein
Published 2019Table of Contents: “…I Introduction -- Felix Klein - Mathematician, Academic Organizer, Educational Reformer -- What is or what might be the legacy of Felix Klein? …”
Link to Metadata
Electronic eBook -
76
-
77
-
78
-
79
Automated Deduction - CADE 28 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings /
Published 2021Table of Contents: “…Invited Talks -- Non-well-founded Deduction for Induction and Coinduction -- Towards the Automatic Mathematician -- Logical Foundations -- Tableau-based decision procedure for non-Fregean logic of sentential identity -- Learning from Lukasiewicz and Meredith: Investigations into Proof Structures -- Efficient Local Reductions to Basic Modal Logic -- Isabelle's Metalogic: Formalization and Proof Checker -- Theory and Principles -- The ksmt calculus is a delta-complete decision procedure for non-linear constraints -- Universal Invariant Checking of Parametric Systems with Quantifier-Free SMT Reasoning -- Politeness and Stable Infiniteness: Stronger Together -- Equational Theorem Proving Modulo -- Unifying Decidable Entailments in Separation Logic with Inductive Definitions -- Subformula Linking for Intuitionistic Logic with Application to Type Theory -- Efficient SAT-based Proof Search in Intuitionistic Propositional Logic -- Proof Search and Certificates for Evidential Transactions -- Non-Clausal Redundancy Properties -- Multi-Dimensional Interpretation Methods for Termination of Term Rewriting -- Finding Good Proofs for Description Logic Entailments Using Recursive Quality Measures -- Computing Optimal Repairs of Quantified ABoxes w.r.t. …”
Link to Metadata
Electronic eBook -
80
Stability Problems for Stochastic Models: Theory and Applications
Published 2021DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter