Found 14 Documents (Results 1–14)
Detecting random bifurcations via rigorous enclosures of large deviations rate functions. arXiv:2408.12556
Preprint, arXiv:2408.12556 [math.DS] (2024).
Network rewriting utility description. (English) Zbl 1533.68422
Silvestrov, Sergei (ed.) et al., Non-commutative and non-associative algebra and analysis structures. SPAS 2019. Selected papers based on the presentations at the international conference on stochastic processes and algebraic structures – from theory towards applications, Västerås, Sweden, September 30 – October 2, 2019. Cham: Springer. Springer Proc. Math. Stat. 426, 429-476 (2023).
Mathematics and ChatGPT. A rendezvous at the foot of the technological singularity. (Mathematik und ChatGPT. Ein Rendezvous am Fuße der technologischen Singularität.) (German) Zbl 1532.68003
Berlin: Springer Spektrum (ISBN 978-3-662-68208-1/pbk; 978-3-662-68209-8/ebook). xiv, 290 p. (2023).
Alien coding. (English) Zbl 1531.68164
A retrieval and ranking method of mathematical documents based on CA-YOLOv5 and HFS. (English) Zbl 07607668
MSC:
68V99
CICM’21 systems entries. (English) Zbl 1485.68300
Kamareddine, Fairouz (ed.) et al., Intelligent computer mathematics. 14th international conference, CICM 2021, Timisoara, Romania, July 26–31, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12833, 245-248 (2021).
MSC:
68V99
Machine learning control by symbolic regression. (English) Zbl 1475.68005
Cham: Springer (ISBN 978-3-030-83212-4/hbk; 978-3-030-83215-5/pbk; 978-3-030-83213-1/ebook). ix, 155 p. (2021).
Tools for the investigation of substructural and paraconsistent logics. (English) Zbl 1432.68547
Fermé, Eduardo (ed.) et al., Logics in artificial intelligence. 14th European conference, JELIA 2014, Funchal, Madeira, Portugal, September 24–26, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8761, 18-32 (2014).
Automated support for the investigation of paraconsistent and other logics. (English) Zbl 1432.68546
Artemov, Sergei (ed.) et al., Logical foundations of computer science. International symposium, LFCS 2013, San Diego, CA, USA, January 6–8, 2013. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 7734, 119-133 (2013).
Filter Results by …
Document Type
- Journal Articles (7)
- Collection Articles (4)
- Books (2)
- arXiv Preprints (1)
all
top 5
Author
- Ciabattoni, Agata (2)
- Spendier, Lara (2)
- Blessing, Alexandra (1)
- Blumenthal, Alex (1)
- Breden, Maxime (1)
- Collart, Stéphane (1)
- D’Agostino, Susan (1)
- Davies, Alex (1)
- Diveev, Askhat (1)
- Engel, Maximilian (1)
- Gauthier, Thibault (1)
- Gu, Dawu (1)
- Han, Shuai (1)
- Helfrich-Schkarbanenko, Andreas (1)
- Hellström, Lars (1)
- Lahav, Ori (1)
- Li, Yiming (1)
- Líška, Martin (1)
- Liu, Shengli (1)
- Lupták, Dávid (1)
- Novotný, Vít (1)
- Olšák, Miroslav (1)
- Ruzicka, Michal (1)
- Shahzad, Mohammad (1)
- Shmalko, Elizaveta (1)
- Shminke, Boris A. (1)
- Sojka, Petr (1)
- Štefánik, Michal (1)
- Tian, Xuedong (1)
- Urban, Josef (1)
- Wenzel, Makarius (1)
- Xu, Xinpeng (1)
- Yang, Fang (1)
- Zamansky, Anna (1)
all
top 3
Software
- GitHub (3)
- Isabelle/HOL (2)
- ATPboost (1)
- AlexNet (1)
- AlphaTensor (1)
- Archive Formal Proofs (1)
- BliStr (1)
- BliStrTune (1)
- CVC4SY (1)
- ChatGPT (1)
- DreamCoder (1)
- Easychair (1)
- HipSpec (1)
- ImageNet (1)
- Isabelle (1)
- Isabelle/jEdit (1)
- MaLARea (1)
- Mathematica (1)
- Matlab (1)
- Nitpick (1)
- OEIS (1)
- SQLite (1)
- TK (1)
- Tensor2Tensor (1)
- TikZ (1)
- docstrip (1)
- pgf (1)
