-
Can an A.I. win a medal in the mathematical olympiad? – Benchmarking mechanized mathematics on pre-university problems1
IOS Press | 2018|Schlagwörter: Mechanized mathematics -
Study of differential control method for solving chaotic solutions of nonlinear dynamic system
Online Contents | 2011|Schlagwörter: Mechanized mathematics -
Study of differential control method for solving chaotic solutions of nonlinear dynamic system
Online Contents | 2011|Schlagwörter: Mechanized mathematics -
Workshop on programming languages for mechanized mathematics systems; PLMMS, CICM
British Library Conference Proceedings | 2008|Schlagwörter: Mechanized mathematics systems -
Study of differential control method for solving chaotic solutions of nonlinear dynamic system
Springer Verlag | 2011|Schlagwörter: Mechanized mathematics -
A Formal Proof of Modal Completeness for Provability Logic
Freier ZugriffDataCite | 2021|Schlagwörter: Mechanized Mathematics -
An Overview of a Formal Framework for Managing Mathematics
Springer Verlag | 2003|Schlagwörter: mechanized mathematics -
A Formally Verified Solver for Homogeneous Linear Diophantine Equations
Freier ZugriffSpringer Verlag | 2018|Schlagwörter: Mechanized mathematics
- ««
- «
- 1
- »»
Meine Suche schicken an (beta)
Schicken Sie ihre Suchanfrage (Suchterm ohne Filter) an andere Datenbanken, Portale und Kataloge, um ggf. weitere interessante Treffer zu finden:
Dimensions ist eine Datenbank für Abstracts und Zitate, die Informationen zu Forschungsförderungen mit daraus resultierenden Veröffentlichungen, Studien und Patenten verknüpft.
Im TIB AV-Portal können audiovisuelle Medien aus Wissenschaft und Lehre recherchiert und eigene wissenschaftliche Videos publiziert werden.
Im FID move kann nach fachspezifischer Literatur, Forschungsdaten und weitere Informationen aus der Mobilitäts- und Verkehrsforschung gesucht werden.
Der Open Research Knowledge Graph liefert strukturiert beschriebene Forschungsinhalte und macht diese vergleichbar.
Frei zugänglicher Ausschnitt der Verbunddatenbank K10plus des GBV und des SWB mit für die Fernleihe und Direktlieferdienste relevanten Materialien.