Loading…
Logic programming in tensor spaces
Sakama, Chiaki, Inoue, Katsumi, Sato, Taisuke
Published in Annals of mathematics and artificial intelligence (01.12.2021)
Published in Annals of mathematics and artificial intelligence (01.12.2021)
Get full text
Journal Article
Loading…
Loading…
Pool Evolution: A Parallel Pattern for Evolutionary and Symbolic Computing
Aldinucci, Marco, Campa, Sonia, Danelutto, Marco, Kilpatrick, Peter, Torquati, Massimo
Published in International journal of parallel programming (01.06.2016)
Published in International journal of parallel programming (01.06.2016)
Get full text
Journal Article
Loading…
The number distribution of neutrons and gamma photons generated in a multiplying sample
Enqvist, Andreas, Pázsit, Imre, Pozzi, Sara
Published in Nuclear instruments & methods in physics research. Section A, Accelerators, spectrometers, detectors and associated equipment (15.10.2006)
Published in Nuclear instruments & methods in physics research. Section A, Accelerators, spectrometers, detectors and associated equipment (15.10.2006)
Get full text
Journal Article
Loading…
Loading…
Loading…
Loading…
Loading…
The SAT+CAS method for combinatorial search with applications to best matrices
Bright, Cu, Dokovic, Dragomir Z, Kotsireas, Ilias, Ganesh, Vijay
Published in Annals of mathematics and artificial intelligence (01.12.2019)
Published in Annals of mathematics and artificial intelligence (01.12.2019)
Get full text
Journal Article
Loading…
Computer algebra and geometric algebra with applications : 6th International Workshop, IWMM 2004, Shanghai, China, May 19-21, 2004 and International Workshop, GIAE 2004, Xian, China, May 24-28, 2004 : revised selected papers
International Workshop on Mathematics Mechanization, GIAE, Li, Hongbo, Olver, Peter J., Sommer, Gerald
Year of Publication 2005
Get full text
Year of Publication 2005
eBook
Book
Loading…
An Algorithm for Direct Multiplication of B-Splines
Xianming Chen, Riesenfeld, R.F., Cohen, E.
Published in IEEE transactions on automation science and engineering (01.07.2009)
Published in IEEE transactions on automation science and engineering (01.07.2009)
Get full text
Journal Article
Loading…
Loading…
Algebraic optimization of sequential decision problems
Dressler, Mareike, Garrote-López, Marina, Montúfar, Guido, Müller, Johannes, Rose, Kemal
Published in Journal of symbolic computation (01.03.2024)
Published in Journal of symbolic computation (01.03.2024)
Get full text
Journal Article