Results 91 to 100 of about 120 (116)

The Role of the Mizar Mathematical Library for Interactive Proof Development in Mizar. [PDF]

J Autom Reason, 2018
Bancerek G, Byliński C, Grabowski A, Korniłowicz A, Matuszewski R, Naumowicz A, Pąk K.   +6 more
europepmc   +1 more source

Prospects for Declarative Mathematical Modeling of Complex Biological Systems. [PDF]

Bull Math Biol, 2019
Mjolsness E.
europepmc   +1 more source

'Nobody could possibly misunderstand what a group is': a study in early twentieth-century group axiomatics. [PDF]

Arch Hist Exact Sci, 2017
Hollings CD.
europepmc   +1 more source

Statistical maps. I: Basic properties [PDF]

, 2001
Bugajski, Sławomir
core  

Geometry and physics. [PDF]

Philos Trans A Math Phys Eng Sci, 2010
Atiyah M, Dijkgraaf R, Hitchin N.
europepmc   +1 more source

Orientation in operator algebras. [PDF]

Proc Natl Acad Sci U S A, 1998
Alfsen EM, Shultz FW.
europepmc   +1 more source

Natural language syntax complies with the free-energy principle. [PDF]

Synthese
Murphy E, Holmes E, Friston K.
europepmc   +1 more source

Conformational Analysis of Stiff Chiral Polymers with End-Constraints. [PDF]

Mol Simul, 2006
Kim JS, Chirikjian GS.
europepmc   +1 more source

"In Mathematical Language": On Mathematical Foundations of Quantum Foundations. [PDF]

Entropy (Basel)
Plotnitsky A.
europepmc   +1 more source