Sign in
Facet browsing currently unavailable
Page 8 of 379 results
Sort by: relevance publication year
|
Solutions of Linear Equations JOURNAL ARTICLE published 1 January 2008 in Formalized Mathematics |
|
On the Permanent of a Matrix JOURNAL ARTICLE published 1 January 2006 in Formalized Mathematics |
|
Nilpotent Groups JOURNAL ARTICLE published 1 January 2010 in Formalized Mathematics |
|
The Measurability of Complex-Valued Functional Sequences JOURNAL ARTICLE published 1 January 2009 in Formalized Mathematics |
|
Banach’s Continuous Inverse Theorem and Closed Graph Theorem JOURNAL ARTICLE published 1 December 2012 in Formalized Mathematics |
|
Basic Properties of the Rank of Matrices over a Field JOURNAL ARTICLE published 1 January 2007 in Formalized Mathematics |
|
The Axiomatization of Propositional Linear Time Temporal Logic JOURNAL ARTICLE published 1 January 2011 in Formalized Mathematics |
|
Introduction to Diophantine Approximation. Part II JOURNAL ARTICLE published 20 December 2017 in Formalized Mathematics |
|
Several Differentiation Formulas of Special Functions. Part IV JOURNAL ARTICLE published 1 January 2006 in Formalized Mathematics |
|
The Derivations of Temporal Logic Formulas JOURNAL ARTICLE published 1 December 2012 in Formalized Mathematics |
|
More on Continuous Functions on Normed Linear Spaces JOURNAL ARTICLE published 1 January 2011 in Formalized Mathematics |
|
Free ℤ-module JOURNAL ARTICLE published 1 December 2012 in Formalized Mathematics |
|
Labelled State Transition Systems JOURNAL ARTICLE published 1 January 2009 in Formalized Mathematics |
|
Several Integrability Formulas of Some Functions, Orthogonal Polynomials and Norm Functions JOURNAL ARTICLE published 1 January 2009 in Formalized Mathematics |
|
Inverse Trigonometric Functions Arctan and Arccot JOURNAL ARTICLE published 1 January 2008 in Formalized Mathematics |
|
The Rank+Nullity Theorem JOURNAL ARTICLE published 1 January 2007 in Formalized Mathematics |
|
Operations of Points on Elliptic Curve in Projective Coordinates JOURNAL ARTICLE published 1 January 2012 in Formalized Mathematics |
|
Binary Relations-based Rough Sets – an Automated Approach JOURNAL ARTICLE published 1 June 2016 in Formalized Mathematics |
|
Difference and Difference Quotient. Part IV JOURNAL ARTICLE published 1 January 2011 in Formalized Mathematics |
|
Free Interpretation, Quotient Interpretation and Substitution of a Letter with a Term for First Order Languages JOURNAL ARTICLE published 1 January 2011 in Formalized Mathematics |