A Model of Mizar Concepts - Unification

Formalized Mathematics - Poland
doi 10.2478/v10037-010-0009-7
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Walter de Gruyter GmbH

Related search

MizAR 40 for Mizar 40

Journal of Automated Reasoning
Computational TheorySoftwareArtificial IntelligenceMathematics
2015English

Assumed Enhanced Strain and the Extended Finite Element Methods: A Unification of Concepts

Computer Methods in Applied Mechanics and Engineering
Mechanics of MaterialsMechanical EngineeringComputer Science ApplicationsComputational MechanicsAstronomyPhysics
2008English

An Unification-Based Model for Attitude Prediction

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2017English

Nonsupersymmetric Model With Unification of Electroweak and Strong Interactions

Physical Review D
AstronomyPhysics
2016English

A Geometric Unification of Dualities

Nuclear Physics B
High Energy PhysicsNuclear
2002English

A Model of Imprinting Evolved From Neurophysiological Concepts

Zeitschrift für Tierpsychologie
2010English

Formalization of Pell's Equations in the Mizar System

2017English

Asymmetric Unification: A New Unification Paradigm for Cryptographic Protocol Analysis

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Einstein: Unification Theory and Unification of Basic Forces-Ii

American Journal of Physics and Applications
2015English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy