×

Found 14,322 Documents (Results 1–100)

Composite consensus-building process: permissible meeting analysis and compromise choice exploration. (English) Zbl 07823963

Maemura, Yu (ed.) et al., Group decision and negotiation in the era of multimodal interactions. 23rd international conference on group decision and negotiation, GDN 2023, Tokyo, Japan, June 11–15, 2023. Proceedings. Cham: Springer. Lect. Notes Bus. Inf. Process. 478, 97-112 (2023).
MSC:  91B06 91B14
PDFBibTeX XMLCite
Full Text: DOI arXiv

Network rewriting utility description. (English) Zbl 07822779

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).
PDFBibTeX XMLCite
Full Text: DOI

VizAR: visualization of automated reasoning proofs (system description). (English) Zbl 07810741

Dubois, Catherine (ed.) et al., Intelligent computer mathematics. 16th international conference, CICM 2023, Cambridge, UK, September 5–8, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14101, 303-308 (2023).
MSC:  68Vxx
PDFBibTeX XMLCite
Full Text: DOI

An augmented MetiTarski dataset for real quantifier elimination using machine learning. (English) Zbl 07810740

Dubois, Catherine (ed.) et al., Intelligent computer mathematics. 16th international conference, CICM 2023, Cambridge, UK, September 5–8, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14101, 297-302 (2023).
MSC:  68Vxx
PDFBibTeX XMLCite
Full Text: DOI

True crafted formula families for benchmarking quantified satisfiability solvers. (English) Zbl 07810739

Dubois, Catherine (ed.) et al., Intelligent computer mathematics. 16th international conference, CICM 2023, Cambridge, UK, September 5–8, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14101, 291-296 (2023).
MSC:  68Vxx
PDFBibTeX XMLCite
Full Text: DOI

CoProver: a recommender system for proof construction. (English) Zbl 07810735

Dubois, Catherine (ed.) et al., Intelligent computer mathematics. 16th international conference, CICM 2023, Cambridge, UK, September 5–8, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14101, 237-251 (2023).
MSC:  68Vxx
PDFBibTeX XMLCite
Full Text: DOI arXiv

Verified correctness, accuracy, and convergence of a stationary iterative linear solver: Jacobi method. (English) Zbl 07810733

Dubois, Catherine (ed.) et al., Intelligent computer mathematics. 16th international conference, CICM 2023, Cambridge, UK, September 5–8, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14101, 206-221 (2023).
MSC:  68Vxx
PDFBibTeX XMLCite
Full Text: DOI

Towards an annotation standard for STEM documents. Datasets, benchmarks, and spotters. (English) Zbl 07810732

Dubois, Catherine (ed.) et al., Intelligent computer mathematics. 16th international conference, CICM 2023, Cambridge, UK, September 5–8, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14101, 190-205 (2023).
MSC:  68Vxx
PDFBibTeX XMLCite
Full Text: DOI

Formalizing free groups in Isabelle/HOL: the Nielsen-Schreier theorem and the conjugacy problem. (English) Zbl 07810730

Dubois, Catherine (ed.) et al., Intelligent computer mathematics. 16th international conference, CICM 2023, Cambridge, UK, September 5–8, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14101, 158-173 (2023).
MSC:  68Vxx
PDFBibTeX XMLCite
Full Text: DOI

Highlighting named entities in input for auto-formulation of optimization problems. (English) Zbl 07810728

Dubois, Catherine (ed.) et al., Intelligent computer mathematics. 16th international conference, CICM 2023, Cambridge, UK, September 5–8, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14101, 130-141 (2023).
MSC:  68Vxx
PDFBibTeX XMLCite
Full Text: DOI arXiv

Teaching linear algebra in a mechanized mathematical environment. (English) Zbl 07810727

Dubois, Catherine (ed.) et al., Intelligent computer mathematics. 16th international conference, CICM 2023, Cambridge, UK, September 5–8, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14101, 113-129 (2023).
MSC:  68Vxx
PDFBibTeX XMLCite
Full Text: DOI arXiv

Learning support systems based on mathematical knowledge management. (English) Zbl 07810725

Dubois, Catherine (ed.) et al., Intelligent computer mathematics. 16th international conference, CICM 2023, Cambridge, UK, September 5–8, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14101, 84-97 (2023).
MSC:  68Vxx
PDFBibTeX XMLCite
Full Text: DOI

Category theory in Isabelle/HOL as a basis for meta-logical investigation. (English) Zbl 07810724

Dubois, Catherine (ed.) et al., Intelligent computer mathematics. 16th international conference, CICM 2023, Cambridge, UK, September 5–8, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14101, 69-83 (2023).
MSC:  68Vxx
PDFBibTeX XMLCite
Full Text: DOI arXiv

Nominal AC-matching. (English) Zbl 07810723

Dubois, Catherine (ed.) et al., Intelligent computer mathematics. 16th international conference, CICM 2023, Cambridge, UK, September 5–8, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14101, 53-68 (2023).
MSC:  68Vxx
PDFBibTeX XMLCite
Full Text: DOI

Large-scale formal proof for the working mathematician – lessons learnt from the ALEXANDRIA project. (English) Zbl 07810720

Dubois, Catherine (ed.) et al., Intelligent computer mathematics. 16th international conference, CICM 2023, Cambridge, UK, September 5–8, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14101, 3-15 (2023).
MSC:  68Vxx
PDFBibTeX XMLCite
Full Text: DOI arXiv

Optimization of the optimal value function in problems of convex parametric programming. (English. Russian original) Zbl 07805772

Proc. Steklov Inst. Math. 323, Suppl. 1, S133-S145 (2023); translation from Tr. Inst. Mat. Mekh. (Ekaterinburg) 29, No. 3, 247-260 (2023).
MSC:  90Cxx 65-XX
PDFBibTeX XMLCite
Full Text: DOI

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 07796262

Berlin: Springer Spektrum (ISBN 978-3-662-68208-1/pbk; 978-3-662-68209-8/ebook). xiv, 290 p. (2023).
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

Database

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software