NOVA Math

Home NOVA Math

NOVA Math

Towards the Structure of Mathematical Proof

2014, Joint Proceedings of the MathUI, OpenMath and ThEdu Workshops and Work in Progress track at CICM co-located with Conferences on Intelligent Computer Mathematics (CICM 2014), Coimbra, Portugal, July 7-11, 2014., Kahle,R

Read More

Lefschetz and Hirzebruch-Riemann-Roch formulas via noncommutative motives

2014, Journal of Noncommutative Geometry, Cisinski,DC;Tabuada,G

Read More

Groups with poly-context-free word problem

2014, Groups, Complexity, Cryptology, Brough,T

Read More

Morita homotopy theory of C-categories

2014, Journal of Algebra, Dell ºAmbrogio,I;Tabuada,G

Read More

Hopfian and co-hopfian subsemigroups and extensions

2014, Demonstratio Mathematica, Cain,AJ;Maltcev,V

Read More

Conjugation in semigroups

2014, JOURNAL OF ALGEBRA, Araujo,J;Konieczny,J;Malheiro,A

Read More

JACOBIANS OF NONCOMMUTATIVE MOTIVES

2014, MOSCOW MATHEMATICAL JOURNAL, Marcolli,M;Tabuada,G

Read More

Inverse semigroups with idempotent-fixing automorphisms

2014, SEMIGROUP FORUM, Araujo,J;Kinyon,M

Read More

Markov semigroups, monoids and groups

2014, INTERNATIONAL JOURNAL OF ALGEBRA AND COMPUTATION, Cain,AJ;Maltcev,V

Read More

Subalgebras of FA-presentable algebras

2014, ALGEBRA UNIVERSALIS, Cain,AJ;Ruskuc,N

Read More