×

Found 476 Documents (Results 1–100)

100
MathJax

A note on \(\aleph_\alpha\)-saturated o-minimal expansions of real closed fields. (English. Russian original) Zbl 1375.03042

Algebra Logic 54, No. 6, 502-506 (2016); translation from Algebra Logika 54, No. 6, 769-776 (2015).
PDF BibTeX XML Cite
Full Text: DOI arXiv

Categorical methods in algebra and topology. Special volume in honour of Manuela Sobral on the occasion on her 70th birthday. Based on the workshop, Coimbra, Portugal, January 24–26, 2014. (English) Zbl 1326.18002

Textos de Matemática 46. Coimbra: Universidade de Coimbra, Departamento de Matemática (ISBN 978-972-8564-50-6/pbk). 275 p. (2014).
PDF BibTeX XML Cite
Full Text: Link Link

On the endomorphism rings of generic modules of tame triangular matrix algebras over real closed fields. (English) Zbl 1334.16030

Aguilar, M. (ed.) et al., Memorias de la Sociedad Matemática Mexicana. México: Sociedad Matemática Mexicana; México: Instituto de Matemáticas, UNAM. Aportaciones Matemáticas. Comunicaciones 45, 17-53 (2012).
MSC:  16S50 16G60 16G10
PDF BibTeX XML Cite

Computing Hopf bifurcations in chemical reaction networks using reaction coordinates. (English) Zbl 1373.92153

Gerdt, Vladimir P. (ed.) et al., Computer algebra in scientific computing. 14th international workshop, CASC 2012, Maribor, Slovenia, September 3–6, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-32972-2/pbk). Lecture Notes in Computer Science 7442, 84-97 (2012).
MSC:  92E20 68W30 34C23
PDF BibTeX XML Cite
Full Text: DOI Link

Real world verification. (English) Zbl 1250.68197

Schmidt, Renate A. (ed.), Automated deduction – CADE-22. 22nd international conference on automated deduction, Montreal, Canada, August 2–7, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-02958-5/pbk). Lecture Notes in Computer Science 5663. Lecture Notes in Artificial Intelligence, 485-501 (2009).
MSC:  68Q60 68T15
PDF BibTeX XML Cite
Full Text: DOI Link

The SARAG library: some algorithms in real algebraic geometry. (English) Zbl 1230.14002

Iglesias, Andrés (ed.) et al., Mathematical software – ICMS 2006. Second international congress on mathematical software, Castro Urdiales, Spain, September 1–3, 2006. Proceedings. Berlin: Springer (ISBN 978-3-540-38084-9/pbk). Lecture Notes in Computer Science 4151, 122-131 (2006).
PDF BibTeX XML Cite
Full Text: DOI

Dense subfields of Henselian fields and integer parts. (English) Zbl 1107.03037

Enayat, Ali (ed.) et al., Logic in Tehran. Proceedings of the workshop and conference on logic, algebra and arithmetic, Tehran, Iran, October 18–22, 2003. Wellesley, MA: AK Peters (ISBN 1-56881-296-5/pbk; 1-56881-295-7/hbk). Lecture Notes in Logic 26, 204-226 (2006).
PDF BibTeX XML Cite
Full Text: arXiv

Filter Results by …

Document Type

Database

Reviewing State

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Classification

all top 3

Software