28 June 2022
Terminals on the web
This is just a short entry on the availability of two new variants of
former applications bibref and tarski, based on
jquery.terminal:
- bibref (version 2022Jun27) brings the Greek text of the New Testament in your browser, making available to use your keyboard to do research on your own. See its GitHub page for more information.
- tarski helps you to compute with Tarski formulas and semi-algebraic sets. Its main web page explains more on the usage.
Both of these ports support command line history, TAB completion, reverse-i-search
and syntax highlighting. Just like in bash!
Continue reading…
- 7 April 2022—A summary
- 2 April 2022—Compiling Giac via MSYS2/CLANG32
- 30 March 2022—Isaiah: Part 7
- 23 March 2022—Isaiah: Part 6
- 15 March 2022—Isaiah: Part 5
- 7 March 2022—Isaiah: Part 4
- 2 March 2022—Isaiah: Part 3
- 26 February 2022—Isaiah: Part 2
- 19 February 2022—Isaiah: Part 1
- 15 February 2022—A classification of structure diagrams
- 12 February 2022—Supporting logic with technology: Part 2
- 7 February 2022—The Psalms: Part 2
- 6 February 2022—The Psalms
- 5 February 2022—A summary on the Romans
- 3 February 2022—Non-literal matches in the Romans: Part 2
- 2 February 2022—Non-literal matches: Jaccard distance
- 1 February 2022—Literal matches: the minunique and getrefs algorithms
- 31 January 2022—Literal matches: minimal uniquity and maximal extension
- 26 January 2022—Non-literal matches in the Romans
- 24 January 2022—Developing Giac with Qt Creator on Windows
- 23 January 2022—A student of Gamaliel's
- 20 January 2022—Reproducibility and imperfection
- 17 January 2022—Order in chaos
- 12 January 2022—Web version of bibref
- 2 November 2021—Supporting logic in function calculus
- 28 October 2021—Proving inequalities
- 27 October 2021—Discovering geometric inequalities
- 1 October 2021—Web version of Tarski
- 9 July 2021—Embedding realgeom in GeoGebra
- 26 January 2021—ApplyMap
- 25 January 2021—Comparison improvements
- 29 December 2020—Pete-Dőtsch theorem
- 18 November 2020—Ellipsograph of Archimedes as a simple LEGO construction
- 17 November 2020—Offsets of a trifolium
- 11 November 2020—Explore envelopes easily!
- 31 October 2020—Points attached to an algebraic curve…
- 19 October 2020—Detection of perpendicular lines…
- 6 October 2020—Better language support…
- 29 September 2020—A new GeoGebra version with better angle bisectors…
- 28 September 2020—I restart my blog…
- …newest entry (as of 22 August 2024)
|
Zoltán Kovács Linz School of Education Johannes Kepler University Altenberger Strasse 69 A-4040 Linz |