navigation / documentation overview / workflow documentation
Some routes have required arguments; these are not hyperlinked.
Description: A central hub page to navigate all the different functions of the software
From the main page a user goes to Navigation.
Description: Provides a quantitative overview of next actions
From Navigation a user goes to create a new derivation.
Requires being logged in.
Description: User can create a new derivation by specifying
/review_derivation/<derivation_id>
Description: View the details of an existing derivation (list of steps), and options to:
/select_step/<derivation_id>
Description: Provides a list of the steps within a specific derivation. Used for editing a specific step.
/edit_derivation_metadata/<derivation_id>
Requires being logged in.
Description: Modifies derivation metadata, such as the name and abstract.
/new_step_select_inference_rule/<derivation_id>
Requires being logged in.
Description: Specifies which inference rule is used when inserting a new step in a derivation.
/edit_expression/<expression_id>
Requires being logged in.
Description: Modifies an expression, including assigning symbols to it or deleting it.
/edit_feed/<feed_id>
Requires being logged in.
Description: Modifies a feed, including assigning symbols to it or deleting it.
Requires being logged in.
Description: Creates a new expression, allowing to specify the LHS, RHS, relation, and name.
Requires being logged in.
Description: Creates a new feed.
/edit_node/<node_id>
Requires being logged in.
Description: A gateway for editing a node, which redirects to the appropriate sub-page depending on the node type (e.g., a scalar, matrix, vector).
/edit_operation/<operation_id>
Requires being logged in.
Description: Edit an operation symbol.
/edit_relation/<relation_id>
Requires being logged in.
Description: Edit a relation symbol.
/edit_scalar/<scalar_id>
Requires being logged in.
Description: Edit a scalar symbol.
/edit_vector/<vector_id>
Requires being logged in.
Description: Edit a vector symbol.
/edit_matrix/<matrix_id>
Requires being logged in.
Description: Edit a matrix symbol.
/new_symbol_scalar_constant_value_and_units/<scalar_id>/
Requires being logged in.
Description: Specifies the units and value for constant scalar symbols.
Requires being logged in.
Description: Creates a scalar symbol, optionally adding a value to it.
Requires being logged in.
Description: Creates a vector symbol.
Requires being logged in.
Description: Creates a matrix symbol.
Requires being logged in.
Description:
Requires being logged in.
Description: Creates a new operation symbol, for use in expressions.
Requires being logged in.
Description: Creates a new relation symbol, for use in expressions.
/new_step_expressions/<derivation_id>/<inference_rule_id>
Requires being logged in.
Description: Specifies which expressions and feeds are used when inserting a new step into a derivation.
/symbols_and_operations_for_expression/<expression_id>
Requires being logged in.
Description: Specifies which symbols are used by an expression.
/sympy_and_latex_for_expression/<expression_id>/<symbol_id_dict>
Requires being logged in.
Description: Provides a form to edit the SymPy and Lean representations of an expression.
/symbols_and_operations_for_feed/<feed_id>
Requires being logged in.
Description: Specifies which symbols are used by a feed.
/sympy_and_latex_for_feed/<feed_id>/<symbol_id_dict>
Requires being logged in.
Description: Provides a form to edit the SymPy and Lean representations of a feed.
Requires being logged in.
Description:
/edit_step/<derivation_id>/<step_id>/
Requires being logged in.
Description:
/edit_inference_rule/<inference_rule_id>/
Requires being logged in.
Description:
Description: Shows a list of all derivations.
Description: Shows a list of all inference rules.
Description: Shows a list of all expressions.
Description: Shows a list of all feeds.
/list_constant_values/<scalar_id>/
Description:
/edit_constant_value_and_units/<value_and_units_id>/
Requires being logged in.
Description:
Description: Shows a list of all operations.
Description: Shows a list of all relation symbols.
Description: Shows a list of all scalar symbols.
Description: Shows a list of all vector symbols.
Description: Shows a list of all matrix symbols.
/new_symbol_scalar_constant_value_and_units/<scalar_id>/
Description: View and edit value associated with a particular scalar
Description: An interface for running Cypher queries, either from the user or pre-defined. Provides some help and links for creating a Cypher query.
Description: A list of all available API routes and the corresponding data formats.
Requires being logged in.
Description: A button for deletion of all database content, not just the derivations.
Description: Demonstrates how to use the APIs from Javascript
Description: Google authentication.
Requires being logged in.
Description:
Description:
Description: this page.
/rss/<path:path>
Description:
Requires being logged in.
Description:
Description: Search site using Google.
Description:
/robots.txt
Description:
/sitemap.txt
Description:
Description:
/documentation/evaluation_of_LLM_prompts
Description:
/documentation/
/documentation/overview/
Description:
/documentation/user
/user_documentation
Description:
/developer_documentation
/documentation/developer
Description:
Description:
Description:
Description:
Description:
/documentation/literature_review
Description:
/documentation/comparison_of_design_options/cas
Description:
/documentation/comparison_of_design_options/graph_drawing
Description:
/documentation/comparison_of_design_options/proofs
Description:
/documentation/comparison_of_design_options/syntax
Description:
/documentation/comparison_of_design_options/database
Description:
Description:
Description:
Description:
/blog/<YYYY>/<MM>/<blog_title>/
Description:
Description:
Description:
/class_notes/<which_class>/
Description:
/spectrum_of_precision/overview
Description:
/spectrum_of_precision/lecture
Description:
/spectrum_of_precision/handwritten
Description:
Description:
/spectrum_of_precision/tag_sections
Description:
/spectrum_of_precision/tag_words
Description:
/spectrum_of_precision/tag_expressions
Description:
/spectrum_of_precision/tag_all
Description:
/spectrum_of_precision/variables
Description:
/spectrum_of_precision/all_steps
Description:
Description:
/spectrum_of_precision/CAS_validation
Description:
/spectrum_of_precision/numeric_id
Description:
/spectrum_of_precision/dimensional_validation
Description:
Description: