×

Found 234 Documents (Results 1–100)

100
MathJax

Non-integrability of the Kepler and the two-body problems on the Heisenberg group. (English) Zbl 07413747

PDF BibTeX XML Cite
Full Text: DOI arXiv

Calculational proofs in relational graphical linear algebra. (English) Zbl 07370046

Carvalho, Gustavo (ed.) et al., Formal methods: foundations and applications. 23rd Brazilian symposium, SBMF 2020, Ouro Preto, Brazil, November 25–27, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12475, 83-100 (2020).
PDF BibTeX XML Cite
Full Text: DOI

Automata learning and Galois connections (Invited Talk). (English) Zbl 07561497

Baier, Christel (ed.) et al., 46th international colloquium on automata, languages, and programming, ICALP 2019, Patras, Greece, July 9–12, 2019. Proceedings. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 132, Article 4, 1 p. (2019).
MSC:  68Nxx 68Qxx
PDF BibTeX XML Cite
Full Text: DOI

Foundations of arithmetic differential geometry. (English) Zbl 1388.11001

Mathematical Surveys and Monographs 222. Providence, RI: American Mathematical Society (AMS) (ISBN 978-1-4704-3623-0/hbk; 978-1-4704-4089-3/ebook). x, 344 p. (2017).
PDF BibTeX XML Cite
Full Text: DOI Link

Constructive Galois connections: taming the Galois connection framework for mechanized metatheory. (English) Zbl 1361.68129

Garrigue, Jacques (ed.) et al., Proceedings of the 21st ACM SIGPLAN international conference on functional programming, ICFP ’16, Nara, Japan, September 18–22, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4219-3). 311-324 (2016).
MSC:  68Q55 06A15 68Q60 68T15
PDF BibTeX XML Cite
Full Text: DOI arXiv

On closure systems and adjunctions between fuzzy preordered sets. (English) Zbl 1314.06005

Baixeries, Jaume (ed.) et al., Formal concept analysis. 13th international conference, ICFCA 2015, Nerja, Spain, June 23–26, 2015. Proceedings. Cham: Springer (ISBN 978-3-319-19544-5/pbk; 978-3-319-19545-2/ebook). Lecture Notes in Computer Science 9113. Lecture Notes in Artificial Intelligence, 114-127 (2015).
MSC:  06A15 06A75
PDF BibTeX XML Cite
Full Text: DOI

Chromatic polynomials and rings in species. (English. French summary) Zbl 1393.05160

Proceedings of the 26th international conference on formal power series and algebraic combinatorics, FPSAC 2014, Chicago, IL, USA, June 29 – July 3, 2014. Nancy: The Association. Discrete Mathematics & Theoretical Computer Science (DMTCS). Discrete Mathematics and Theoretical Computer Science. Proceedings, 691-702 (2014).
PDF BibTeX XML Cite
Full Text: Link

A short introduction to clones. (English) Zbl 1341.08003

Power, John (ed.) et al., Proceedings of the workshop on algebra, coalgebra and topology (WACT 2013), Bath, UK, March 1, 2013. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 303, 107-120, electronic only (2014).
MSC:  08A40 06A15 18C10
PDF BibTeX XML Cite
Full Text: DOI

A more general framework for Cogalois theory. (English) Zbl 1346.20026

Ibadula, Denis (ed.) et al., Bridging algebra, geometry, and topology. Selected papers based on the presentations at the international conference “Experimental and theoretical methods in algebra, geometry and topology”, Eforie Nord, Romania, June 20–25, 2013. Cham: Springer (ISBN 978-3-319-09185-3/hbk; 978-3-319-09186-0/ebook). Springer Proceedings in Mathematics & Statistics 96, 37-84 (2014).
PDF BibTeX XML Cite
Full Text: DOI arXiv

Hypercubes of duality. (English) Zbl 1272.03061

Béziau, Jean-Yves (ed.) et al., Around and beyond the square of opposition. Basel: Birkhäuser (ISBN 978-3-0348-0378-6/pbk; 978-3-0348-0379-3/ebook). Studies in Universal Logic, 293-301 (2012).
MSC:  03B05 03B10 06A15
PDF BibTeX XML Cite
Full Text: DOI

Calculating graph algorithms for dominance and shortest path. (English) Zbl 1358.68077

Gibbons, Jeremy (ed.) et al., Mathematics of program construction. 11th international conference, MPC 2012, Madrid, Spain, June 25–27, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-31112-3/pbk). Lecture Notes in Computer Science 7342, 132-156 (2012).
PDF BibTeX XML Cite
Full Text: DOI Link

Gene expression array exploration using \(\mathcal{K}\)-formal concept analysis. (English) Zbl 1328.92048

Valtchev, Petko (ed.) et al., Formal concept analysis. 9th international conference, ICFCA 2011, Nicosia, Cyprus, May 2–6, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-20513-2/pbk). Lecture Notes in Computer Science 6628. Lecture Notes in Artificial Intelligence, 119-134 (2011).
MSC:  92D10 68T05 68T30
PDF BibTeX XML Cite
Full Text: DOI

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