×

Found 97 Documents (Results 1–97)

Newest Citations Relevance
Husson, Matthieu

Computing with manuscripts: time between mean and true syzygies in John of Lignères’ Tabule magne. (English) Zbl 1494.01002

Husson, Matthieu (ed.) et al., Editing and analysing numerical tables. Towards a digital information system for the history of astral sciences. Turnhout: Brepols Publishers. Ptolem. Arab. Lat., Stud. 2, 425-467 (2021).
Reviewer: Victor V. Pambuccian (Glendale)
MSC:  01A05 85-03 68U35
Cite Review PDF
Full Text: DOI
Kremer, Richard L.

Cracking the Tabulae permanentes of John of Murs and Firmin of Beauval with exploratory data analysis. (English) Zbl 1494.01003

Husson, Matthieu (ed.) et al., Editing and analysing numerical tables. Towards a digital information system for the history of astral sciences. Turnhout: Brepols Publishers. Ptolem. Arab. Lat., Stud. 2, 363-422 (2021).
Reviewer: Victor V. Pambuccian (Glendale)
MSC:  01A05 85-03 68U35
Cite Review PDF
Full Text: DOI
Bowles, Juliana; Caminati, Marco B.

A verified algorithm enumerating event structures. (English) Zbl 1367.68245

Geuvers, Herman (ed.) et al., Intelligent computer mathematics. 10th international conference, CICM 2017, Edinburgh, UK, July 17–21, 2017. Proceedings. Cham: Springer (ISBN 978-3-319-62074-9/pbk; 978-3-319-62075-6/ebook). Lecture Notes in Computer Science 10383. Lecture Notes in Artificial Intelligence, 239-254 (2017).
MSC:  68T15 05A15 06-04 68Q10 68U35
Cite Review PDF
Full Text: DOI arXiv Link
Viswanathan, Rama; Liang, Sijia; Yang, Yang; Jungck, John R.

BioGrapher: visualization of graph theoretical patterns, measurements, and analysis in mathematical biology. (English) Zbl 1343.05005

Mondaini, Rubem P. (ed.), BIOMAT 2015. Proceedings of the international symposium on mathematical and computational biology, Roorkee, Uttarakhand, India, November 2–6, 2015. Hackensack, NJ: World Scientific (ISBN 978-981-3141-90-2/hbk; 978-981-3141-92-6/ebook). 118-140 (2016).
MSC:  05-04 05C90 68U35
Cite Review PDF
Full Text: DOI
Iglesias, Andrés; Gálvez, Akemi

Computer software program for representation and visualization of free-form curves through bio-inspired optimization techniques. (English) Zbl 1434.68606

Hong, Hoon (ed.) et al., Mathematical software – ICMS 2014. 4th international congress, Seoul, South Korea, August 5–9, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8592, 570-577 (2014).
MSC:  68U05 68-04 68U35 90C59
Cite Review PDF
Full Text: DOI
Heras, Jónathan; Pascual, Vico; Rubio, Julio

A system for computing and reasoning in algebraic topology. (English) Zbl 1335.68228

Davenport, James H. (ed.) et al., Intelligent computer mathematics. 18th symposium, Calculemus 2011, and 10th international conference, MKM 2011, Bertinoro, Italy, July 18–23, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22672-4/pbk). Lecture Notes in Computer Science 6824. Lecture Notes in Artificial Intelligence, 295-297 (2011).
MSC:  68T15 55-04 68U35 68W30
Cite Review PDF
Full Text: DOI
Eröcal, Burçin; Stein, William

The Sage project: unifying free mathematical software to create a viable alternative to Magma, Maple, Mathematica and Matlab. (English) Zbl 1295.68225

Fukuda, Komei (ed.) et al., Mathematical software – ICMS 2010. Third international congress on mathematical software, Kobe, Japan, September 13–17, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-15581-9/pbk). Lecture Notes in Computer Science 6327, 12-27 (2010).
MSC:  68W30 65Y15 68U35
Cite Review PDF
Full Text: DOI
Heras, Jónathan; Pascual, Vico; Romero, Ana; Rubio, Julio

Integrating multiple sources to answer questions in algebraic topology. (English) Zbl 1286.68479

Autexier, Serge (ed.) et al., Intelligent computer mathematics. 10th international conference, AISC 2010, 17th symposium, Calculemus 2010, and 9th international conference, MKM 2010, Paris, France, July 5–10, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-14127-0/pbk). Lecture Notes in Computer Science 6167. Lecture Notes in Artificial Intelligence, 331-335 (2010).
MSC:  68U35 55-04 68W30
Cite Review PDF
Full Text: DOI arXiv

Filter Results by …

Document Type

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

all top 3

Biographic Reference

all top 3

Software