Arama Sonuçları - "Mathematician"

Assessment of divine proportion in the cranial structure of individuals with Angle Class II malocclusion on lateral cephalograms Yazar: Marcos André dos Santos da Silva, Edmundo Médici Filho, Julio Cezar de Melo Castilho, Cássia T. Lopes de Alcântara Gil

Connect to this object online.

Erhard Weigel (1625-1699) und seine Schüler Beiträge des 7. Erhard-Weigel-Kolloquiums 2014

OAPEN Library: download the publication
OAPEN Library: description of the publication

Common mistakes in writing basic elements of C++ programming for dummies / Syarifah Adilah Mohamed Yusoff, Rozita Kadar and Saiful Nizam Warris Yazar: Mohamed Yusoff, Syarifah Adilah, Kadar, Rozita, Warris, Saiful Nizam

Link Metadata

Das Hauptgebäude der Universität Hamburg als Gedächtnisort. Mit sieben Porträts in der NS-Zeit vertriebener Wissenschaftlerinnen und Wissenschaftler

OAPEN Library: download the publication
OAPEN Library: description of the publication

Numerical Linear Algebra and the Applications

DOAB: download the publication
DOAB: description of the publication

Student participation rate in their learning self-assessment Yazar: Liliam Barrios Herrero, Eduardo de Jesús Pomares Bory, Dayamí Maza Ares

Connect to this object online.

The most dangerous hospital or the most dangerous equation? Yazar: Tu Yu-Kang, Gilthorpe Mark S

Connect to this object online.

Revisiting a historic human brain with magnetic resonance imaging - the first description of a divided central sulcus Yazar: Renate eSchweizer, Gunther eHelms, Jens eFrahm

Connect to this object online.

Mathematics for Elementary Teachers Yazar: Manes, Michelle

Access online version

Lewis Fry Richardson: His Intellectual Legacy and Influence in the Social Sciences

DOAB: download the publication
DOAB: description of the publication

Science in Court Society: Giovan Battista Benedetti's "Diversarum speculationum mathematicarum et physicarum liber" (Turin, 1585) Yazar: Renn, Jürgen

DOAB: download the publication
DOAB: description of the publication

Teknologi Pembelajaran Matematika Pembuktian Teorema Pythagoras Berbasis Visual Yazar: Muhammad Naufal Faris, Saida Ulfa, Henry Praherdhiono

Connect to this object online.

Competencias Matemáticas en la Educación Inicial / Math Skills in Early Childhood Education Yazar: Oleg Gustavo Vásquez Arrieta

Connect to this object online.

Lewis Fry Richardson: His Intellectual Legacy and Influence in the Social Sciences

OAPEN Library: download the publication
OAPEN Library: description of the publication

The Legacy of Felix Klein

İçindekiler: “…I Introduction -- Felix Klein - Mathematician, Academic Organizer, Educational Reformer -- What is or what might be the legacy of Felix Klein? …”
Link to Metadata

La ciencia como poética de la inteligencia Science as poetics of intelligence Yazar: Miguel Ángel Sánchez Rodríguez

Connect to this object online.

CULTUROLOGICAL APPROACH AS METHODOLOGICAL BASIS OF MATHEMATICAL EDUCATION Yazar: Ye. A. Perminov

Connect to this object online.

Erhard Weigel (1625-1699) und seine Schüler - Beiträge des 7. Erhard-Weigel-Kolloquiums 2014

OAPEN Library: download the publication
OAPEN Library: description of the publication

Automated Deduction - CADE 28 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings /

İçindekiler: “…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

Stability Problems for Stochastic Models: Theory and Applications

DOAB: download the publication
DOAB: description of the publication